Weak Memory Model
This lesson gives a brief overview of the weak memory model regarding concurrency in C++.
We'll cover the following...
Let’s refer to the contract between the programmer and the system.
The programmer uses atomics in this particular example; He obeys his part of the contract. The system guarantees well-defined program behavior without data races. In addition to that, the system can execute the four operations in each combination. If the programmer uses the relaxed semantic, the pillars of the contract dramatically change. On one hand, it is a lot more ...