CS162: Lecture 6.5: Concurrency and Mutual Exclusion (Supplemental)

In this supplemental lecture, I finish up some material I didn't get to in Lecture 6. In particular, I repeat some of my discussion of Locking, then dive into a discussion of Semaphores in the context of the bounded buffer problem.