TAILIEUCHUNG - Hệ điều hành Chương VI: Tắc nghẽn (Deadlock)

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ể (instance). Giả sử tài nguyên tái sử dụng theo kỳ (Serially Reusable Resources) 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): process sử dụng tài nguyên Hoàn trả (release): process hoàn trả tài nguyên Các tác vụ yêu cầu (request) và hoàn trả (release) đều là system call. Ví dụ Request / release device Open / close file Allocate / free memory Wait / signal. | Khoa KTMT Chương 6 : Tắc nghẽn(Deadlock) 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 Deadlock prevention Deadlock avoidance Deadlock detection Deadlock recovery Chapter Objectives To develop a description of deadlocks, which prevent sets of concurrent processes from completing their tasks To present a number of different methods for preventing or avoiding deadlocks in a computer system Khoa KTMT Vấn đề deadlock 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 giữ. Ví dụ 1 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); Bridge Crossing Example Traffic only in one direction Each section of a bridge can be viewed as a resource If a deadlock occurs, it can be resolved if one car .

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.