Tesis doctoral de Eugenio Tamura Morimitsu
Para disminuir la creciente brecha en velocidad que existe entre la potencia de cálculo de los elementos de proceso y el ancho de banda del subsistema de memoria, las arquitecturas de cálculo actuales hacen un uso extenso de las memorias ¿cache¿. En un sistema de tiempo real con prioridades fijas y expulsiones, no sólo es importante el hecho de obtener resultados correctos; también es obligatorio satisfacer las restricciones temporales. Dado que el contenido de la memoria ¿cache¿ depende de la evolución de la ejecución de todas las tareas en el sistema así como del orden en el cual éstas han sido planificadas, este comportamiento inherente de la memoria ¿cache¿ conlleva a tiempos de ejecución impredecibles. Por lo tanto, extraer el máximo provecho de las memorias ¿cache¿ mediante la explotación de su elevado ancho de banda (relativo a la memoria principal), representa un desafío para los diseñadores de sistemas de tiempo real, ya que la inclusión de las memorias ¿cache¿ introduce problemas cuya resolución no es simple en el análisis de planificabilidad. Con el fin de contribuir en la solución del problema de la impredicibilidad ocasionada al emplear memorias ¿cache¿ en sistemas de tiempo real con prioridades fijas y expulsiones, esta tesis propone el empleo de una jerarquía de memoria basada en una memoria de estado de bloqueo (lsm, por sus siglas en inglés), una novedosa jerarquía de memoria de instrucciones que es predecible por diseño. Esta ofrece un tiempo de latencia predecible y repetible gracias a un mecanismo circuital que permite discriminar qué bloques deben cargarse en la memoria ¿cache¿ de instrucciones. Más aún, puesto que no se requiere hacer uso de ¿software¿ para manipular explícitamente la jerarquía de memoria, este método de control automatizado para el almacenamiento por demanda, minimiza el tiempo total que una tarea permanece a la espera de instrucciones que provienen de la jerarquía de memoria. En la jerarquía de memoria basada en una memoria de estado de bloqueo, el determinismo se alcanza gracias a la protección y el restablecimiento (sobre la marcha) de los contenidos de la memoria ¿cache¿ cada vez que hay un cambio de contexto. Para obtener menores tiempos de ejecución/respuesta del peor caso, la selección de los contenidos de la memoria ¿cache¿ es clave. Por ello, en esta tesis se presentan versiones secuenciales y paralelas de un algoritmo genético que ofrece soluciones aproximadas en un tiempo de cómputo competitivo. Para determinar la validez de la jerarquía de memoria basada en una memoria de estado de bloqueo y de los tiempos de ejecución/respuesta del peor caso que resultan a partir de la selección de los contenidos de la memoria ¿cache¿ de instrucciones efectuada por los algoritmos genéticos, se han evaluado varios conjuntos de resultados. Los datos en esos conjuntos provienen de varias fuentes y permiten valorar las prestaciones de la jerarquía de memoria basada en una memoria de estado de bloqueo frente a una memoria ¿cache¿ de bloqueo empleada de manera dinámica y a una memoria ¿cache¿ de instruciones convencional. Adicionalmente, los resultados permiten contrastar las versiones secuenciales y paralelas del algoritmo genético propuesto para determinar su idoneidad en la selección de los contenidos de la memoria ¿cache¿.
Datos académicos de la tesis doctoral «Towards a predictable, high-performance instruction memory hierarchy in fixed-priority preemptive real-time systems«
- Título de la tesis: Towards a predictable, high-performance instruction memory hierarchy in fixed-priority preemptive real-time systems
- Autor: Eugenio Tamura Morimitsu
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 19/02/2008
Dirección y tribunal
- Director de la tesis
- Antonio Martí Campoy
- Tribunal
- Presidente del tribunal: Juan josé Serrano martín
- Juan Antonio De la puente alfaro (vocal)
- ramón Puigjaner trepat (vocal)
- Manuel Perez malumbres (vocal)