- graph reduction
-repeat:
-select unblocked process p
-remove p and all request and allocation edges
- deadlock? graph not completely reducible
- all reduction sequences lead to the same result
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment