Catalog Β· MIT 6.004 Computation Structures, Spring 2017 Lecture 158 of 172 19.2.5 Deadlock β Previous 19.2.4 Semaphore Implementation Next β 19.2.6 Worked Examples: Semaphores β Mark complete