Otherwise it checks whether P .
P are in different controllers , are locally dependent and P is waiting for the resource that is locked by P. Once all the conditions are satisfied it sends the probe .
Otherwise it checks whether P , and P are in different controllers , are locally dependent and P is waiting for the resource that is locked by P. Once all the conditions are satisfied it sends the probe .