Melhorando o desempenho e depuração de aplicações transacionais através de anotações do programador

Resumo

Memória Transacional (Transactional Memory - TM) possibilita que programadores utilizem-se do conceito de transação na escrita de código concorrente. Nesse contexto, uma transação pode ser entendida como um bloco de instruções que é executado atomicamente e de forma isolada, ou seja, os estados intermediários no processamento de uma transação não são vistos pelas demais. Embora inicialmente confinada ao ambiente acadêmico, TM está se tornando cada vez mais popular. Prova disto é a adição de hardware transacional aos novos processadores da Intel e IBM, além de suporte para codificação de transações provido por compiladores como o GCC.A grande vantagem do modelo transacional é o maior nível de abstração fornecido ao programador, facilitando a escrita de programas concorrentes e evitando erros de sincronização famosos causados pelas travas (locks), como o deadlock. Infelizmente, o suporte em software para execução de transações ainda não provê desempenho muito bom. Em particular, o código transacional, produzido por compiladores e o sistema de tempo de execução associado, ainda pode ser considerado ineficiente. Visando sanar esse problema, este projeto de Mestrado objetiva criar métodos baseados em anotações fornecidas pelo programador para auxiliar o compilador na geração de código transacional mais eficiente. Esse conhecimento adicional proporcionado pelo programador visa evitar a instrumentação excessiva geralmente usada pelos compiladores para garantir a corretude do código. Ao mesmo tempo, estas anotações podem auxiliar o compilador e o sistema de tempo de execução a fornecer informações de depuração com a intenção de ajudar o programador a encontrar erros durante a escrita do código transacional. (AU)