...
In this ordering, r1 and r2 read the values of a and b written from step 3 and 4, before the steps are executed.
Even if statements execute in the expected order, caching can prevent the latest values from being reflected in the main memory. Such counter-intuitive behavior necessitates the sequential consistency property.
...