Skip to main content

Revisiting software transactional memory in Haskell

Matthew Le, Ryan Yates, Matthew Fluet

DOI 10.1145/2976002.2976020 dblp BibTeX

Abstract

Software Transactional Memory (STM) has become very popular in Haskell. Currently, there are nearly 500 packages on Haskell’s package archive that directly use STM. Despite the widespread use in real world applications, Haskell’s STM implementation has seen very few updates since its introduction in 2005.

Related papers

Persistent software transactional memory in Haskell ICFP 2021
Transactional Tasks: Parallelism in Software Transactions ECOOP 2016
Correctness of an STM Haskell implementation ICFP 2013
Improving STM performance with transactional structs Haskell 2017
Composable scheduler activations for Haskell JFP 2016
Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited ICFP 1996
Software Transactional Memory on Relaxed Memory Models CAV 2009
Proving Isolation Properties for Software Transactional Memory ESOP 2011