code wiki / atomic
topic: atomic
6 modules sharing the atomic name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| _atomic_rewrite_gate.nx | WMS-R3 gate. PROVES the generic atomic_rewrite | 176 | 7 |
| nx_atomic_intrinsic_test.nx | exercise the __atomic_* compiler | 113 | 7 |
| nx_atomic_publish.nx | ALL-OR-NOTHING FILE PUBLISH WITH COMPARE-AND-SWAP, IN NISHILANG. | 762 | 19 |
| nx_atomic_publish_gate.nx | END-TO-END gate for `nx_atomic_publish landed` (ap_landed, DM4). | 710 | 11 |
| nx_atomic_rewrite.nx | WMS-R3: a GENERIC, callable atomic whole-file rewrite | 213 | 9 |
| nx_atomic_swap.nx | DEP-001 (CALLOUT-012 deploy-exceed). Prove + register the ATOMIC content | 75 | 7 |