Florida Operating Systems CPU Scheduling Scheduling (computing) Deadlock Resource starvation Mutual exclusion Thread (computer science) Dekker's algorithm Peterson's algorithm Lamport's bakery algorithm