Composable memory transactions

January 2005Composable memory transactionsComposable memory transactions

This paper presents the stm library that first appears in GHC 6.4.

It is named after a previous paper, Software Transactional Memory, which introduced the central idea ten years prior. Haskell’s take on the idea includes some significant new contributions, notably the retry and orElse operations.

Authors: Tim Harris, Simon Marlow, and Simon Peyton Jones