Sufficient Conditions For SC
Three conditions suffice for SC
- Memory requests are issued in program order
- Wait for writes to complete
- Wait for reads to complete and the write filling the read to complete
-- a and b are 0 initially --
a := 1; while a != 1 do; while b != 1 do;