Catalog · MIT 6.004 Computation Structures, Spring 2017 Lecture 159 of 172 19.2.6 Worked Examples: Semaphores ← Previous 19.2.5 Deadlock Next → 20.2.1 System-level Interfaces ✓ Mark complete