tailieunhanh - Bài giảng Hệ điều hành: Chapter 6.2 - ThS. Trần Thị Như Nguyệt

Bài giảng "Hệ điều hành - Chương 6: Deadlocks" cung cấp cho người học các kiến thức: Giải thuật đồ thị cấp phát tài nguyên, giải thuật banker, phát hiện deadlock, phục hồi deadlock. | Chương 6 Deadlocks - 2 https tailieudientucntt Câu hỏi ôn tập chương 6 - 1 Deadlock là gì Cho ví dụ trong thực tế Một tiến trình khi nào gọi là bị deadlock trì hoãn vô hạn định Khi nào sẽ xảy ra deadlock Các phương pháp giải quyết deadlock Làm gì để ngăn deadlock Làm gì để tránh deadlock 2 https tailieudientucntt Deadlocks Câu hỏi ôn tập chương 6 1 tt Sơ đồ sau có xảy ra deadlock R1 R3 P1 P2 P3 Deadlock R2 R4 3 https tailieudientucntt Deadlocks Câu hỏi ôn tập chương 6 1 tt Hệ thống có 18 tape drive và 4 tiến trình P0 P1 P2 P3 Tại thời điểm to Max Allocation Need Available P0 10 5 5 5 P1 4 2 2 3 P2 15 2 13 16 P3 10 6 4 10 4 https tailieudientucntt Deadlocks Mục tiêu Hiểu được thêm các phương pháp giải quyết deadlock Tránh deadlock Phát hiện Phục hồi Hiểu và hiện thực được giải thuật Banker 5 https tailieudientucntt Deadlocks Nội dung Giải thuật đồ thị cấp phát tài nguyên Giải thuật banker Phát hiện deadlock Phục hồi deadlock 6 https tailieudientucntt Deadlocks Giải thuật đồ thị cấp phát tài nguyên 7 https tailieudientucntt Deadlocks Giải thuật Banker Mỗi loại tài nguyên có nhiều thực thể Bắt chước nghiệp vụ ngân hàng Điều kiện Mỗi tiến trình phải khai báo số lượng thực thể tối đa của mỗi loại tài nguyên mà nó cần Khi tiến trình yêu cầu tài nguyên thì có thể phải đợi Khi tiến trình đã có được đầy đủ tài nguyên thì phải hoàn trả trong một khoảng thời gian hữu hạn nào đó 8 https tailieudientucntt Deadlocks Cấu trúc dữ liệu cho giải thuật Banker n số tiến trình m số loại tài nguyên Available vector độ dài m Available j k loại tài nguyên Rj có k instance sẵn sàng Max ma trận n m Max i j k tiến trình Pi yêu cầu tối đa k instance của loại tài nguyên Rj Allocation ma trận độ dài n m Allocation i j k Pi đã được cấp phát k instance của Rj Need ma trận độ

TỪ KHÓA LIÊN QUAN
crossorigin="anonymous">
Đã 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.