Weak atomicity under the x86 memory consistency model

We consider the problem of building a weakly atomic Software Transactional Memory (STM), that provides Single (Global) Lock Atomicity (SLA) while adhering to the x86 memory consistency model (x86-MM).

[1]  Bratin Saha,et al.  Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language , 2007, International Symposium on Code Generation and Optimization (CGO'07).

[2]  Peter Sewell,et al.  A Better x86 Memory Model: x86-TSO , 2009, TPHOLs.

[3]  Adam Welc,et al.  Single global lock semantics in a weakly atomic STM , 2008, SIGP.

[4]  Walter F. Tichy,et al.  Identifying ad-hoc synchronization for enhanced race detection , 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS).

[5]  Marek Olszewski,et al.  JudoSTM: A Dynamic Binary-Rewriting Approach to Software Transactional Memory , 2007, 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007).

[6]  Nir Shavit,et al.  Transactional Locking II , 2006, DISC.