Bounded Buffer
Algorithm 1 (Pi)
Algorithm 1 (P0 and P1)
Algorithm 2 (Pi)
Algorithm 2 (P0 and P1)
Algorithm 2a (Pi)
Algorithm 2a (P0 and P1)
Algorithm 3 (Pi)
Algorithm 3 (P0 and P1)
Bakery Algorithm
Test-and-Set
Mutual Exclusion using Test-and-Set
Swap
Mutual Exclusion using Swap
Bounded Waiting Mutual Exclusion
Semaphores
Semaphores Without Busy Waiting
Readers-Writers Problem
Dining Philosophers Problem (Algorithm 1)
Dining Philosophers Problem (Algorithm 2)