01
Peterson’s Algorithm and Software-Only Mutual Exclusion
Peterson's 1981 two-process algorithm showed that mutual exclusion could be expressed with only ordinary shared variables—provided the memory model supplied the ordering guarantees the proof assumes.
↗