Hệ điều hành ngăn chặn deadlock bằng cách đặt ra quy định: - Nếu: tiến trình A đang giữ tài nguyên R1 và A yêu cầu thêm tài nguyên R2 thì: - Thu hồi mọi tài nguyên R1 mà A đang giữ. - Cấp lại
21/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 A đang giữ tài nguyên R1 và A yêu cầu thêm tài nguyên R2 thì: - Thu hồi mọi tài nguyên R1 mà A đang giữ. - Cấp lại tài nguyên R1 và R2 cho A nếu cả 2 tài nguyên này không có tranh chấp. 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)