05-FEB-2004

Lecture Outline

Note: Only topics are listed here, make sure you see class notes for details
You are also required to read online notes on your own.
- Anoop Gupta

Classic Examples & Monitors

  1. Two Classes of Semaphore Problems
  2. Dining Philosophers Problem
    - Solution 1
    - Solution 2
    - How to Approach
    - Final Solution
  3. Readers and Writers Problem
    - Two different classes of users
    - Two priorities possible
    - Four state variables
    - Three Semaphores
  4. Monitors
  5. Condition Variables
  6. Hoare Vs Mesa Semantics (overview)
    7.

Reading Assignment


Read the online lecture notes: http://www.cs.wisc.edu/~cs537-1/notes.html for what we have covered till now:

# Introduction
# Notes on Java
# Processes and Synchronization
    * Using Processes
    * What is a Process?
    * Why Use Processes
    * Creating Processes
    * Process States
    * Synchronization
          o Race Conditions
          o Semaphores
          o The Bounded Buffer Problem
          o The Dining Philosophers
          o Monitors

Next lecture, we will look at Message Passing and Deadlock and expect a quick quiz sometime soon!
CS 537 - Introduction to Operating Systems (Spring 2004)                                                                                Anoop Gupta