Memory Consistency Models: A Tutorial
homes.cs.washington.edu