Mecanismos de sincronización en programación funcional concurrente

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Blanco, Javier, Martínez López, Pablo E., Mocciola, Pablo Andrés
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1997
Materias:
Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24133
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24133
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
spellingShingle Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
Blanco, Javier
Martínez López, Pablo E.
Mocciola, Pablo Andrés
Mecanismos de sincronización en programación funcional concurrente
topic_facet Ciencias Informáticas
Concurrent Programming
Programación funcional
Programación concurrente
Concurrent Haskell
Semáforos
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 .
format Objeto de conferencia
Objeto de conferencia
author Blanco, Javier
Martínez López, Pablo E.
Mocciola, Pablo Andrés
author_facet Blanco, Javier
Martínez López, Pablo E.
Mocciola, Pablo Andrés
author_sort Blanco, Javier
title Mecanismos de sincronización en programación funcional concurrente
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
publishDate 1997
url http://sedici.unlp.edu.ar/handle/10915/24133
work_keys_str_mv AT blancojavier mecanismosdesincronizacionenprogramacionfuncionalconcurrente
AT martinezlopezpabloe mecanismosdesincronizacionenprogramacionfuncionalconcurrente
AT mocciolapabloandres mecanismosdesincronizacionenprogramacionfuncionalconcurrente
bdutipo_str Repositorios
_version_ 1764820466658181121

Ejemplares similares