... avoidance - Resource allocation
If Request[*] > Available[*] suspend process;
else define newstate by:
1) Allocation[i,*] = Allocation[i,*]+ Request[*]
2) Available[*] = Available[*] - Request[*]
If safe (newstate) then go ahead with allocation;
else restore original state and suspend process.