Composable memory transactions

Tim Harris, Simon Marlow, Simon Peyton-Jones, Maurice Herlihy
2005 Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '05  
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is that even correctly-implemented concurrency abstractions cannot be composed together to form larger abstractions. In this paper we present a new concurrency model, based on transactional memory, that offers far richer composition. All the usual benefits of transactional memory are present (e.g. freedom from deadlock), but in addition we describe new modular forms of
more » ... blocking and choice that have been inaccessible in earlier work.
doi:10.1145/1065944.1065952 dblp:conf/ppopp/HarrisMPH05 fatcat:fe4xetpowvfyfcanh3dbh3zoie