The virtues of conflict: analysing modern concurrency | Saurabh Joshi

Modern shared memory multiprocessors permit reordering of memory operations for performance reasons. These reorderings are often a source of subtle bugs in programs written for such architectures.