Notes on C/C++ memory model

• Threads and memory model for C++ by Hans Boehm
  • GCC 4.7 and above does the right thing!
• The C11 and C++11 Concurrency Model by Mark John Batty
• C/C++11 mappings to processors by Alexander Terekhov, Paul McKenney, et al.
• Awesome Lock-Free
• Lockless algorithms on LWN.net
• Linux-Kernel Memory Model