Peterson’s algorithmcategory: explorationAnimated interleavings, atomic memory accesses, and the invariants behind mutual exclusion.Open exploration