The monitor construct ensures that

The monitor construct ensures that only one process at a time is active
within the monitor. Consequently, the programmer does not need to code
this synchronization constraint explicitly (Figure 5.16). However, the monitor
construct, as defined so far, is not sufficiently powerful for modeling some
synchronization schemes. For this purpose, we need to define additional synchronization
mechanisms. These mechanisms are provided by the condition
construct. A programmer who needs to write a tailor-made synchronization
scheme can define one or more variables of type condition:

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

สร้างการตรวจสอบเพื่อให้แน่ใจว่ามีเพียงหนึ่งขั้นตอนในเวลาที่มีการใช้งาน
ภายในจอแสดงผล ดังนั้นโปรแกรมเมอร์ไม่จำเป็นต้องเขียนโค้ด
ข้อ จำกัด การประสานนี้อย่างชัดเจน (คิด 5.16) แต่จอ
สร้างตามที่กำหนดไว้เพื่อให้ห่างไกลไม่ได้มีประสิทธิภาพเพียงพอในการสร้างแบบจำลองบาง
แผนการประสาน เพื่อวัตถุประสงค์นี้เราจำเป็นต้องกำหนดให้ตรงกันเพิ่มเติม
กลไก กลไกเหล่านี้มีที่มาจากสภาพ
สร้าง โปรแกรมที่จำเป็นต้องเขียนโครงการประสาน
ตัดสามารถกำหนดตัวแปรหนึ่งหรือมากกว่าหนึ่งของสภาพประเภท:

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

สร้างจอภาพเพื่อให้แน่ใจว่ากระบวนการเดียวที่ใช้งานอยู่
ภายในจอภาพ ดังนั้น ผู้เขียนโปรแกรมไม่จำเป็นต้องรหัส
ข้อจำกัดตรงนี้อย่างชัดเจน (รูปที่ 5.16) อย่างไรก็ตาม จอภาพ
สร้าง ฉะนี้ กำหนดเป็นไม่มีประสิทธิภาพเพียงพอสำหรับการสร้างโมเดลบาง
แผนงานการทำข้อมูลให้ตรงกัน สำหรับวัตถุประสงค์นี้ เราต้องกำหนดตรงเพิ่มเติม
กลไกการ กลไกเหล่านี้โดยเงื่อนไข
สร้าง โปรแกรมเมอร์ที่เขียนตรงดีเสมอ
โครงร่างสามารถแปรชนิดเงื่อนไข:

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

สร้างจอมอนิเตอร์จะช่วยให้แน่ใจว่าเพียงกระบวนการหนึ่งในช่วงเวลาที่มีการใช้งาน
ภายใน จอมอนิเตอร์ที่ ดังนั้นจึงมีผลทำให้ผลเครื่องตั้งโปรแกรมที่ไม่จำเป็นต้องเป็นรหัส
บังคับการซิงโครไนซ์นี้อย่างชัดเจน(รูปที่ 5.16 ) แต่จอมอนิเตอร์
ก่อสร้างตามที่กำหนดดังนั้นจึงไม่มีไม่มีพลังมากพอสำหรับการสร้างแบบจำลองแผนร่างการทำงาน( Schemes )
การซิงโครไนซ์บางอย่าง สำหรับการใช้งานนี้เราจำเป็นต้องกำหนดการซิงโครไนซ์เพิ่มเติม
กลไก. กลไกเหล่านี้ได้รับการจัดหาโดย สภาพ
สร้างได้ เครื่องตั้งโปรแกรมที่ต้องการจะเขียนการซิงโครไนซ์ทำขึ้นในแบบที่เหมาะสมที่
โครงสร้างสามารถกำหนดหนึ่งหรือมากกว่าเป็นตัวแปรของ สภาพ พิมพ์สัญลักษณ์