Let Requesti be the request vector

Let Requesti be the request vector for process Pi.
If Requesti [j] == k,then process Pi wants kinstances of resource type Rj.
When a request for resources is made by process Pi, the following actions are taken:

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

ให้ requesti เป็นเวกเตอร์ขอปี่กระบวนการ.
ถ้า requesti [j] == k แล้วปี่กระบวนการต้องการ kinstances ประเภททรัพยากร rj
เมื่อมีการร้องขอสำหรับทรัพยากรที่จะทำด้วย pi กระบวนการดำเนินการต่อไปจะได้รับ:

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

ให้ Requesti เป็นเวกเตอร์คำขอสำหรับกระบวนปี่
ถ้า Requesti [j] == k แล้วกระบวนปี่ต้อง kinstances ของชนิดทรัพยากร Rj.
เมื่อทำการร้องขอสำหรับทรัพยากรตามกระบวนปี่ มีดำเนินการดำเนินการต่อไปนี้:

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

ปล่อยให้ requesti เป็นเวกเตอร์การร้องขอ PI .
หาก requesti [ J ] PI แล้วกระบวนการ== K ต้องการ kinstances ของ rj. ประเภท ของทรัพยากร
เมื่อการดำเนินการตามคำขอสำหรับทรัพยากรจะทำได้โดย PI ขั้นตอนการดำเนินการต่อไปนี้จะเกิดขึ้น