Skip to main content
Vansh Verma
← Lab

mpmcorder

confirmedcertificateRustSystems & data structuresJuly 12, 2026

the question

What is the minimal RC11 memory-ordering frontier of the Vyukov MPMC ring, and is any seq_cst required?

what came out

Under herd7 on the RC11 model, acquire on the gate load and release on the gate store are each necessary and sufficient for the Vyukov ring, with no seq_cst required anywhere, including the cross-lap cell-reuse hazard. Loom exhibits the necessity races. The shipped queues confirm the gate but over-specify the counter with seq_cst.

method & receipts

  • Result: confirmed
  • Pre-registered — the prediction was written down and committed before the run.
  • Reproducible — one script re-runs the whole thing from scratch.
  • Tested — a correctness/benchmark suite ships alongside the code.

→ read the code and re-run it

github.com/v-code01/mpmcorder