[gpderetta]

On a related note, take a look a Hans Boehm's paper "Can Seqlocks Get Along With Programming Language Memory Models?" [1].

[1] http://www.hpl.hp.com/techreports/2012/HPL-2012-68.html

[caf]

I enjoyed footnote 3:

  ... in spite of my earlier claims in the previously
  mentioned mailing list discussion.