Hệ điều hành ngăn chặn deadlock bằng cách đặt ra quy định: - Nếu: tiến trình P đang giữ các tài nguyên Ri và P yêu cầu thêm tài nguyên Rj, thì: - P phải trả lại các tài nguyên Ri với thứ tự (
22/25
Hệ điều hành ngăn chặn deadlock bằng cách đặt ra quy định: - Nếu: tiến trình P đang giữ các tài nguyên Ri và P yêu cầu thêm tài nguyên Rj, thì: - P phải trả lại các tài nguyên Ri với thứ tự (i > j). Quy định này là:
Ngăn chặn điều kiện “loại trừ tương hỗ” (Mutual exclusion)
Ngăn chặn điều kiện “giữ và chờ tài nguyên” (Hold and Wait)
Ngăn chặn điều kiện “không trưng dụng” (Non-preemption)
Ngăn chặn điều kiện “chờ xoay vòng” (Circular wait)