Trong trường hợp hệ thống dùng loại tài nguyên có nhiều thực thể, giải thuật nào sau đây để phát hiện Deadlock?

Giải thuật chạy lại tiến trình (Rollback).

Giải thuật đồ thị cấp phát tài nguyên (Resource allocation graph).

Giải thuật đồ thị chờ tài nguyên (Wait for Graph).

Giải thuật nhà băng (Banker).