http://lxr.linux.no/linux+v2.6.35/include/linux/preempt.h#L21
ฉันแค่พยายามรับแหล่งลินุกซ์ ฉันเห็นการนับการจองนี้และ linux จะแน่ใจได้อย่างไรว่าการนับการจองเป็นแบบอะตอมมิก รหัสเพียงเพิ่มค่า
ฉันยังมีอีกคำถามหนึ่ง เหตุใดตัวจัดการขัดจังหวะจึงต้องคงการยกเว้นซึ่งกันและกัน เพราะสามารถดำเนินการได้ครั้งละหนึ่งรายการเท่านั้นใช่ไหม
นอกจากนี้เมื่อปิดการใช้งานการขัดจังหวะ OS ทำอะไร? ละเว้นการขัดจังหวะหรือรักษาคิว ?
มันเพิ่มขึ้น preempt_count() - สังเกต () - ซึ่งเป็นมาโครที่ถูกกำหนดเป็น:
#define preempt_count() (current_thread_info()->preempt_count)
ดังนั้นจึงเป็นการเพิ่มตัวแปรต่อเธรด ซึ่งไม่จำเป็นต้องล็อคใดๆ และปลอดภัย
วิธีที่ดีที่สุดคือถามคำถามหลายข้อแยกกัน แต่ถามสั้นๆ ดังนี้
การดำเนินการกับตัวแปร preempt_count ไม่ใช่อะตอมมิก ขอบเขตโค้ดระหว่าง inc และ dec ของ preempt_count ของเธรดรับประกันว่าจะไม่ถูกเปลี่ยนโดยผู้กำหนดตารางเวลา การสลับบริบทจากเธรดปัจจุบันในภูมิภาคโค้ดนี้สามารถเกิดขึ้นได้ในข้อยกเว้นหรือการขัดจังหวะแบบฝังเพิ่มเติมเท่านั้น หลังจากการดำเนินการ inc ครั้งแรกเสร็จสมบูรณ์ ตัวจัดการเพิ่มเติมจะเห็นว่าตัวแปรไม่เป็นศูนย์ จึงไม่ทำให้เกิดการสลับบริบท ก่อนที่ inc จะเสร็จสิ้น สามารถเปลี่ยนเธรดออกได้ แต่ก็ไม่เป็นไร เนื่องจากโค้ดยังไม่ถึงบริเวณที่มีการป้องกัน
รายละเอียดบางประการ: คำจำกัดความของตัวแปรอะตอมมิกควรเป็นเช่น "ตัวแปรอะตอมมิกคือตัวแปรนั้น ซึ่งการดำเนินการอ่านแก้ไขเขียนเสร็จสิ้นเป็นคำสั่งเดียวโดยไม่มีการหยุดชะงัก" การดำเนินการ "อ่าน-แก้ไข-เขียน" บน preempt_count สามารถถูกขัดจังหวะโดยตัวจัดการข้อยกเว้นอื่นหรือตัวจัดการขัดจังหวะ แต่ในลักษณะที่ฝังอย่างเคร่งครัดเท่านั้น ซึ่งเกิดจากการออกแบบเคอร์เนล เนื่องจากการดำเนินการแบบฝังเหล่านี้เป็นคู่ ดังนั้นค่าของ preempt_count จะไม่เสียหายในที่สุด แม้ว่าการดำเนินการ RMW อาจถูกขัดจังหวะและสามารถเปลี่ยนเธรดปัจจุบันออกได้ (เฉพาะในกรณีที่ไม่มี inc แบบฝังหลายตัวที่เสร็จสมบูรณ์) แต่ก็ไม่เป็นไรเนื่องจากโค้ดยังไม่ถึงภูมิภาคที่มีการป้องกัน เมื่อเธรดถูกเปลี่ยนกลับ การดำเนินการ R-M-W จะยังคงเสร็จสิ้น และจากจุดนั้นบนเธรดปัจจุบันจะไม่ถูกปิดจนกว่า dec ที่จับคู่ทั้งหมดจะเสร็จสิ้น
โปรเซสเซอร์สมัยใหม่ทุกตัวมีคำสั่ง test-and-set ที่แตกต่างกันออกไป
