Computer Science 432/563
 Operating Systems 
 
 Spring 2016, The College of Saint Rose 
Lecture 0x09: Semaphores
Date: Monday, February 22, 2016
 Agenda 
- Announcements
- Programming Project 2: CPU Scheduler Simulation continues
- coding due midweek, writeup due next Monday
- further discussion?
 
- Lecture 0x08 assignment recap
- Lab 3: Concurrency out
- Quick look back at mutual exclusion with atomic instructions
- Semaphores
- abstract synchronization primitive
- wait/signal semantics
- using to solve the critical section problem
- implementation idea
- POSIX semaphores
- pthreads mutexes
- using as a general synchronization tool
 
- Classical problems of synchronization
- Bounded Buffer with no busy waits
- The Dining Philosophers
- Readers-Writers
 
 No New Lecture Assignment 
 Examples 
- prodcons-shmem
- prodcons-pthreads
 Links