Mutual Exclusion - If process Pi is

Mutual Exclusion - If process Pi is executing in its critical section, then no other processes can be executing in their critical sections
Progress - If no process is executing in its critical section
exist some processes that wish to enter their critical section
the selection of the processes that will enter the critical section next cannot be postponed indefinitely
Bounded Waiting - A bound must exist on the number of times that other processes are allowed to enter their critical sections
after a process has made a request to enter its critical section and before that request is granted

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

แยกออกซึ่งกันและกัน - ถ้ากระบวนปี่กำลังดำเนินการในส่วนสำคัญ แล้วกระบวนไม่สามารถจะดำเนินการในส่วนที่สำคัญของพวกเขาความคืบหน้า - ถ้าไม่มีกระบวนการกำลังดำเนินการในส่วนสำคัญ มีกระบวนการบางอย่างที่ต้องการป้อนส่วนที่สำคัญของพวกเขาการเลือกกระบวนการที่จะป้อนส่วนสำคัญถัดไปไม่สามารถจะเลื่อนไม่มีกำหนดรอกี่ - A ผูกต้องมีอยู่ในจำนวนครั้งที่อนุญาตให้ป้อนส่วนสำคัญของกระบวนการอื่น ๆ หลัง จากกระบวนการทำการร้องขอเพื่อป้อนเป็นส่วนที่สำคัญ และ ก่อนได้รับการร้องขอ

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

ยกเว้นรวม - หากกระบวนการ Pi มีการดำเนินการในส่วนที่สำคัญของมันแล้วไม่มีกระบวนการอื่น ๆ
ที่สามารถดำเนินการในส่วนที่สำคัญของพวกเขาความคืบหน้า- หากกระบวนการไม่มีการดำเนินการในส่วนที่สำคัญที่มีอยู่กระบวนการบางอย่างที่ต้องการที่จะเข้าสู่ส่วนที่สำคัญของพวกเขาเลือกของกระบวนการที่ที่จะเข้าสู่ส่วนที่สำคัญต่อไปไม่สามารถเลื่อนออกไปอย่างไม่มีกำหนดขอบเขตรอ - ความผูกพันจะต้องมีอยู่กับจำนวนครั้งที่กระบวนการอื่น ๆ ได้รับอนุญาตให้เข้าไปในส่วนที่สำคัญของพวกเขาหลังจากที่กระบวนการที่ได้ทำคำขอเพื่อเข้าสู่ส่วนที่สำคัญและก่อนที่จะขอให้เป็นได้รับ

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

ร่วมกันยกเว้นถ้าปี่กระบวนการดำเนินในส่วนที่สำคัญแล้ว ไม่มีกระบวนการอื่น ๆสามารถดำเนินการในส่วนของตนมีความก้าวหน้า ถ้าไม่มีกระบวนการ

ส่วนของการดำเนินในมีอยู่กระบวนการว่าต้องการใส่ของสำคัญส่วน
การของกระบวนการที่จะระบุส่วนที่สำคัญถัดไปจะเลื่อนไปเรื่อย ๆ
จำกัดรอ - ผูกพันจะต้องมีอยู่ในจำนวนครั้งที่กระบวนการอื่น ๆได้รับอนุญาตให้ระบุส่วนที่สำคัญของพวกเขา
หลังจากกระบวนการได้ขอร้องให้ใส่ของสำคัญ ส่วนก่อนหน้านั้นขอมอบให้