Vấn đề Deadlock và giải quyết Deadlock

Vấn đề deadlock : dead lock là hiện tượng một tiến trình chiếm hữu tài
nguyên lâu dài làm cho các tiến trình có nhu cầu sử dụng tài nguyên này
luôn ở trạng thái waiting mãi mãi .


- Mô hình hệ thống : trong một hệ thống , các tiến trình từ khi được gọi đến khi kết thúc sẽ qua các giai đoạn sau :
+Yêu
cầu tài nguyên (request): nếu yêu cầu không được giải quyết ngay (vd
khi tài nguyên đang được tiến trình khác sử dụng) thì tiến trình yêu cầu
phải đợi cho đến khi nhận được tài nguyên.
+Sử dụng tài nguyên (use)
+Giải phóng tài nguyên (release)

- Mô tả Deadlock: Dead lock xảy ra với 4 điều kiện sau xảy ra đồng thời :

+ Ngăn chặn(loại trừ) lẫn nhau : vì chỉ có 1 tiến trình đc ở trong găng
+ Giữ và đợi (Hold and wait)
+ Không có ưu tiên(độc quyền)(No preemption): tiến trình thực hiện mãi mà ko dừng để giải phóng tài nguyên cho tiến trình khác
+ Chờ đợi vòng tròn(Circular Wait)
Các phương pháp xử lý Deadlock

+ Ngăn ngừa hoặc tránh xa, đảm bảo rằng hệ thống sẽ không bao giờ đi vào trạng thái deadlock.

+ Cho phép hệ thống đi vào trạng thái deadlock rồi khôi phục lại.

+ Bỏ qua dead lock , coi như ko có dead trong hệ thống