Implementación del protocolo DFP en MaRTE OS y propuesta para su incorporación al lenguaje Ada

Abstract

RESUMEN:Las tareas en un sistema de tiempo real deben atenerse a unos requisitos temporales determinados. Para garantizar que estos requisitos se satisfacen se emplean técnicas de planificación, como por ejemplo, la política de planificación dinámica EDF. En un sistema EDF las tareas se ejecutan en orden de plazo absoluto creciente. Además en cualquier sistema realista hay recursos compartidos entre las tareas. El acceso a estos recursos debe estar controlado para que no se produzcan accesos concurrentes a los mismos que puedan derivar en un funcionamiento erróneo del sistema. Existen diversos protocolos para proteger el acceso a recursos compartidos. Para sistemas EDF el más utilizado es el SRP. El protocolo SRP introduce el concepto de nivel de expulsión en las tareas y recursos del sistema. Su uso requiere modificar las reglas de la planificación EDF, de forma que para establecer el orden de ejecución de las tareas debe tenerse en cuenta tanto el plazo absoluto de las tareas como su nivel de expulsión. El DFP es un nuevo protocolo de sincronización de acceso a recursos compartidos en sistemas de planificación dinámica EDF que ha sido propuesto recientemente como alternativa al protocolo SRP. Se basa en la idea del suelo de plazo, que se asigna a los recursos del sistema. Tiene todas las propiedades fundamentales del SRP, pero presenta una serie de diferencias que pueden ser ventajosas. Este trabajo ha consistido en una evaluación completa del DFP. En primer lugar se ha implementado el DFP en MaRTE OS con diferentes estructuras de datos para la cola de tareas ejecutables. Se han realizado pruebas para evaluar su rendimiento y se ha encontrado que el DFP obtiene mejores resultados que el SRP para la misma estructura de datos. Además existe una estructura de datos (el montículo binario) con la que se obtienen los mejores resultados y que solo puede utilizarse para implementaciones del DFP. La segunda parte del trabajo ha sido la elaboración de una propuesta para la incorporación del DFP al lenguaje Ada. Se han analizado los aspectos del lenguaje directamente relacionados, es decir, las políticas de planificación y sincronización existentes. Se ha encontrado que los cambios que son necesarios realizar son pequeños y sencillos y no interfieren con ningún otro aspecto del lenguaje.