Diseño e implementación de lenguajes orientados al modelo PRAM

Laburpena

Un lenguaje orientado al modelo Pram requiere la posibilidad de distinguir entre variables compartidas y privadas. También requiere un modelo de sincronización por barreras implícitas. Otro elemento indispensable es el paralelismo anidado, ofreciendo la posibilidad de combinar paralelismo y recursividad. Se introduce el modelo pram y sus variantes y se discuten los dos lenguajes orientados al modelo Pram que reúnen las condiciones mencionadas: Fork y 11. Se estudia el lenguaje Fork y su sucesor Fork95, desarrollados en Alemania, su sintaxis, semántica y diferentes realizaciones. También se establecen comparaciones entre ambas aproximaciones (11 y Fork). Nuevas propuestas, tanto en la sintaxis del lenguaje 11 como en el entorno en tiempo de ejecución, van destinadas a hacer más eficiente la ejecución del código traducido.