12 / 19 Atomics & Memory Ordering

What Acquire Does Not Do

Select every statement that is true of acquire and release semantics. More than one applies.

A

Neither a read-acquire nor a write-release requires a StoreLoad barrier.

B

If every atomic operation in a program is acquire or release, all threads observe a single total order of those operations.

C

A read-acquire prevents any load or store that follows it in program order from moving above it.

D

A write-release prevents any load or store that precedes it in program order from moving below it.

E

A write-release prevents a load that follows it from moving above it.