| name | 0.3.1-understand-relaxed_atomicity_guarantee |
| description | ["0.3.1"] |
| The sole guarantee provided by memory_order_relaxed | the atomic variable is read and written atomically withou |
understand-relaxed_atomicity_guarantee
CALL NUMBER: deep_c11_memory_model.relaxed_atomicity_guarantee : concurrency_synchronization_primitives_and_memor(2)
DEFINITION: The sole guarantee provided by memory_order_relaxed: the atomic variable is read and written atomically without tearing, but no ordering constraints are imposed on other operations relative to the relaxed operation.
Invoke this skill to understand relaxed_atomicity_guarantee down to its primitives. The RELATIVE ROOT below is the least-fixed-point closure of everything it bundles from — the full import cone, grouped by the lib each prim comes from. Projected from a prover-typed KB (MAP/SWI-Prolog consistency gate): every reference below resolves.
THE RELATIVE ROOT (the import cone, by lib)
from concurrency_synchronization_primitives_and_memor
- acquire_semantics (d1): Memory ordering semantics ensuring all subsequent loads/stores cannot be reordered before the acquire operation; used for lock acquisition, reading a flag after volatile write.
- release_semantics (d1): Memory ordering semantics ensuring all prior loads/stores cannot be reordered after the release operation; used for lock release, writing data before a volatile flag.
Projected from the concurrency synchronization primitives and memory models KB (155 concepts / 137 relations) — consistency-typed by MAP; the facet list after the colon IS the cross-lib dependency web.
(leaf — this is an actual skill.)
