Giải thuật phát hiện ra Deadlock.

1. Gọi Work và Finish là vector kích thước m và n. Khởi tạo :
Work:=Available
i=1,2,...,n, nếu (Allocation)i #0 thì Finish[i]:= false
còn không thì Finish[i]:= true
2. Tìm i thỏa mãn:
Finish[i]:=false và
(Request)i <= Work
Nếu không tồn tại i như thế , đến bước 4.
3. Work := Work + (Allocation)i
Finish[i] := true
quay về bước 2.
4. Nếu Finish[i] =false, với một i=1,...,n, thì hệ thống đang ở trạng thái deadlock. Hơn thế nữa, Finish[i]=false thì Pi bị deadlocked.