Compilación Optimizante para el Lenguaje Occam sobre un Sistema Time-Sharing
Guillermo A. Alvarez |
Daniel O. Bandinelli |
|
Marcelo O. Fernández |
Gustavo A. Rosini |
Resumen
Occam es un lenguaje de programación basado en un modelo de procesos secuenciales que se ejecutan concurrentemente, comunicándose por medio de pasaje sincrónico de mensajes. Se detallan los aspectos del desarrollo de un compilador Occam-C sobre una máquina uniprocesador. El sistema operativo UNIX es usado como plataforma de implementación. Se incluyen explicaciones detalladas de los chequeos realizados, de los procedimientos de optimización, y de las técnicas de compilación desarrolladas. Se define la traducción de un lenguaje diseñado para arquitecturas multiprocesador sobre sistemas monoprocesador time-sharing.