Región de Murcia
Fundación Séneca
FSE

Nace en Buenos Aires, Argentina en 1992. En 2014 obtiene el grado en Bioquímica por la Universidad de Murcia. A continuación cursa el máster en Bioinformática en la Universidad de Murcia obteniendo el título de máster en el año 2016. En 2020 obtiene también el título de ingeniero informático y, entre noviembre y diciembre del 2020 recibe una ayuda de inicio a la investigación (modalidad B) por parte de la Universidad de Murcia con la cual se estableció como becario en el departamento de Ingeniería y Tecnología de Computadores, en la Facultad de Informática. En el año 2021 obtiene una ayuda de la Fundación Séneca para realizar la tesis doctoral en la Universidad de Murcia. Domina la lengua española y tiene conocimientos de inglés

Resumen de tesis

La mayoría de procesadores actuales ejecutan las instrucciones en un orden distinto al impuesto por el programa con el fin de reducir el tiempo que se encuentran detenidos. Este paradigma de procesadores se denominan fuera de orden u OOO (del inglés, Out Of Order). Sin embargo, para poder explotar al máximo el rendimiento, estos procesadores también hacen uso de numerosas técnicas especulativas para predecir qué instrucciones van a necesitarse a continuación, cuál es la dirección de destino de un salto, si una operación de carga de memoria puede ejecutarse antes de tiempo sin afectar la correcta ejecución del programa, entre otros, que conllevan un gran gasto de energía y tiempo cuando la especulación es errónea.

Para poder llevar a cabo los diseños y experimentos, los arquitectos de computadores hacen uso de simuladores, puesto que es más rápido y barato que fabricar el chip. La principal diferencia en estos simuladores está en aquellos que ejecutan un programa real, y los que utilizan una traza de instrucciones generada a partir de un programa. El primer tipo es más preciso y exacto que el segundo puesto que es capaz de simular el camino especulativo incorrecto, también conlleva una enorme sobrecarga de tiempo.

En esta tesis doctoral, por un lado se aborda el principal problema de los simuladores guiados por trazas: la simulación del camino incorrecto de ejecución, que aparece cuando el procesador predice incorrectamente el destino de un salto. Por otro lado, se estudiará y extenderá el estado del arte en distintas técnicas especulativas.

Área de conocimiento

Arquitectura de Computadores

Grupo de investigación

Grupo de Arquitectura de Computadores y Sistemas Paralelos (CAPS)
Director: Alberto Ros Bardisa

Programa de doctorado

Informática

Estado de tesis

En desarrollo

Aviso legalPolítica de privacidad