Memory Models and the Happens-Before Relation

Reason about visibility and reordering with happens-before edges, atomic orderings, publication patterns, and litmus tests.

2026-05-30 · 13 min read