N4455 No Sane Compiler Would Optimize Atomics edit / delete

"Compilers do optimize atomics, memory accesses around atomics, and utilize architecture-specific knowledge. This paper illustrates a few such optimizations, and discusses their implications."

to atomic cmp201 compiler optimisation ... on 11 September 2018

Axiomatic validation of memory barriers and atomic instructions [LWN.net] edit / delete

More 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.

to arm atomic concurrency herd intel memory memory-model model-checking power static-analysis x86 ... on 28 August 2014

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom