1. Armin Rigo
  2. duhton


duhton / PAPERS


This is a list of papers I found that describe the general idea.

* "Automatic Mutual Exclusion": the introduction paper at HotOS (may
  2007) is interesting; the rest is far too much formalism with little
  interest from my point of view.

* "Transactions Everywhere", 2002-2003: an early reference.

* To read about the current status of STM research, which influences
  the Hardware Transactional Memory on 2013 CPUs: "NOrec: Streamlining
  STM by Abolishing Ownership Records".

* "Grace": a system using Linux's paging (virtual memory) to emulate
  an efficient STM.  Interesting idea but with probably a granularity
  that is completely wrong for us --- one page, i.e. 4KB.  Two versions
  of the same paper: http://plasma.cs.umass.edu/emery/grace  or
  http://www.cs.umass.edu/~tingy/publications/grace.ps .

* "OCM": http://ocm.dreamhosters.com/ .  A similar goal to the one here,
  but modelling cooperative multithreading with an explicit "yield".
  Also, presents two versions of Lua with different implementations
  exposing the "yield" primitive.