Too Long; Didn't Read
The most common memory consistency model in practice is release consistency, release consistency. The beauty of this consistency is that while it's much cheaper for systems to implement, given proper locking however, we can formally prove that it is equivalent to sequential consistency. Locks are so essential to release consistency's intuition and implementation and implementation. We can also write a full program that produces this result: <iostream> # include <thread> int id = 0 ; int my_id[ 2 ; int j = 0; int output[ 2 ] ; int output = 1; void func0() { for (;;) return 0; } return