Primitivas para aplicação de Transactional Boosting no STM Haskell

• Jonathas A. O. Conceição UFPEL
• André R. Du Bois UFPEL
• Rodrigo G. Ribeiro UFOP

Resumo

Transactional Boosting é uma técnica que pode ser usada para transformar ações linearmente concorrentes em ações transacionalmente concorrentes, possibilitando assim sua utilização em blocos transacionais. Esta técnica pode ser utilizada para resolução de falsos conflitos, evitando a perda de desempenho de algumas aplicações. O STM Haskell atualmente não oferece as ferramentas necessárias para aplicação de tal técnica. O objetivo deste trabalho então é apresentar quatro novas primitivas para o STM Haskell, que em conjunto podem ser usadas para a aplicação do Transactional Boosting.