We claim that the system is current

We claim that the system is currently in a safe state. Indeed, the sequence satisfies the safety criteria.
Suppose now that process P1 requests one additional instance of resource type Aand two instances of resource type C,
so Request1 = (1,0,2). To decide whether this request can be immediately granted,
we first check that Request1

ผลลัพธ์ (ไทย) 1:

เราอ้างว่าระบบอยู่ในสถานะที่ปลอดภัยในปัจจุบัน แน่นอนลำดับ ตรงเกณฑ์ความปลอดภัย
คิดว่าตอนนี้ p1 กระบวนการที่ร้องขอหนึ่งตัวอย่างเพิ่มเติมของชนิดของทรัพยากร aand สองกรณีของชนิดของทรัพยากร C,
request1 ดังนั้น = (1,0,2) เพื่อตัดสินใจว่าคำขอนี้สามารถได้รับทันที
ครั้งแรกที่เราตรวจสอบว่า request1 <= ใช้ได้นั่นคือ (1,0,2) <= (3,3,2) ซึ่งเป็นความจริง เราก็แกล้งทำเป็นว่าคำขอนี้ได้รับการเติมเต็ม,
และเรามาถึงที่รัฐใหม่ต่อไปนี้

ผลลัพธ์ (ไทย) 2:

เราอ้างว่า ระบบอยู่ในสถานะปลอดภัย แน่นอน ลำดับ < P1, P3, P4, p 2, P0 > ตรงเกณฑ์ความปลอดภัย
สมมติว่าตอนนี้ว่ากระบวนการ P1 ขอหนึ่งเพิ่ม อินสแตนซ์ของทรัพยากรชนิด Aand สองอินสแตนซ์ของชนิดทรัพยากร C,
Request1 ดังนั้น = (1,0,2) การตัดสินใจว่า คำขอนี้จะได้ทันทีรับ,
เราต้องตรวจสอบว่า Request1 < =มีคือ ที่ (1,0,2) < = (33.2), ซึ่งเป็นจริง เราแล้วทำเป็นว่า คำขอนี้ได้แล้ว,
และเรามาถึงรัฐใหม่ต่อไปนี้:

ผลลัพธ์ (ไทย) 3:

เราอ้างว่าระบบที่มีอยู่ในปัจจุบันในรัฐที่มีความ ปลอดภัย จริงๆแล้วตามลำดับ< p 1 P 3 P 4 P 2 P 0 >ได้เกณฑ์ความ ปลอดภัย
1 คำขอในขณะนี้คิดว่ากระบวนการที่ P aand หนึ่งเพิ่มเติมของ ประเภท ของทรัพยากรสองกรณีของ ประเภท ของทรัพยากร C
ดังนั้นขอ 1 =( 1,0,2 ) การที่จะตัดสินว่าคำขอนี้สามารถได้รับทันที
แรกเราตรวจสอบคำขอ 1 <=ที่มีอยู่ว่ามีที่( 1,0,2 )<=( 33,2 )ซึ่งเป็นความจริง. จากนั้นเราจะเสแสร้งว่าคำขอนี้ได้รับการจัดหาโดย - -
และเราจะได้เข้าถึงที่รัฐใหม่ต่อไปนี้: