Extensión del lenguaje y modelo Simplesem con soporte para paralelismo

Resumen

El modelo de ejecución planteado por Carlo Ghezzi y Mehdi Jazayeri, conocido como Simplesem, no contempla lenguajes con instrucciones de ejecución paralela. El objectivo es extender esta herramienta educativa incorporando al modelo la existencia de múltiples procesadores primitivas de lenguaje que permitan expresar conceptos básicos de paralelismo. Para ello, se desarrolló una herramienta que permite analizar de manera gráfica y sencilla el impacto de programas multihilo sobre instrucciones de bajo nivel, que operan directamente sobre la memoria compartida de una máquina virtual. Esta extensión permite representar la semántica operacional de lenguajes paralelos que requieren procesadores multihilo, comunes en la actualidad. Se pretende distribuir esta herramienta a la comunidad educativa, de manera tal que puedan realizarse estudios sobre los beneficios obtenidos al aplicarla durante el proceso de aprendizaje de los lenguajes de programación.