2007-02-05: More ConcurrencyControl: Deadlock detection, recovery, and avoidance. Readings: SGG Chapter 7.

1. Today's mea culpa

The semaphore implementation described in class last Wednesday doesn't work; blocking/waking the processes must also occur in the critical section or we end up with a blocked process never waking up or an attempt to wake a process that hasn't blocked yet.