Transactional Boosting on Glasgow Haskell Compiler

  • Jonathas Augusto de Oliveira Conceição UFPel
  • André Rauber Du Bois UFPel
  • Rodrigo Geraldo 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 assim a perda de desempenho de algumas aplicações. O objetivo deste trabalho é apresentar uma extensão do STM Haskell, bem como as modificações necessárias ao RunTime System do compilador, para permitir o desenvolvimento de aplicações que utilizam Transactional Boosting, e assim apresentar a viabilidade desta técnica em Haskell.
Palavras-chave: Boosting, Runtime, Laser radar, High performance computing, Transforms, Program processors, Transactional Boosting, Software Transactional Memory, Concurrent Haskell, Haskell
Publicado
01/10/2018
CONCEIÇÃO, Jonathas Augusto de Oliveira; DU BOIS, André Rauber; RIBEIRO, Rodrigo Geraldo. Transactional Boosting on Glasgow Haskell Compiler. In: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 19. , 2018, São Paulo. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2018 . p. 191-197.