Expand description
Cacheline-padded, lock-free SPSC ring for cross-thread signaling (TH-02).
Used for the control-plane → worker command path and worker → control
result path. One producer, one consumer; try_push/try_pop only, so
neither side ever blocks. Zero SeqCst; the handoff edge is the standard
acquire/release message-passing pair.
Loom model-checking: tests/loom_spsc.rs.
Structs§
- Spsc
Receiver - Consumer handle.
- Spsc
Ring - A bounded SPSC ring.
CAPmust be a power of two. - Spsc
Sender - Producer handle.
Functions§
- channel
- Pairs a ring with its two ends for handing to separate threads.