António Barros successfully defended his PhD thesis at FEUP

António Barros has successfully defended his PhD thesis, supervised by Luís Miguel Pinho, at the Faculty of Engineering of the University of Porto, Portugal. His thesis, entitled “Real-Time Software Transactional Memory” ”, proposes the use of Software Transactional Memory (STM) as a synchronization mechanism on multi-core systems with timing requirements. Although STM can be particularly more efficient than traditional lock-based approaches (especially if spatial and temporal isolation of code execution is required), the abort-and-repeat paradigm in which STM relies has a negative impact on the predicability of the response time of jobs and on the system demand.
This work studies the use of scheduling and contention management techniques that ensure application predictability. The PhD juri committee had as main examiners Mario Aldea Rivas (Assistant Professor, Facultad de Ciencias de la Universidad de Cantabria), Audrey Queudet (Assistant Professor, Faculté des Sciences et des Techniques, Université de Nantes) and Paulo Pedreiras (Assistant Professor, Departamento de Eletrónica, Telecomunicações e Informática, Universidade de Aveiro).

PHOTOS:
At CISTER's Facebook Page / At CISTER's Instagram Page