Computer Science 330
Operating Systems
Fall 2025, Siena University
Lecture 0x08: Semaphores; Classic Problems of Synchronization
Date: Friday, October 3, 2025
Agenda
- Announcements
- The next readings/activities from OS zyBook: Chapter 9,
Sections 5-7, due before class on Friday, October 10
- Exam 1 is Monday
- see previous pages and email
- two time options: regular class time, or 6-8 PM, you choose
- Any wrapup discussion on Programming Project 1: CPU Scheduler
Simulation [HTML] [PDF]
- Brief look at the exercises for OS zyBook Chapter 9, Section
1
- 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
- Lab 4: Interleavings [HTML] [PDF]
Examples
Links