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

Abstract

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.

The execution model proposed by Carlo Ghezzi and Mehdi Jazayeri, known as Simplesem, does not cover languages with parallel execution instructions. The aim is to extend this educational tool model incorporating the existence of multiple processors primitive language that can express basic concepts of parallelism. For this, a tool to analyze graphical and easily the impact of multithreaded programs on low-level instructions that operate directly on the shared memory of a virtual machine was developed. This extension allows to represent the operational semantics of parallel languages that require multi-threaded processors, very common now a days. This tool is intended to be distributed to the educational community, so that studies on the benefits obtained when applied during the process of learning programming languages can be made.