Adam Sampson's atomic bookmarkshttps://bookmarks.offog.org/ats/atomicAdam Sampson2018-09-11T14:59:50ZN4455 No Sane Compiler Would Optimize Atomicshttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.open-std.org%2Fjtc1%2Fsc22%2Fwg21%2Fdocs%2Fpapers%2F2015%2Fn4455.html2018-09-11T14:59:50Z"Compilers do optimize atomics, memory accesses around atomics, and utilize architecture-specific knowledge. This paper illustrates a few such optimizations, and discusses their implications."Axiomatic validation of memory barriers and atomic instructions [LWN.net]https://bookmarks.offog.org/edit?url=http%3A%2F%2Flwn.net%2FArticles%2F608550%2F2014-08-28T11:29:28ZMore progress on model checking for memory models on modern processors. The tool described here covers ARM, Power and x86 memory models, and does efficient analysis of (smallish) chunks of code.