Trình bày 4 điều kiện dẫn đến Deadlock?

Deadlock xảy ra khi có 4 điều kiện cần sau:
1. Loại trừ lẫn nhau (Mutual Exclusion): Ít nhất có 1 tài nguyên có tính không chia sẽ, nghĩa là mỗi thời điểm chỉ có một tiến trình được sử dụng nó.
2. Giữ và chờ ( Hold and Wait): Có 1 tiến trình đang giữ một tài nguyên và xin thêm tài nguyên đang độc chiếm bởi tiến trình khác.
3. Không có tiếm quyền (No Preemption): Tài nguyên đang giữ bởi tiến trình không thể bị tiếm quyền mà phải được tiến trình này tự nguyện trả lại hệ thống sau khi sử dụng xong.
4. Chờ xoay vòng (Circular Wait): Giả sử có n tiến trình đang chờ tài nguyên là { P1,P2,...,Pn } khi đó P1 chờ tài nguyên giữ bởi P2, tiến trình P2 chờ tài nguyên giữ bởi P3,..., Pn chờ P1.
Chú ý: Bốn điều kiện này không hoàn toàn độc lập với nhau.