Deadlock
Introduction
Topics for discussion
Types of resources
Conditions for a deadlock
General design policy
Deadlock prevention
Deadlock detection
How to break a deadlock?
Scope of various policies
Deadlock avoidance
Deadlock avoidance mechanism
Deadlock avoidance - Data structures
... avoidance - Resource allocation
Safety algorithm - bool safe(state);
Example : bool safe(state);
Example (contd.)
Current state - AVAIL [1 1 2]
Dining philosopher problem
Monitor solution
Summary
Exam Review
Question (tentative list)
Email: bina@cse.buffalo.edu
Home Page: http://www.cse.buffalo.edu/~bina
Download presentation source