SC -- Sequential Consistency
Lamport: A multiprocessor is sequentially consistent if the result of any execution is the same as some sequential order, and within any processor, the operations are executed in program order
-- a and b are 0 initially --