Investigating STM in Haskell as an Alternative to Programming Systems with Shared Memory Investigando STM em Haskell como Alternativa para a Programa o de Sistemas com Memória Compartilhada

This work proposes to investigate the use of Software Transactional Memory (STM) as a programming alternative for parallel architectures with shared memory. First, we study the concept of parallel programming and its main characteristics. Then we describe the STM approach for parallel programming, as well its application in the context of functional programming languages, in special Haskell. As a case study to illustrate the advantages of using STM, we show the implementation in Haskell of the classic problem of synchronization, the dining philosophers problem. Finally, aiming to demonstrate the simplicity and elegance of codes with STM in Haskell, it compares this implementation with another implementation of the same problem using the mechanism of synchronization monitors in Java. Neste trabalho investiga-se a utiliza o de Software Transactional Memory (STM) como alternativa de programa o paralela para arquiteturas com memória compartilhada. Primeiramente, faz-se um estudo do conceito de programa o paralela e suas principais características. Posteriormente, apresenta-se a abordagem do modelo STM para programa o paralela, bem como a sua aplica o no contexto de linguagens de programa o funcional, mais especificamente em Haskell. Como estudo de caso para ilustra o das qualidades do modelo STM apresenta-se uma implementa o do problema clássico de sincroniza o do jantar dos filósofos em Haskell. Por fim, com o objetivo de demonstrar a simplicidade e elegancia dos códigos com STM em Haskell, compara-se esta implementa o com outra implementa o do mesmo problema utilizando-se o mecanismo de sincroniza o monitores em Java.