Giải bài 2

[ThanhNhan_I83C]

	Máy in	Băng từ
P0	Đang được cấp	Xin được cấp
P1	Xin được cấp	Đang được cấp
P2		Đang được cấp

Sơ đồ RAG

Các bạn nhìn thấy chu trình đúng không nào? Nhưng thật ra trạng thái này là an toàn, vì sao ???
Các bạn thấy rằng P2 đang giữ 1 phiên bản ổ băng từ, đến lúc nào đó P2 sẽ xong việc, lúc đó ổ băng từ sẽ cấp cho P0, lúc này P0 sẽ đủ tài nguyên để làm việc & khi P0 kết thúc, P1 sẽ làm việc được. Do đó ta sẽ thấy tồn tại chuỗi an toàn <P2, P0, P1>
Chứng minh:

	Allocation		Need		Available
	A	B	A	B	A	B
P0	1	0	0	1	0	0
P1	0	1	1	0
P2	0	1	0	0

Work		Need		Pi	Allocation
A	B	A	B		A	B
0	0	0	0	P2	0	1
0	1	0	1	P0	1	0
1	1	1	0	P1	0	1

=> Tồn tại chuỗi an toàn <P2, P0, P1

[Sang-I83C]

nhưng nếu bây giờ P2 yêu cầu thêm 1 ổ băng hay 1 máy in thì bài toán sẽ khác

[NhutNguyen]

	Máy in	Băng từ
P0	Đang được cấp	Xin được cấp
P1	Xin được cấp	Đang được cấp
P2		Đang được cấp

Sơ đồ RAG

Các bạn nhìn thấy chu trình đúng không nào? Nhưng thật ra trạng thái này là an toàn, vì sao ???
Các bạn thấy rằng P2 đang giữ 1 phiên bản ổ băng từ, đến lúc nào đó P2 sẽ xong việc, lúc đó ổ băng từ sẽ cấp cho P0, lúc này P0 sẽ đủ tài nguyên để làm việc & khi P0 kết thúc, P1 sẽ làm việc được. Do đó ta sẽ thấy tồn tại chuỗi an toàn <P2, P0, P1>
Chứng minh:

	Allocation		Need		Available
	A	B	A	B	A	B
P0	1	0	0	1	0	0
P1	0	1	1	0
P2	0	1	0	0

Work		Need		Pi	Allocation
A	B	A	B		A	B
0	0	0	0	P2	0	1
0	1	0	1	P0	1	0
1	1	1	0	P1	0	1

=> Tồn tại chuỗi an toàn <P2, P0, P1

Tuy RAG có vòng tròn đồng hướng, nhưng tài nguyên băng từ có nhiều phiên bản(2) mà nên trạng thái chỉ là có khả năng deadlock xảy ra thôi.

[Sang-I83C]

Mình đâu nói là có Deadlock! Trong bài kiểm tra mình trả lời là trạng thái không an toàn thôi

[Sponsored content]