Avoidance — Allocation graph

A claim edge indicates that a process may request a resource (dashed line). A claim edge is converted to a request edge when a request is made, and a request edge is converted to an assignment edge when a resource is allocated to a process. Upon release, the assignment edge becomes a claim edge again. Resources must then be claimed a priori. A request for a resource can only be granted if it does not form a cycle.