and b has a block with an acquire annotation b has a point common to all CMO extensions. 19.3.1. Memory and Caches 19.4.1. Memory Ordering 19.4.1.1. Preserved Program Order 17.1.4. Memory Model Specifications, Version 0.1 A.1. Why RVWMO? A.2. Litmus Tests A.3. Explaining
tills