sancovp/concurrency-synchronization-primitives-a-module - Page 2

0-7-5-understand-mcs-lock-qnode

[0.7.5] Thread-local queue node containing locked flag and successor pointer; must be cache-aligned and allocated per-

0-7-6-understand-mcs-lock-release

[0.7.6] Operation by which a thread releases the lock; sets own qnode.locked to false to unblock spinning successor; i

0-7-understand-deep-spinlock

[0.7] the deep_spinlock subdomain of concurrency synchronization primitives and memory models (20 concepts)

0-8-1-understand-c11-atomic

[0.8.1] The C11/C++11 memory model defined by the ISO standard; defines six memory orders (relaxed, consume, acquire,

0-8-2-understand-memory-order-acquire

[0.8.2] Memory ordering barrier ensuring all loads and stores after the barrier in program order cannot be reordered b

0-8-3-understand-full-fence

[0.8.3] A memory fence providing both acquire and release semantics; no memory operation on the issuing core may be re

0-8-4-understand-happens-before

[0.8.4] transitive closure of program_order and synchronizes_with relations; the ordering guarantee that prevents data

0-8-5-understand-memory-order-release

[0.8.5] Memory ordering barrier ensuring all loads and stores before the barrier in program order cannot be reordered

0-8-6-understand-dependency-chain

[0.8.6] data or control dependency from one operation to another; under consume semantics substitutes for synchronizes

0-8-understand-deep-synchronizes-with

[0.8] the deep_synchronizes_with subdomain of concurrency synchronization primitives and memory models (72 concepts)

using-concurrency-synchronization-primitives-a

Use the concurrency synchronization primitives and memory models neurosymbolic module: RAG library, agent brain, growable KB — proof-checked

0-1-understand-concurrency-synchronization-primitives-and-memor

[0.1] the concurrency_synchronization_primitives_and_memor subdomain of concurrency synchronization primitives and memory models (99 concepts)

0-2-understand-core

[0.2] the core subdomain of concurrency synchronization primitives and memory models (4 concepts)

0-5-understand-deep-happens-before-relat

[0.5] the deep_happens_before_relat subdomain of concurrency synchronization primitives and memory models (48 concepts)

0-4-understand-deep-exponential-backoff

[0.4] the deep_exponential_backoff subdomain of concurrency synchronization primitives and memory models (37 concepts)