🔀 Interleaving Lab — concurrency non-determinism

Run concurrent threads over shared variables and see every possible interleaving, how many there are, and how many distinct outputs result — the heart of race conditions. Each line in a thread is one atomic statement.

Presets:

Initial shared vars

Serialize each thread (mutex — no interleaving inside a thread)

Possible interleavings

–

Distinct outputs

–

🔀 Interleaving Lab — concurrency non-determinism

Outcomes

Trace one interleaving