A High-Level Implementation of STM Haskell with Write/Write Conflict Detection

Abstract

This paper describes a high level implementation of Software Transactional Memory (STM) for the Haskell language. The library is implemented completely in Haskell and, as opposed to all other implementation of STM Haskell, it features early detection of write/write conflicts. Preliminary performance measurements using the Haskell STM benchmark show that the library performs much better than a TL2~implementation written in Haskell, and performs reasonably well compared to the current implementation of STM Haskell written in C.