Operating systems / graph theory

Deadlock
Detector

Explore cycles in a single-instance resource-allocation graph.

Amber: request P→R · Blue: assignment R→P

Scenario

Derived wait-for relationships