Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.
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.