15-213 Introduction to Computer Systems
Lecture 26: Semaphore Examples

• Reading: 13.5-13.6
• Slides: none
• Video: Lec 26
• Code: not yet available
• Concepts:
  • Semaphores
  • Races
  • Deadlock
  • Livelock
  • Producers and consumers
  • Bounded buffer
  • Dining philosophers
  • Readers and writers
• Previous lecture: Concurrency and Synchronization
• Next lecture: none

[ Home | Schedule | Assignments | Exams | Lab Machines | Resources ]
[ Textbook | Autolab ]
[ Newsgroup | Blackboard ]

fp@cs
Frank Pfenning