Trình bày phương pháp phát hiện và xử lý bế tắc bằng cách sử dụng đồ thị. Phân tích ưu điểm của phương pháp này so với phương pháp ngăn ngừa bế tắc.

+ Phát hiện bế tắc :

• TH mỗi dạng tài nguyên chỉ có một tài nguyên duy nhất=> sd đồ thị bd quan hệ chờ đợi lẫn nhau giữa tiến trình
• Xây dựng đồ thị cấp phát tài nguyên :

• Các nút là tiến trình và tài nguyên
• Tài nguyên dc nối với tiến trình bằng cung có hướng nếu tài nguyên đc cấp cho tiến trình đó.
• Tiến trình dc nối với tài nguyên trình bằng cung có hướng nếu tiến trình đang đc cấp cho tài nguyên  đó.

     +Đồ thị chờ đợi :

• Đc xd từ đồ thị cấp phát tài nguyên = cách bỏ đi các nút t/ứ với tài nguyên và nhập các cung đi đi qua nút bị bỏ
• Cho phép phát hiện tình trạng tiến trình chơ đợi là điều kiện đủ để sinh ra bế tắc
• SD thuật toán phát hiện chu trình trên đồ thì có hướng để phát hiện bế tắc trên đồ thị chờ đợi

Vẽ sơ đồ :

+ Thời điểm phát hiện bế tắc ;

• Bế tắc chỉ có thế xh sau khi  1 tiến trình nào đó yêu cầu tài nguyên và ko đc thỏa mãn.
• => Chạy thuật toán phát hiện bế tắc mỗi khi có y/c cấp phát tài nguyên ko đc tm=> cho phép phát hiện bế tắc ngay khi vừa xảy ra.
• Chạy thường xuyên làm giảm h/nang ht
• =>Giảm tần suất chạy thuật toán phát hiện bế tắc :

• Sau từng chu kì từ vài chục phút tới vài giờ
• Khi có một số đấu hiệu như hiệu suất sd CPU giảm xuống dưới 1 ngưỡng nào đó

+ Xử lý khi bi bế tắc :

• Kết thúc all tiến trình đang bị bế tắc
• Kt lần lượt từng tiến trình đang bị bế tắc đến khi hết bế tắc

•  HDH phải chạy lại thuật toán phát hiện bế tắc sau khi kt 1 tiến trình
• HDH có thể chọn thứ tự kt tiến trình dựa trên tiêu trí nào đó.

• Khôi phục tiến trình về thời điểm trc khi bị bế tắc sau đó cho các tiến trình thực hiện lại từ điểm này :

• Đòi hỏi HDH lưu trữ trạng thái để có thể thực hiện quay lui và khôi phục về các điểm ktra trc đó.
• Khi chạy lại, các tiến trình có thể lại rơi vào bế tắc tiếp.

Lần lượt thu hồi lại tài nguyên từ các tiến trình bế tắc cho tới khi hêt bế tắc.