Mecanismos de sincronización en programación funcional concurrente

Autores
Blanco, Javier; Martínez López, Pablo E.; Mocciola, Pablo Andrés
Año de publicación
1997
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Muchas aplicaciones y o algoritmos se expresan de manera más sencilla utilizando lenguajes con estructuras o primitivas de concurrencia. En este tipo de problemas es necesaria la presencia y manipulación de variables o estructuras de estados las cuales se utilizan como mecanismos de sincronización y comunicación entre los procesos Los semáforos son herramientas utilizadas para solucionar problemas de secciones críticas e implementar protocolos de sincronización en programación concurrente Los lenguajes funcionales son her ramientas propicias para expresar paralelismo Concurrent Haskell es una extensión concurrente del lenguaje funcional puro y lazy Haskell. En este trabajo se presentan varias implementaciones de semáforos en Concurrent Haskell y se propone una generalización de las técnicas y mecanismos de sincronización y comunicación de procesos utilizando funciones de alto orden como así también la posibilidad de expresar nuevas estructuras de manipulación de concurrencia como tipo de datos abstractos Un punto importante es estudiar la posibilidad de utilizar lógicas aptas para la concurrencia en la verificación de programas funcionales concurrentes De esta manera se muestra que la programación funcional presenta una alternativa para el desarrollo de aplicaciones concurrentes .
Eje: Conferencia latinoamericana de programación funcional
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24133
Acceder
id SEDICI_b73e56301b40f2caa21571fe1bb93e92
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24133
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Mecanismos de sincronización en programación funcional concurrenteBlanco, JavierMartínez López, Pablo E.Mocciola, Pablo AndrésCiencias InformáticasConcurrent ProgrammingProgramación funcionalProgramación concurrenteConcurrent HaskellSemáforosMuchas aplicaciones y o algoritmos se expresan de manera más sencilla utilizando lenguajes con estructuras o primitivas de concurrencia. En este tipo de problemas es necesaria la presencia y manipulación de variables o estructuras de estados las cuales se utilizan como mecanismos de sincronización y comunicación entre los procesos Los semáforos son herramientas utilizadas para solucionar problemas de secciones críticas e implementar protocolos de sincronización en programación concurrente Los lenguajes funcionales son her ramientas propicias para expresar paralelismo Concurrent Haskell es una extensión concurrente del lenguaje funcional puro y lazy Haskell. En este trabajo se presentan varias implementaciones de semáforos en Concurrent Haskell y se propone una generalización de las técnicas y mecanismos de sincronización y comunicación de procesos utilizando funciones de alto orden como así también la posibilidad de expresar nuevas estructuras de manipulación de concurrencia como tipo de datos abstractos Un punto importante es estudiar la posibilidad de utilizar lógicas aptas para la concurrencia en la verificación de programas funcionales concurrentes De esta manera se muestra que la programación funcional presenta una alternativa para el desarrollo de aplicaciones concurrentes .Eje: Conferencia latinoamericana de programación funcionalRed de Universidades con Carreras en Informática (RedUNCI)1997info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24133spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:48:19Zoai:sedici.unlp.edu.ar:10915/24133Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:48:20.17SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Mecanismos de sincronización en programación funcional concurrente
title Mecanismos de sincronización en programación funcional concurrente
spellingShingle Mecanismos de sincronización en programación funcional concurrente
Blanco, Javier
Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
title_short Mecanismos de sincronización en programación funcional concurrente
title_full Mecanismos de sincronización en programación funcional concurrente
title_fullStr Mecanismos de sincronización en programación funcional concurrente
title_full_unstemmed Mecanismos de sincronización en programación funcional concurrente
title_sort Mecanismos de sincronización en programación funcional concurrente
dc.creator.none.fl_str_mv Blanco, Javier
Martínez López, Pablo E.
Mocciola, Pablo Andrés
author Blanco, Javier
author_facet Blanco, Javier
Martínez López, Pablo E.
Mocciola, Pablo Andrés
author_role author
author2 Martínez López, Pablo E.
Mocciola, Pablo Andrés
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
topic Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
dc.description.none.fl_txt_mv Muchas aplicaciones y o algoritmos se expresan de manera más sencilla utilizando lenguajes con estructuras o primitivas de concurrencia. En este tipo de problemas es necesaria la presencia y manipulación de variables o estructuras de estados las cuales se utilizan como mecanismos de sincronización y comunicación entre los procesos Los semáforos son herramientas utilizadas para solucionar problemas de secciones críticas e implementar protocolos de sincronización en programación concurrente Los lenguajes funcionales son her ramientas propicias para expresar paralelismo Concurrent Haskell es una extensión concurrente del lenguaje funcional puro y lazy Haskell. En este trabajo se presentan varias implementaciones de semáforos en Concurrent Haskell y se propone una generalización de las técnicas y mecanismos de sincronización y comunicación de procesos utilizando funciones de alto orden como así también la posibilidad de expresar nuevas estructuras de manipulación de concurrencia como tipo de datos abstractos Un punto importante es estudiar la posibilidad de utilizar lógicas aptas para la concurrencia en la verificación de programas funcionales concurrentes De esta manera se muestra que la programación funcional presenta una alternativa para el desarrollo de aplicaciones concurrentes .
Eje: Conferencia latinoamericana de programación funcional
Red de Universidades con Carreras en Informática (RedUNCI)
description Muchas aplicaciones y o algoritmos se expresan de manera más sencilla utilizando lenguajes con estructuras o primitivas de concurrencia. En este tipo de problemas es necesaria la presencia y manipulación de variables o estructuras de estados las cuales se utilizan como mecanismos de sincronización y comunicación entre los procesos Los semáforos son herramientas utilizadas para solucionar problemas de secciones críticas e implementar protocolos de sincronización en programación concurrente Los lenguajes funcionales son her ramientas propicias para expresar paralelismo Concurrent Haskell es una extensión concurrente del lenguaje funcional puro y lazy Haskell. En este trabajo se presentan varias implementaciones de semáforos en Concurrent Haskell y se propone una generalización de las técnicas y mecanismos de sincronización y comunicación de procesos utilizando funciones de alto orden como así también la posibilidad de expresar nuevas estructuras de manipulación de concurrencia como tipo de datos abstractos Un punto importante es estudiar la posibilidad de utilizar lógicas aptas para la concurrencia en la verificación de programas funcionales concurrentes De esta manera se muestra que la programación funcional presenta una alternativa para el desarrollo de aplicaciones concurrentes .
publishDate 1997
dc.date.none.fl_str_mv 1997
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24133
url http://sedici.unlp.edu.ar/handle/10915/24133
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846063911298662400
score 12.891075

Publicaciones similares