Personal tools

Software transactional memory

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(examples)
m ((really fix the broken link))
(7 intermediate revisions by 6 users not shown)
Line 6: Line 6:
   
 
== Resources ==
 
== Resources ==
  +
  +
* [http://research.microsoft.com/%7Esimonpj/papers/stm/#beautiful Beautiful Concurrency] - a chapter from the book Beautiful Code
   
 
* [[Research_papers/Parallelism_and_concurrency#Lock_free_data_structures_and_transactional_memory|Research Papers on STM]]
 
* [[Research_papers/Parallelism_and_concurrency#Lock_free_data_structures_and_transactional_memory|Research Papers on STM]]
Line 11: Line 13:
 
* [http://www.haskell.org/ghc/docs/latest/html/libraries/base/GHC-Conc.html Documentation for the Control.Concurrent.STM primitives GHC]
 
* [http://www.haskell.org/ghc/docs/latest/html/libraries/base/GHC-Conc.html Documentation for the Control.Concurrent.STM primitives GHC]
   
* [http://www.haskell.org/ghc/docs/latest/html/libraries/stm/Control-Concurrent-STM.html Documentation for the Control.Concurrent.STM module in GHC]
+
* [http://hackage.haskell.org/packages/archive/stm/2.2.0.1/doc/html/Control-Concurrent-STM.html Documentation for the Control.Concurrent.STM module in GHC]
  +
  +
* [http://channel9.msdn.com/Showpost.aspx?postid=231495 Programming in the Age of Concurrency: Software Transactional Memory] - interview of Simon Peyton-Jones and Tim Harris.
   
 
== Projects using STM ==
 
== Projects using STM ==
   
* [http://darcs.haskell.org/~lemmih/conjure/ Conjure] (a bittorrent client) is using STM quite heavily.
+
As of April 2011, there were more than 200 projects on Hackage with dependencies on GHC's STM implementation, including:
   
* The HAppS MACID monad runs on top of STM. It is open source and available via darcs at http://happs.org. http://Pass.net is a production application that uses this infrastructure.
+
* [http://hackage.haskell.org/package/conjure Conjure] (a bittorrent client) is using STM quite heavily.
   
* [http://www.eecs.tufts.edu/~rdocki01/shellac.html Shellac] is a framework for building read-eval-print style shells. It uses STM, but in a pretty limited way.
+
* [http://www.cs.princeton.edu/~rdockins/shellac/home Shellac] is a framework for building read-eval-print style shells. It uses STM, but in a pretty limited way.
   
 
* [http://www.pugscode.org Pugs] (an implementation of Perl 6 in Haskell) uses STM, and also exposes STM to the Perl 6 programmer via a similar interface to STM Haskell.
 
* [http://www.pugscode.org Pugs] (an implementation of Perl 6 in Haskell) uses STM, and also exposes STM to the Perl 6 programmer via a similar interface to STM Haskell.
  +
  +
* [http://happstack.com/index.html Happstack], a web framework
  +
  +
* [http://hackage.haskell.org/package/TCache TCache], a transactional cache with configurable persitence.
  +
  +
* [http://hackage.haskell.org/package/Barracuda Barracuda], An ad-hoc chat program
  +
  +
* [http://hackage.haskell.org/package/Combinatorrent Combinatorrent], a BitTorrent client, based on STM for concurrency
  +
  +
* [http://hackage.haskell.org/package/Scurry Scurry], P2P VPN implementation.
   
 
== Examples ==
 
== Examples ==
Line 30: Line 42:
   
 
* [[New_monads/MonadAdvSTM#Single_Threaded_Code|Advanced STM Monad]]
 
* [[New_monads/MonadAdvSTM#Single_Threaded_Code|Advanced STM Monad]]
  +
  +
* [http://computationalthoughts.blogspot.com/2008/03/some-examples-of-software-transactional.html Blog: Some examples of Software Transactional Memory in Haskell]
   
 
* Examples from this wiki: Search for "concurrent.stm" at the top of this page.
 
* Examples from this wiki: Search for "concurrent.stm" at the top of this page.

Revision as of 06:00, 14 February 2012

Contents

1 Introduction

Software Transactional Memory, or STM, is an abstraction for concurrent communication. The main benefits of STM are composability and modularity. That is, using STM you can write concurrent abstractions that can be easily composed with any other abstraction built using STM, without exposing the details of how your abstraction ensures safety. This is typically not the case with other forms of concurrent communication, such as locks or MVars.

STM for Haskell was first implemented in GHC 6.4. There exist STM implementations for other compilers.

2 Resources

3 Projects using STM

As of April 2011, there were more than 200 projects on Hackage with dependencies on GHC's STM implementation, including:

  • Conjure (a bittorrent client) is using STM quite heavily.
  • Shellac is a framework for building read-eval-print style shells. It uses STM, but in a pretty limited way.
  • Pugs (an implementation of Perl 6 in Haskell) uses STM, and also exposes STM to the Perl 6 programmer via a similar interface to STM Haskell.
  • TCache, a transactional cache with configurable persitence.
  • Scurry, P2P VPN implementation.

4 Examples

  • Examples from this wiki: Search for "concurrent.stm" at the top of this page.