TAILIEUCHUNG - Bài giảng Hệ điều hành: Chương 4 - Thoại Nam, Lê Ngọc Minh

Bài giảng "Hệ điều hành - Chương 4: Deadlock" cung cấp cho người học các kiến thức: Mô hình hệ thống, resource allocation graph (RAG), 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 4 - Thoại Nam, Lê Ngọc Minh Chương 4. Deadlock Mô hình hệ thống Resource Allocation Graph(RAG) Phương pháp giải quyết deadlock – Deadlock prevention (ngăn chặn deadlock) – Deadlock avoidance (tránh deadlock) – Deadlock detection (phát hiện deadlock) – Deadlock recovery (phục hồi deadlock) Khoa Công Nghệ Thông Tin – Đại Học Bách Khoa Vấn đề deadlock trong hệ thống Tình huống: một tập các process bị blocked,mỗi process giữ tài nguyên và đang chờ tài nguyên mà process khác trong tập đang có. Ví dụ 1 – Giả sử hệ thống có 2 file trên đĩa. – P1 và P2 mỗi process đang mở một file và yêu cầu mở file kia. Ví dụ 2 – Semaphore A và B, khởi tạo bằng 1 P0 P1 wait (A); wait(B) wait (B); wait(A) Khoa Công Nghệ Thông Tin – Đại Học Bách Khoa 1 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, monitor,. – Mỗi loại tài nguyên Ri có Wi thực thể (instance). Quá trình sử dụng tài nguyên của mỗi process như sau – Yêu cầu (request): process phải chờ nếu yêu cầu không được đáp ứng ngay – Sử dụng (use) – Hoàn trả (release) Các tác vụ yêu cầu (request) và hoàn trả (release) đều là system call – Request/release device, open/close file, allocate/free memory – Wait/signal Khoa Công Nghệ Thông Tin – Đại Học Bách Khoa Điều kiện tồn tại deadlock Mutual exclusion: với mỗi tài nguyên, chỉ có một process sử dụng tại một thời điểm. Hold and wait: một process vẫn sở hữu tài nguyên đã được cấp phát trong khi yêu cầu một tài nguyên khác. No preemption: một tài nguyên không thể bị đoạt lại từ chính process đang sở hữu tài .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.