Bài tập về thuật giải nhà băng(Banker's - Algorithm) hôm thứ năm tuần vừa rồi

Đề bài: Một hệ thống có 3 máy quét hình(Scanner) và 2 tiến trình P1,P2, với trạng thái cấp phát tài nguyên ở thời điểm T[i]. Thể hiện bằng các vector allocation=(1,1) và max=(2,2). Dùng thuật giải nhà băng để:
a. C/m trạng thái này an toàn<1đ>
b. Xác định có nên đáp ứng hay không yêu cầu cấp thêm 1 máy nữa của P2<1đ>
Bài giải
a. C/m trạng thái này an toàn:

Hệ có: Available=3-(1,1)=1
Ma trận: Need[i]=max[i]-allocation[i]

P[i]	Allocation[i]	max[i]	Need[i]	Available
P1	1	2	1	1
P2	1	2	1

Tìm chuỗi an toàn:

work>=	Need[i]	P[i]	Allocation[i]
1	1	P1	1
2	1	P2	1

Hệ thống trong trạng thái an toàn vì tồn tại chuỗi <P1,P2>
b. Xác định có nên đáp ứng hay không yêu cầu cấp thêm 1 máy nữa của P2

Ta thấy yêu cầu cấp thêm 1 máy nữa của p2 thỏa điều kiện:
Request2<=Need2 vì 1<=1
Request2<=Available vì 1<=1
Chuyển sang trạng thái mới:

P[i]	Allocation[i]	max[i]	Need[i]	Available
P1	1	2	1	0
P2	2	2	0

Tìm chuỗi an toàn:

work>=	Need[i]	P[i]	Allocation[i]
0	0	P2	2
2	1	P1	1

=> Hệ thống trong trạng thái an toàn vì tồn tại chuỗi an toàn<P2,P1>
Do vậy ta có thể cấp thêm 1 máy nữa của P2 tại thời điểm này.

** Mình trình bày bài giải theo ý của mình, khó mà tránh khỏi sai sót. Mong các bạn tham khảo và cho ý kiến để bài giải hoàn thiện hơn nha.

Thanks bạn nha, bài làm cũng tất chi tiết, mình thấy vậy là ổn.

Thấy bạn phat nói vậy mình cũng yên tâm rùi, nhưng còn nhiều bài nữa.
Mình mong mấy bài sau cũng như vậy.

Nguyen Dinh Manh060(I11c) đã viết: Đề bài: Một hệ thống có 3 máy quét hình(Scanner) và 2 tiến trình P1,P2, với trạng thái cấp phát tài nguyên ở thời điểm T[i]. Thể hiện bằng các vector allocation=(1,1) và max=(2,2). Dùng thuật giải nhà băng để:
a. C/m trạng thái này an toàn<1đ>
b. Xác định có nên đáp ứng hay không yêu cầu cấp thêm 1 máy nữa của P2<1đ>
Bài giải
a. C/m trạng thái này an toàn:

Hệ có: Available=3-(1,1)=1
Ma trận: Need[i]=max[i]-allocation[i]

P[i]	Allocation[i]	max[i]	Need[i]	Available
P1	1	2	1	1
P2	1	2	1

Tìm chuỗi an toàn:

work>=	Need[i]	P[i]	Allocation[i]
1	1	P1	1
2	1	P2	1

Hệ thống trong trạng thái an toàn vì tồn tại chuỗi <P1,P2>
b. Xác định có nên đáp ứng hay không yêu cầu cấp thêm 1 máy nữa của P2

Ta thấy yêu cầu cấp thêm 1 máy nữa của p2 thỏa điều kiện:
Request2<=Need2 vì 1<=1
Request2<=Available vì 1<=1
Chuyển sang trạng thái mới:

P[i]	Allocation[i]	max[i]	Need[i]	Available
P1	1	2	1	0
P2	2	2	0

Tìm chuỗi an toàn:

work>=	Need[i]	P[i]	Allocation[i]
0	0	P2	2
2	1	P1	1

=> Hệ thống trong trạng thái an toàn vì tồn tại chuỗi an toàn<P2,P1>
Do vậy ta có thể cấp thêm 1 máy nữa của P2 tại thời điểm này.

** Mình trình bày bài giải theo ý của mình, khó mà tránh khỏi sai sót. Mong các bạn tham khảo và cho ý kiến để bài giải hoàn thiện hơn nha.

Mình cảm ơn bạn nhé! bạn giải rất chi tiết và mình đã làm được rồi .

thanks bạn nhiều giờ này mình đã hiểu cách làm bài này rồi.

- Các bạn cần chú ý đề bài nha:
Vì nếu đề bài yêu cầu là chỉ c/m trạng thái an toàn thì chúng ta tìm 1 chuỗi là đủ
Nếu mà đề bài yêu cầu tìm tất cả các chuỗi, thì phải tìm tiếp......tìm cho hết những chuỗi còn lại(phù hợp với yêu cầu đề bài).

Bài giải rất chi tiết làm mình hiểu rất nhiều mình sẽ áp dụng mẫu này để làm bài tập dạng này trong bài thi.
Thank các bạn nhiều làm mình hiểu dạng bài tập này.

Nhờ đọc bài này cũng nắm được cơ bản rồi, cảm ơn bạn.

Nguyen Dinh Manh060(I11c) đã viết: Đề bài: Một hệ thống có 3 máy quét hình(Scanner) và 2 tiến trình P1,P2, với trạng thái cấp phát tài nguyên ở thời điểm T[i]. Thể hiện bằng các vector allocation=(1,1) và max=(2,2). Dùng thuật giải nhà băng để:
a. C/m trạng thái này an toàn<1đ>
b. Xác định có nên đáp ứng hay không yêu cầu cấp thêm 1 máy nữa của P2<1đ>
Bài giải
a. C/m trạng thái này an toàn:

Hệ có: Available=3-(1,1)=1
Ma trận: Need[i]=max[i]-allocation[i]

P[i]	Allocation[i]	max[i]	Need[i]	Available
P1	1	2	1	1
P2	1	2	1

Tìm chuỗi an toàn:

work>=	Need[i]	P[i]	Allocation[i]
1	1	P1	1
2	1	P2	1

Hệ thống trong trạng thái an toàn vì tồn tại chuỗi <P1,P2>
b. Xác định có nên đáp ứng hay không yêu cầu cấp thêm 1 máy nữa của P2

Ta thấy yêu cầu cấp thêm 1 máy nữa của p2 thỏa điều kiện:
Request2<=Need2 vì 1<=1
Request2<=Available vì 1<=1
Chuyển sang trạng thái mới:

P[i]	Allocation[i]	max[i]	Need[i]	Available
P1	1	2	1	0
P2	2	2	0

Tìm chuỗi an toàn:

work>=	Need[i]	P[i]	Allocation[i]
0	0	P2	2
2	1	P1	1

=> Hệ thống trong trạng thái an toàn vì tồn tại chuỗi an toàn<P2,P1>
Do vậy ta có thể cấp thêm 1 máy nữa của P2 tại thời điểm này.

** Mình trình bày bài giải theo ý của mình, khó mà tránh khỏi sai sót. Mong các bạn tham khảo và cho ý kiến để bài giải hoàn thiện hơn nha.

Bạn trình bày rất chi tiết, cảm ơn bạn nhé.