0-1-6-understand-synchronizes-with

name	0.1.6-understand-synchronizes_with
description	[0.1.6] A relation between atomic operations in memory models where a release fence on one thread synchronizes with an

understand-synchronizes_with

CALL NUMBER: concurrency_synchronization_primitives_and_memor.synchronizes_with DEFINITION: A relation between atomic operations in memory models where a release fence on one thread synchronizes with an acquire fence on another thread, establishing happens-before order across threads.

Invoke this skill to understand synchronizes_with 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)

CONSUMERS (what needs this)

happens_before_relation, no_synchronizes_with_establishment, seq_cst_synchronization_protocol, synchronizes_with_absence, volatile_java

---

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.)