000101125 001__ 101125
000101125 005__ 20210520140815.0
000101125 037__ $$aTESIS-2021-112
000101125 041__ $$aspa
000101125 080__ $$a004; 004.7
000101125 1001_ $$aPedro Zapater, Alba
000101125 24500 $$aAportaciones al modelado del cálculo del WCET en entornos de memoria cache
000101125 260__ $$aZaragoza$$bUniversidad de Zaragoza, Prensas de la Universidad$$c2021
000101125 300__ $$a108
000101125 4900_ $$aTesis de la Universidad de Zaragoza$$v2021-112$$x2254-7606
000101125 500__ $$aPresentado: 11 01 2021
000101125 502__ $$aTesis-Univ. Zaragoza, , 2021$$bZaragoza, Universidad de Zaragoza$$c2021
000101125 506__ $$aby-nc-nd$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-nd/3.0/es
000101125 520__ $$aLos sistemas de tiempo real cobran cada vez más importancia en numerosas áreas. Para lograr una buena planificación de estos sistemas se requiere un análisis preciso y seguro del peor caso de tiempo de ejecución (WCET) siendo el análisis de la jerarquía de memoria uno de los principales desafíos. <br />En este trabajo nos centramos en mejorar la eficiencia de la jerarquía de memoria en los sistemas de tiempo real<br />estricto en cuanto a su predictibilidad aunque también se consideran otros aspectos como el consumo energético.<br />Este propósito se alcanza reduciendo tanto la cota del WCET como su tiempo de análisis y estudiando patrones de acceso a memoria en tareas relevantes en sistemas de tiempo real.<br />Comenzamos analizando el impacto de la cache de instrucciones en el WCET, centrándonos en el método Lock-MS de análisis del WCET. A fin de usar este método diseñamos el algoritmo necesario para transformar el grafo de control del flujo del binario en una estructura en árbol. Este algoritmo reduce el tiempo de análisis del WCET sin perder precisión para una cache de instrucciones bloqueable. Proponemos una heurística de bloqueo dinámico basada en bucles que aplicada a este método permite obtener el contenido óptimo de cache para el WCET en cada una de las regiones determinadas por la heurística. Además de reducir el WCET, ya que explota el reuso temporal, también reduce su tiempo de análisis.<br />A continuación, ampliamos el estudio del análisis del WCET considerando las instrucciones resultantes de la vectorización automática. Detectamos que la vectorización del código puede ser una buena opción para reducir de manera efectiva el WCET si ésta se lleva a cabo en aquellos bucles que concentran la mayor parte del<br />tiempo ejecución. Por tanto, es conveniente invertir tiempo y recursos en una buena vectorización del código en el contexto de los sistemas de tiempo real.<br />Para finalizar, centramos nuestro estudio en el impacto de la cache de datos estudiando el patrón de acceso a datos en la transposición de matrices y acotando su tasa ideal de aciertos en su versión tiling. De este estudio obtenemos unas expresiones con respecto a los parámetros de cache que garantizan que se alcanzará la tasa<br />ideal de aciertos. Específicamente, cuando la dimensión del tile es igual al tamaño de línea de cache la tasa ideal de aciertos se alcanza con muy pocos conjuntos y tan solo dos vías en una cache asociativa por conjuntos. Además, comparamos nuestros resultados con un algoritmo de la transpuesta «indiferente» a los parámetros de la<br />cache (oblivious).<br />
000101125 520__ $$a<br />
000101125 521__ $$97100$$aPrograma de Doctorado en Ingeniería de Sistemas e Informática
000101125 6531_ $$asistemas en tiempo real
000101125 700__ $$aSegarra Flor, Juan$$edir.
000101125 700__ $$aRodríguez Lafuente, Clemente$$edir.
000101125 7102_ $$aUniversidad de Zaragoza$$b
000101125 830__ $$9512
000101125 8560_ $$ftdr@unizar.es
000101125 8564_ $$s3364679$$uhttps://zaguan.unizar.es/record/101125/files/TESIS-2021-112.pdf$$zTexto completo (spa)
000101125 909CO $$ooai:zaguan.unizar.es:101125$$pdriver
000101125 909co $$ptesis
000101125 9102_ $$a$$b
000101125 980__ $$aTESIS