Algoritmo de detecção de deadlock.