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à:

Quy định được mô tả trong câu hỏi nhằm ngăn chặn điều kiện "giữ và chờ tài nguyên" (Hold and Wait). Điều kiện này xảy ra khi một tiến trình đang giữ ít nhất một tài nguyên và đồng thời chờ đợi để có được thêm tài nguyên khác mà tiến trình khác đang giữ. Bằng cách thu hồi các tài nguyên mà tiến trình đang giữ khi nó yêu cầu thêm tài nguyên và chỉ cấp lại nếu tất cả các tài nguyên yêu cầu đều sẵn sàng, hệ thống đảm bảo rằng không có tiến trình nào vừa giữ tài nguyên vừa chờ đợi tài nguyên khác, do đó ngăn chặn deadlock. Các lựa chọn khác không phù hợp vì: * **A. Ngăn chặn điều kiện “loại trừ tương hỗ” (Mutual exclusion):** Loại trừ tương hỗ là điều kiện mà tại một thời điểm chỉ có một tiến trình có thể sử dụng một tài nguyên. Quy định trên không trực tiếp giải quyết vấn đề này. * **C. Ngăn chặn điều kiện “không trưng dụng” (Non-preemption):** Không trưng dụng là điều kiện mà một tài nguyên chỉ có thể được giải phóng bởi tiến trình đang giữ nó một cách tự nguyện. Quy định trên thực hiện trưng dụng tài nguyên một cách chủ động để phá vỡ điều kiện Hold and Wait. * **D. Ngăn chặn điều kiện “chờ xoay vòng” (Circular wait):** Chờ xoay vòng là điều kiện mà một chuỗi các tiến trình tồn tại, trong đó mỗi tiến trình đang chờ một tài nguyên mà tiến trình tiếp theo trong chuỗi đang giữ. Quy định trên gián tiếp ngăn chặn điều kiện này bằng cách ngăn chặn Hold and Wait, nhưng nó không trực tiếp nhắm vào việc loại bỏ chu trình chờ đợi.