Professional Documents
Culture Documents
Chuong 2 - Deadlock
Chuong 2 - Deadlock
Tắt nghẽn
Operating System Concepts – 10h Edition Silberschatz, Galvin and Gagne ©2018
NỘI DUNG
I. Khái niệm deadlock
II. Điều kiện xảy ra deadlock
III.Các phương pháp phòng tránh deadlock
1. Ngăn chặn deadlock
2. Phòng tránh deadlock
3. Phát hiện deadlock
4. Phục hồi deadlock
Operating System Concepts – 10th Edition 1.2 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.3 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.4 Silberschatz, Galvin and Gagne ©2018
System Concepts – 10th Edition 1.6 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.13 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.15 Silberschatz, Galvin and Gagne ©2018
ĐỒ THỊ CUNG CẤP TÀI NGUYÊN
Operating System Concepts – 10th Edition 1.16 Silberschatz, Galvin and Gagne ©2018
ĐỒ THỊ CUNG CẤP TÀI NGUYÊN
Operating System Concepts – 10th Edition 1.17 Silberschatz, Galvin and Gagne ©2018
ĐỒ THỊ CUNG CẤP TÀI NGUYÊN
Operating System Concepts – 10th Edition 1.18 Silberschatz, Galvin and Gagne ©2018
ĐỒ THỊ CUNG CẤP TÀI NGUYÊN
Operating System Concepts – 10th Edition 1.19 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.21 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.22 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.23 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.24 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.25 Silberschatz, Galvin and Gagne ©2018
III.1 NGĂN NGỪA DEADLOCK
Operating System Concepts – 10th Edition 1.26 Silberschatz, Galvin and Gagne ©2018
• Tổng số tài nguyên đòi hỏi vượt quá khả năng của hệ thống?
Operating System Concepts – 10th Edition 1.27 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.30 Silberschatz, Galvin and Gagne ©2018
III.1 NGĂN NGỪA DEADLOCK
Operating System Concepts – 10th Edition 1.31 Silberschatz, Galvin and Gagne ©2018
III.1 NGĂN NGỪA DEADLOCK
Operating System Concepts – 10th Edition 1.32 Silberschatz, Galvin and Gagne ©2018
III.1 NGĂN NGỪA DEADLOCK
➢Ngăn chặn không thể thu hồi
➢Nếu process A có giữ tài nguyên và đang yêu cầu tài nguyên
khác nhưng tài nguyên này chưa cấp phát ngay được thì:
▪ Cách 1: Hệ thống lấy lại mọi tài nguyên mà A đang giữ
• A chỉ bắt đầu lại được khi có được các tài nguyên đã bị lấy lại cùng
với tài nguyên đang yêu cầu.
Operating System Concepts – 10th Edition 1.33 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.35 Silberschatz, Galvin and Gagne ©2018
trình
Operating System Concepts – 10th Edition 1.36 Silberschatz, Galvin and Gagne ©2018
10 5 5
P1 4 2 2
P2 9 2 7
Operating System Concepts – 10th Edition 1.38 Silberschatz, Galvin and Gagne ©2018
◼ Giả sử tại thời điểm t1, P2 yêu cầu và được cấp phát 1 tap drive
🞐Còn 2 tap drive sẵn sàng
P0 Cần tối đa Đang giữ
10 5
P1 4 2
P2 9 3
Operating System Concepts – 10th Edition 1.39 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.40 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.41 Silberschatz, Galvin and Gagne ©2018
III.2 PHÒNG TRÁNH DEADLOCK
Tiến trình khi tham gia hệ thống, phải thêm tất cả các cung
đòi hỏi tương ứng vào đồ thị
▪ Khi Pi yêu cầu Rj , cung đòi hỏi Pi --> Rj chuyển thành
cung yêu cầu Pi → Rj
▪ Khi Pi giải phóng Rj , cung sử dụng Rj → Pi chuyển thành
cung đòi hỏi Pi --> Rj
Operating System Concepts – 10th Edition 1.42 Silberschatz, Galvin and Gagne ©2018
System Concepts – 10th Edition 1.48 Silberschatz, Galvin and Gagne ©2018
System Concepts – 10th Edition 1.49 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.56 Silberschatz, Galvin and Gagne ©2018
III.2 PHÒNG TRÁNH DEADLOCK
Operating System
◼ Trạng thái mới là safe (chuỗi an toàn là <P1, P3, P4, P0, P2> vậy
có thể cấp phát tài nguyên cho P1
Operating System Concepts – 10th Edition 1.63 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.64 Silberschatz, Galvin and Gagne ©2018
Operating System Concepts – 10th Edition 1.66 Silberschatz, Galvin and Gagne ©2018
III.3 PHÁT HIỆN DEADLOCK
Operating
System Concepts – 10th Edition 1.67 Silberschatz, Galvin and Gagne ©2018
III.3 PHÁT HIỆN DEADLOCK
Operating
System Concepts – 10th Edition 1.68 Silberschatz, Galvin and Gagne ©2018
III.4 PHỤC HỒI DEADLOCK
➢Nguyên tắc:
▪ Trưng dụng liên tục một vài tài nguyên từ một số tiến trình đang
deadlock cho các tiến trình khác đến khi deadlock được hủy bỏ.
➢Các vấn đề cần quan tâm:
▪ Lựa chọn nạn nhân (victim):
• Tài nguyên nào và tiến trình nào được chọn?
• Trật tự trưng dụng để chi phí nhỏ nhất?
• Lượng tài nguyên nắm giữ, thời gian sử dụng..
Operating System Concepts – 10th Edition 1.69 Silberschatz, Galvin and Gagne ©2018
CHƯƠNG 2: DEADLOCK
Tắt nghẽn
Operating System Concepts – 10h Edition Silberschatz, Galvin and Gagne ©2018