Một hệ thống có 3 loại tài nguyên (A, B, C) và 5 tiến trình (P0, P1, P2, P3, P4) kèm theo... Tiến trình P1 yêu cầu tài nguyên là (2, 0, 1). Sử dụng giải thuật Banker, cho biết có thể thực hiện yêu cầu cấp phát tài nguyên này hay không?
Bài tập Tắc nghẽn Một số thuật ngữ: Max: Yêu cầu ban đầu (ma trận mxn, với m số dòng - ứng với số lượng tiến trình, n cột - ứng với số lượng tài nguyên) Trong số tài liệu, người ta thường dùng từ Request thay cho Max Allocation: Đã cấp phát (ma trận mxn) Available: Tài nguyên lại (ma trận 1xn) Need: Nhu cầu lại (ma trận mxn, xác định sau: Need[i,j] = Max[i,j] – Allocation[i,j]) Số tài nguyên loại: Allocation[j] + Available[j] Bài Một hệ thống có loại tài nguyên (A, B, C) tiến trình (P0, P1, P2, P3, P4) kèm theo thông số mô tả bảng sau Allocation Max Available A B C A B C A B C P0 10 P1 P2 6 2 P3 P4 1 Tiến trình P1 yêu cầu tài nguyên (2, 0, 1) Sử dụng giải thuật Banker, cho biết thực yêu cầu cấp phát tài nguyên hay không? GIẢI Bước 1: Kiểm tra Request Thu hồi tài nguyên Work = Work + Allocation (P1)=(6, 3, 4) + (5, 2, 2) = (11, 5, 6) => Xét lại vòng lập Với P0: 7 False Với P3: 3 True => Thu hồi tài nguyên Work = Work + Allocation (P3)=11 + = 11 => Xét lại vòng lập Với P0: 7 True => Thu hồi tài nguyên Work = Work + Allocation (P0)=11 + = 14 => Xét lại vòng lập Với P4: 3 True => Thu hồi tài nguyên Work = Work + Allocation (P4)=14 + 1 = 15 9 Tìm thấy chuỗi cấp phát an tồn {P2, P1, P3, P0, P4} nên thực cấp phát tài nguyên cho P1 Bài Một hệ thống có loại tài nguyên (A, B, C) tiến trình (P0, P1, P2, P3, P4) kèm theo thông số mô tả bảng sau Allocation Max Available A B C A B C A B C P0 10 P1 P2 6 2 P3 P4 1 Tiến trình P1 yêu cầu tài nguyên (1, 1, 0) Sử dụng giải thuật Banker, cho biết thực yêu cầu cấp phát tài nguyên hay không? GIẢI Bước 1: Kiểm tra Request