Requires each process declare the maximum number of resources of each type that it may need • The deadlock-avoidance algorithm dynamically examines the resource-allocation state to ensure that there can never be a circular-wait condition – Resource-allocation stateis defined by the number of available , allocated resources and the maximum demands of the processes