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. | 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 https tailieudientucntt 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 nguyên đó. Circular wait tồn tại một chu kỳ đóng các yêu cầu tài nguyên. P1 P2 Deadlock có thể xảy ra nếu 4 điều kiện xuất hiện đồng thời. Khoa Công Nghệ Thông Tin Đại Học Bách Khoa https .

TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
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.