We never propagate anything until a synchronization
exist
On entry/release of a synchronization point, we
synchronize the values
Many flavors
Maybe some writes are never seen
Efficient to implement
Forces the use of synchronization tools
- 37 -
