Modelado e implementación de sistemas de tiempo real en procesadores muchos núcleos basados en malla

Abstract

RESUMEN En esta tesis se propone un modelo, basado en el modelo MAST, que se puede utilizar para modelar aplicaciones ejecutadas sobre procesadores muchos núcleos con una topología de tipo malla. Además, el modelado realizado se aplica a un procesador real, el procesador muchos núcleos Epiphany. Este procesador se utiliza para aplicar y verificar todo desarrollado en el trascurso de esta tesis. Para probar el modelo, se ha desarrollado M2OS-mc, diseñado de forma que pueda ser fácilmente adaptable a cualquier otro procesador muchos núcleos con una topología de tipo malla. Se han implementado dos primitivas de comunicación: los puertos de muestreo y los puertos con cola, basados en primitivas similares definidas en el estándar ARINC-653. Para verificar el correcto funcionamiento del sistema operativo de tiempo real M2OS-mc y la validez del modelado, se ha desarrollado un generador que, partiendo de una definición de alto nivel de una aplicación, genera el fichero MAST que la modela y una implementación de la misma basada en tareas sintéticas.

ABSTRACT This thesis proposes a model, based on the MAST model, that could be used for modeling any system executed on a 2D mesh-based many-core processor. Furthermore, the developed model is applied to a many-core called Epiphany. This processor is used to apply and verify all the techniques developed during this thesis. Another essential element for being able to have a completely functional system is the real-time operating system. With that purpose we have developed M2OS-mc, targeted for the many-core processor Epiphany but designed for an easy adaptation to any other mesh-based many-core processor. To be able to have synchronized messages in M2OS-mc we have implemented the sampling port and queuing port communication primitives based in the ARINC-653 standard. To perform the needed tests that will check the correct behavior of the M2OS-mc real-time operating system as well as the model of a particular system, a code and MAST model generator has been developed that, from a system description in a single file, will generate every needed file for both purposes.