Acompanhada por um CD-ROM que contém : a descrição da tese, resumo e CV

Tese de doutoramento.

Thesis approved in public session to obtain the PhD Degree in Information Systems and Computer Engineering

Bibliografia: pp. 155-163.

Resumo: O trabalho de investigacção que descrevo nesta dissertação insere-se no âmbito do problema de sincronização de acessos a memoria partilhada em programas de largaescala.
São bem conhecidas as dificuldades de desenvolvimento de sincronização baseada em locks de grão fino e por isso, muitos investigadores têm argumentado a necessidade de encontrar novas abordagens alternativas ao uso de locks. De forma
sucinta, o principal objectivo do meu trabalho e fornecer uma alternativa eficiente às abordagens baseadas em locks. A minha solução utiliza memória transaccional por software (STM) e foi implementada numa framework para Java bem conhecida - Deuce STM.
Para tal, eu proponho uma nova abordagem que reduz significativamente os custos associados a uma STM em programas de larga-escala, para os quais so uma pequena
parte da memoria esta sob contenção. A minha solução combina duas técnicas de optimização inovadoras de uma forma sinergetica, que conseguiu pela primeira vez, obter um desempenho com uma STM igual ao desempenho obtido com as melhores abordagens de sincronização baseadas em locks, nalguns dos benchmarks mais difíceis de superar. A minha abordagem e os resultados apresentados mostram que
uma STM pode ser a primeira alternativa eciente ao uso de locks na sincronização de acessos à memória partilhada em programas de larga escala.

Abstract: The research work that I describe in this dissertation is concerned with the problem of shared-memory synchronization in large-scale programs. The dificulties of developing
fine-grained lock-based synchronization are well-known and many researchers have argued for the need of alternative approaches. Simply put, the main goal of my work is to provide an eficient alternative to such approaches. My proposal is based
on Software Transactional Memory (STM) and I implemented it in a well-known STM framework for Java|Deuce STM.
To that end I propose a new approach that significantly lowers the overhead caused by an STM in large-scale programs for which only a small fraction of the memory is under contention. My solution combines two novel optimization techniques
in a synergistic way, allowing us to get, for the first time, performance with an STM that rivals the performance of the best lock-based approaches in some of the more challenging benchmarks. My approach and experimental results show that
STMs may be the rst ecient alternative to locks for shared-memory synchronization in real-world-sized applications.

Referências bibliográficas: Carvalho, Fernando Miguel Santos Gamboa Lopes de.Optimizing memory transactions for large-scale programs.Lisboa:Universidade de Lisboa,Instituto Superior Técnico.2014.Tese de doutoramento.