Everything you know is wrong: The amazing time traveling CPU, and other horrors of concurrency

摘要

In this paper, we shall explore weak memory models, their insidious effects, and how it could happen to you! It shall explained how and why both compilers and CPUs rewrite your program to make it faster, the inevitable fallout of this, and what you can do to protect your code. We shall craft a lock, building from a naive and broken implementation up to a safe and correct form, and study the underlying model that requires these modifications as we go.