How do you implement Software Transactional Memory?

Question

In terms of actual low level atomic instructions and memory fences (I assume they\'re used), how do you implement STM?

The part that\'s mysterious to me is that given s

Answer 1

GHC's STM implementation is described in section six of:

Composable Memory Transactions. Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy. PPoPP'05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005

And section five of:

Transactional memory with data invariants. Tim Harris, Simon Peyton-Jones. March 2006 TRANSACT '06