สมมติว่าเรามีเธรดบางตัวที่ต้องการตรวจสอบเมื่อเธรดอื่นเสร็จสิ้นภารกิจ ฉันได้อ่านแล้วว่าเราควรเรียกใช้ฟังก์ชันการรอ () ประเภทที่จะทำให้เธรดนี้รอจนกว่าจะได้รับการแจ้งเตือนว่าเธรดอื่นเสร็จสิ้นแล้ว และนี่เป็นสิ่งที่ดีเพราะมันหมายความว่าเราไม่ได้ทำการสำรวจที่มีราคาแพง
แต่การเลือกตั้งไม่เกิดขึ้นภายในระดับล่าง คือถ้าเราให้เธรดรอ () ไม่ใช่โพลที่ทำการสำรวจเพื่อตรวจสอบว่าเธรดอื่นเสร็จสิ้นแล้วหรือไม่เพื่อให้สามารถแจ้งเธรดแรกได้
ฉันคิดว่าฉันพลาดอะไรบางอย่างที่นี่ใครบางคนสามารถสอนฉันได้ไหม
คำตอบ:
ระบบปฏิบัติการจัดเตรียมการเบื้องต้นสำหรับการสื่อสารระหว่างกระบวนการชนิดนี้ซึ่งไม่ต้องการการโพล
หากกระบวนการ A กำลังรอ mutex M ระบบปฏิบัติการจะรู้ว่า A ไม่สามารถรันและทำให้มันอยู่ในกลุ่มของกระบวนการเพื่อรอสิ่งที่จะเกิดขึ้น เมื่อกระบวนการที่ถือ M ปล่อยออกมาระบบปฏิบัติการจะดูรายการกระบวนการที่รออยู่ ขั้นตอนแรกในรายการอาจจะได้รับการออกจากถังไม่ได้ใช้งานและวางบนคิววิ่ง ครั้งต่อไปที่ A ได้รับการแบ่งเวลาการรอ () ที่เรียกว่าจะกลับมาและโปรแกรมจะดำเนินต่อไป
_exit(2)บนระบบ POSIX-y) หรือโดยไม่สมัครใจ (เช่นข้อผิดพลาดเช่นหารด้วยศูนย์ทำให้เกิดการขัดจังหวะหรือการโทรอื่นkill(2)) ไม่ว่าในกรณีใดการควบคุมจะถูกส่งกลับไปยัง OS อย่างชัดเจนซึ่งรู้ว่ากระบวนการใดกำลังทำงานอยู่หรือถูกฆ่า งานการสิ้นสุดกระบวนการรวมถึงการปลดปล่อยทรัพยากรของมันรวมถึง mutexes หาก mutex ถูกยึดครองโดยกระบวนการที่ตายแล้ว OS จะปล่อยออกมา หากกระบวนการอยู่ในรายการรอของ mutex กระบวนการนั้นจะถูกลบออก