tailieunhanh - Bài giảng Hệ điều hành: Chapter 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. | Chương 6 Deadlocks https tailieudientucntt 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 https tailieudientucntt 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 https tailieudientucntt 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 https tailieudientucntt 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 https tailieudientucntt 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 call. Ví dụ Request release device Open close file Allocate free memory Wait signal 6 https tailieudientucntt Deadlocks Định nghĩa Một tiến trình gọi là deadlock nếu nó đang đợi một sự kiện mà sẽ không bao giờ xảy ra Thông thường có nhiều .