Mecanismos de sincronización en programación funcional concurrente

Abstract

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 .