Interprocess Synchronization

4/30/98


Click here to start


Table of Contents

Interprocess Synchronization

Recall Memory Protection

Hacking a Fleet ATM

Process Routines

A Scam !

Scam (contd.)

Observations

Scam Prevention

Counting Semaphores

Binary Semaphore a.k.a. Mutex a.k.a. Lock

Binary Semaphore Signal/Wait Routines

Does the Implementation Work?

Solutions

Atomic Test-and-Set

Using Atomic Test-and-Set

Efficiency Issues

Deadlock a.k.a. “The Deadly Embrace”

Deadlock Example

Dining Philosophers Problem

Deadlock Avoidance

Dining Computer Scientists

Next Time: Cache Coherence

Author: Srinivas Devadas

Email: devadas@mit.edu

Home Page: http://cag-www.lcs.mit.edu/6.004

Download presentation postscript