tailieunhanh - Bài giảng Hệ điều hành: Chương 6 - ThS. Hà Lê Hoài Thương

Chương 6 Tắc nghẽn (Deadlock) thuộc bài giảng hệ điều hành nhằm trình bày về các kiến thức: mô hình hệ thống, điều kiện cần của deadlock, Resource Allocation Graph (RAG), phương pháp giải quyết Deadlock, phương pháp kết hợp để giải quyết Deadlock. | S Chương 6 Tac nghen Deadlock Mô hình hệ thống Định nghĩa Điệu kiện can của deadlock Resource Allocation Graph RAG Phương phap giai quyet deadlock Deadlock prevention Deadlock avoidance Deadlock detection Deadlock recovery Phương phap ke t hơp để giai quyet Deadlock Khoa KTMT 1 c Vân đê deadlock trong hệ thống Tình huống một tập các process bị blocked moi process giữ tài nguyên và đàng chờ tài nguyen mà process khác trong tập đàng giữ. Ví du 1 - Già sữ he thong co 2 file tren đĩà. - P1 và P2 moi process đàng mờ mot file và yeu càu mờ file kià. Ví du 2 - Semàphore A và B khởi tạo bằng 1 P0 P1 wàit A wàit B wàit B wàit A Khoà KTMT 2 c Mô hình hóa hệ thong Hệ thống gồm các loại tai 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 Rị cồ Wị thực thệ instance . Giá sự tái nguyện tái sự dung theo ky Serially Reusable Resources - Yêu cầu request process phái chờ nếu yệu cáu khong đựợc đáp ựng ngay - Sủ dung use process sự dung tái nguyện - Hoàn trả release process hoán trá tái nguyện Các tác vu yệu cáu request vá hoán trá release đệu lá system call. Ví du - request release device - open close file - allocate free memory - wait signal Khoa KTMT