C++ Reactive Programming

Sequential consistency

The concept of sequential consistency was defined by Leslie Lamport in 1979. Sequential consistency provides two guarantees in the execution of a program. First and foremost, memory ordering the instructions of a program are executed in source code order, or an illusion of source code order will be guaranteed by the compiler. Then, there is a global order of all atomic operations in all threads.

For a programmer, the global ordering behavior of sequential consistency in which all operations in all threads take place in a global clock is an interesting high ground, but is also a disadvantage.

The interesting thing about sequential consistency is that the code works as per our intuition of multiple concurrent threads, ...