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
Email: devadas@mit.edu
Home Page: http://cag-www.lcs.mit.edu/6.004
Download presentation postscript