tailieunhanh - Bài giảng Hệ điều hành: Chương: 6.1 - ThS. Trần Thị Như Nguyệt

Bài giảng "Hệ điều hành - Chương 6: Deadlocks" giúp người học hiểu rõ vấn đề bài toán deadlock và các tính chất của deadlock, hiểu được các phương pháp giải quyết deadlock. nội dung chi tiết. | Bài giảng Hệ điều hành: Chương: - ThS. Trần Thị Như Nguyệt Chương 6: Deadlocks 04/2015 Câu hỏi ôn tập chương 5 Phân biệt semaphore với monitor? Nêu ứng dụng của từng giải pháp? Áp dụng semaphore vào bài toán reader-writer, giải thích rõ hoạt động? 2 Deadlocks Mục tiêu chương 6 Hiểu được vấn đề bài toán deadlock và các tính chất của deadlock Hiển được các phương pháp giải quyết deadlock Bảo vệ Ngăn (Deadlock prevention) Tránh (Deadlock avoidance) Kiểm tra (Deadlock detection) Phục hồi (Deadlock recovery) 3 Deadlocks Nội dung Bài toán deadlock Mô hình hệ thống Các tính chất của deadlock Phương pháp giải quyết deadlock 4 Deadlocks Vấn đề deadlock Tình huống: Một tập các tiến trình bị block, mỗi tiến trình giữ tài nguyên và đang chờ tài nguyên mà tiến trình khác trong tập đang giữ Ví dụ 1: Hệ thống có 2 file A và B trên đĩa P1 và P2 mỗi tiến trình mở một file và yêu cầu mở file kia. P1 đã mở, đang nắm giữ file A và yêu cầu file B; trong khi P2 đã mở, đang nắm giữ file B và yêu cầu mở file A. P1 muốn hoàn tất thì phải có cả file A và B, P2 cũng vậy. Ví dụ 2: Bài toán các triết gia ăn tối Mỗi người cầm 1 chiếc đũa và chờ chiếc còn lại 5 Deadlocks Mô hình hóa hệ thống Các loại tài nguyên, kí hiệu R1, R2, ,Rm, bao gồm: CPU cycle, không gian bộ nhớ, thiết bị I/O, file, semaphore, Mỗi loại tài nguyên Ri có Wi thực thể Giả sử tài nguyên tái sử dụng theo chu kỳ Yêu cầu: tiến trình phải chờ nếu yêu cầu không được đáp ứng ngày Sử dụng: tiến trình sử dụng tài nguyên Hoàn trả: tiến trình hoàn trả tài nguyên Các tác vụ yêu cầu và hoàn trả đều là system .