Memory ordering in CPUs

• The key misconception is the implicit assumption that CPUs of all stripes actually obey their memory model for every memory access.