14.2.11 Locking Constraints

As noted earlier, locking primitives contain implicit memory barriers. These implicit memory barriers provide the following guarantees:

  1. LOCK operation guarantee:
  2. UNLOCK operation guarantee:
  3. LOCK vs LOCK guarantee:
  4. LOCK vs UNLOCK guarantee:
  5. Failed conditional LOCK guarantee:

Paul E. McKenney 2011-12-16