WCET con cache de instrucciones bloqueable y Lock-MS

  • Alba Pedro-Zapater Instituto de Investigación en Ingeniería de Aragón (I3A), Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza
  • Clemente Rodríguez Dpt. Arquitectura y Tecnología de Computadores, Universidad del País Vasco
  • Juan Segarra Instituto de Investigación en Ingeniería de Aragón (I3A), Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza
  • Rubén Gran Instituto de Investigación en Ingeniería de Aragón (I3A), Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza
  • Víctor Viñals-Yúfera Instituto de Investigación en Ingeniería de Aragón (I3A), Departamento de Informática e Ingeniería de Sistemas, Universidad de Zaragoza

Resumen

En sistemas de tiempo real es imprescindible analizar tiempos de ejecución de peor caso (WCET) de tareas, especialmente difícil con memorias cache. Nuestra propuesta automatiza dicho análisis mediante el método Lock-MS para caches de instrucciones bloqueables. Esto permite analizar programas complejos, variando arbitrariamente los parámetros hardware o software relevantes.
Publicado
2017-06-01
Sección
Artículos (Tecnologías de la Información y las Comunicaciones)