Nace en Abanilla en 1985. En el año 2008 obtiene una beca de colaboración con el departamente DITEC de la Facultad de Informática de la Universidad de Murcia para el desarrollo de la plataforma hardware Cell Broadband Engine. En el mismo año obtiene el título de ingeniero en informática por la Universidad de Murcia, con mención a la excelencia académica. A continuación cursa el máster Tecnologías de la Información y Telemática Avanzadas en la Universidad de Murcia obteniendo el título de máster en el año 2009. En el año 2009 obtiene una beca de la Fundación Séneca para realizar la tesis doctoral en la Universidad de Murcia. Paralelamente está asociado al desarrollo del proyecto Arquitecturas de Servidores, Aplicaciones y Servicios (MCINN). Ha realizado estancias externas en el Chalmers Institute of Technology en el año 2012. Posee comunicaciones en congresos (Euro-Par 2009, SBAC-PAD 2010, PDP 2012, Jornadas de Paralelismo 2009, CEDI 2010), así como publicaciones científicas en revistas internacional (Concurrency and Computation: Practice and Experience). Domina la lengua inglesa.
Hoy en día estamos asistiendo a un cambio masivo de paradigma por parte de los fabricantes de microprocesadores hacia las denominadas arquitecturas multi-núcleo, también llamadas chipmultiprocessor o CMP, que integran varios procesadores en un solo chip y permiten a los programadores explotar el paralelismo a nivel de proceso.
El modelo de programación de Memoria Transaccional (TM) puede reducir significativamente la dificultad de escribir programas concurrentes correctos (ejecutándose en varios núcleos). En respuesta a los problemas de la programación con cerrojos del modelo de memoria compartida, TM ofrece una forma alternativa de sincronización más sencilla para el programador y más eficientemente implementada por el hardware. En TM, las secciones críticas (codigo no paralelizable) se ejecutan en paralelo en transacciones como si no fueran a ocurrir conflictos. En caso de conflicto TM debe resolverlos sin perjuicio para el resultado del programa.
En esta tesis se estudia la aparición y resolución de conflictos maximizando tanto el rendimiento como el consumo energético apoyados por un hardware novedoso pero de bajo coste. Tradicionalmente se ha priorizado el rendimiento de TM, dejando de lado su consumo energético y por tanto se hace inviable su implementación en sistemas embebidos.
Arquitectura de Computadores
Arquitectura y Computación Paralela
Director: Manuel E. Acacio Sánchez
Codirector: Juan Fernández Peinador
Tecnologías de la Información y Telemáticas Avanzadas
01/01/2009 - 31/12/2012
En desarrollo
- "Characterizing energy consumption in hardware transactional memory systems". SBAC-PAD Conference 2010.
- "On the design energy-efficient hardware tranactional memory system". CC-PE journal 2012. Aprobada, pendiente de publicación.
- "Dynamic serialization: Improving energy consumption in Eager-Eager hardware transactional memory systems.". PDP 2012 Conference.
- "GCommit: A fast and efficient hardware commit protocol for Lazy-Lazy hardware transactional memory systems". Pendiente de aprobación ICPP 2012 Conference.
Para realizar una orientación adecuada de la tesis, se comenzó con un análisis de los dos vertientes HTM existentes más famosas: Eager-Eager y Lazy-Lazy. La denominación de estos sistemas hace referencia a cómo realizan la gestión de versiones (VM) y la detección de conflictos (CD). Al comienzo de la tesis diversos artículos en congresos internacionales hacían pensar que los sistemas Eager-Eager obtenían mejor rendimiento. Nuestro estudio demostró que en realidad dependía mucho del tipo de aplicación pero en media, los sistemas Lazy-Lazy eran superiores en rendimiento. Por otro lado si tenemos en cuenta el consumo energético, los sistemas Lazy-Lazy resultaron ser claramente más eficientes.
Para sistemas Eager-Eager desarrollamos Serialización Dinámica (DS). En caso de escenarios con mucha contención (donde se producen una gran cantidad de abortos de las transacciones) resulta contraproducente aumentar el grado de paralelismo de las transacciones. DS serializa las transacciones que entran en conflicto y detiene su ejecución hasta que otras transacciones terminen y despierten a las serializadas. DS supuso una mejora energética del 10% en los sistemas Eager-Eager y una reducción de los niveles de tráfico de red (medido en flits/cycle) en un 40%, mientras que el rendimiento medio se mantenía constante.
Nuestra propuesta más reciente es GCommit, un nuevo protocolo commit en hardware para los sistemas Lazy-Lazy. GCOmmit acelera la fase de commit de estos sistemas, donde es realizada la CD. Un protocolo hardware para esta fase como GCommit permite mejorar el rendimiento y la eficiencia energética en un 15% aprox de media. Además los resultados siempre son positivos o neutros para todos los casos de estudio.
