On the receipt of probe (i, j, k) at home site of process P k:ġ. If all of the above conditions are true, send probe (i, j, k) to the home site of process P k. Process P j and process P k are on different sites. Process P i is locally dependent on process P j Else for all P j and P k check following condition: If process P i is locally dependent on itself then declare a deadlock.Ģ. dependent i is true if process P j is dependent on process P i.ġ. Initially, dependent i is false for all value of i and j. Other terminologies used in the algorithm:Ī process P i is said to be dependent on some other process P j, if there exists a sequence of processes P i, P i1, P i2, P i3…, P im, P j such that in the sequence, each process except P j is blocked and each process except P i holds a resource for which previous process in the sequence is waiting.Ī process P i is said to be locally dependent on some other process P j if the process P i is dependent on process P j and both are at same site.Ī boolean array, dependent i.