P0 and P1 can never be in the criti

P0 and P1 can never be in the critical section at the same time: If P0 is in its critical section, then flag[0] is true. In addition, either flag[1] is false (meaning P1 has left its critical section), or turn is 0 (meaning P1 is just now trying to enter the critical section, but graciously waiting), or P1 is at label P1_gate (trying to enter its critical section, after setting flag[1] to true but before setting turn to 0 and busy waiting). So if both processes are in their critical sections then we conclude that the state must satisfy flag[0] and flag[1] and turn = 0 and turn = 1. No state can satisfy both turn = 0 and turn = 1, so there can be no state where both processes are in their critical sections. (This recounts an argument that is made rigorous in

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

P0 และ P1 ไม่สามารถในส่วนที่สำคัญในเวลาเดียวกัน: ถ้า P0 เป็นส่วนสำคัญของมัน แล้วธง [0] เป็นจริงได้ นอกจากนี้ หรือตั้งค่าสถานะ [1] เป็นเท็จ (หมายถึง P1 จากนั้นส่วนที่สำคัญ), หรือเปิดเป็น 0 (ความหมาย P1 เดี๋ยวพยายามป้อนส่วนสำคัญ แต่รอปรมิ), หรือ P1 ที่ป้าย P1_gate (พยายามจะป้อนเป็นส่วนที่สำคัญ หลัง จากตั้งค่าสถานะ [1] เป็น true แต่ ก่อนตั้งค่าเปิด 0 และรอว่าง) ดังนั้นถ้ากระบวนการทั้งในส่วนที่สำคัญของพวกเขา แล้วเราสรุปว่า รัฐต้องตอบสนอง [0] ธงชาติและธงชาติ [1] และเปิด = 0 และเปิด = 1 รัฐไม่สามารถตอบสนองทั้งเปิด = 0 และเปิด = 1 เพื่อให้สามารถมีกระบวนการทั้งที่ในส่วนสำคัญของรัฐไม่ได้ (นี้ recounts อาร์กิวเมนต์ที่จะเข้มงวดใน

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

P0 และ P1 ไม่สามารถจะอยู่ในส่วนที่สำคัญในเวลาเดียวกันถ้า P0 อยู่ในส่วนที่สำคัญของมันแล้วธง [0] เป็นความจริง นอกจากนี้ทั้งธง [1] เป็นเท็จ (หมายถึง P1 ได้ทิ้งส่วนที่สำคัญของมัน) หรือเปิดเป็น 0 (หมายถึง P1 เป็นเพียงแค่ตอนนี้พยายามที่จะเข้าส่วนที่สำคัญ แต่เกล้าฯรอ) หรือ P1 ที่ฉลาก P1_gate (พยายาม ที่จะเข้าสู่ส่วนที่สำคัญของตนหลังจากตั้งธง [1] เป็นจริง แต่ก่อนที่จะตั้งหันไป 0 และไม่ว่างรอ) ดังนั้นหากกระบวนการทั้งสองอยู่ในส่วนที่สำคัญของพวกเขาแล้วเราสรุปได้ว่ารัฐต้องตอบสนองธง [0] และธง [1] และเปิด = 0 และเปิด = 1. รัฐไม่สามารถตอบสนองทั้งเปิด = 0 และเปิด = 1 จึงมี จะไม่มีรัฐที่กระบวนการทั้งสองอยู่ในส่วนที่สำคัญของพวกเขา (ซึ่งเนื้อหาข้อโต้แย้งว่าจะทำอย่างเข้มงวดใน

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

P0 P1 และไม่เคยมีในส่วนที่สำคัญในเวลาเดียวกัน : ถ้า PO อยู่ในส่วนวิกฤติแล้วธง [ 0 ] เป็นจริง นอกจากนี้ ทั้งธง [ 1 ] เป็นเท็จ ( หมายถึง P1 ได้ทิ้งของสำคัญส่วน ) หรือเปลี่ยนเป็น 0 ( หมายถึง P1 คือตอนนี้พยายามที่จะระบุส่วนที่สำคัญแต่งดงามรออยู่ ) หรือ P1 ที่ p1_gate ฉลาก ( พยายามใส่ของสำคัญ ส่วนหลังจากตั้งค่า ] [ 1 ธงจริง แต่ก่อนที่จะเปิดการตั้งค่าเป็น 0 และไม่ว่างรอ ) ดังนั้นถ้าทั้งกระบวนการในส่วนที่สำคัญของพวกเขา แล้วเราสรุปได้ว่า รัฐต้องตอบสนอง และธงธง [ 0 ] [ 1 ] และเปิด = 0 และเปิด = 1 ไม่มีรัฐสามารถตอบสนองทั้งปิดและเปิด = 0 = 1 ดังนั้นจะไม่มีสภาพที่ทั้งกระบวนการในส่วนที่สำคัญของพวกเขา( นี่เล่าอาร์กิวเมนต์ที่ถูกสร้างอย่างเข้มงวดใน