หากฉันมีโปรแกรมที่รันด้วยเธรดและเรียกใช้fork()บนระบบที่ใช้ระบบปฏิบัติการยูนิกซ์ระบบจะคัดลอกเธรดหรือไม่ ฉันรู้ว่าหน่วยความจำเสมือนสำหรับกระบวนการปัจจุบันจะถูกคัดลอก 1: 1 ไปยังกระบวนการใหม่ที่เกิดขึ้น ฉันรู้ว่าเธรดมีสแต็กของตนเองในหน่วยความจำเสมือนของกระบวนการ ดังนั้นอย่างน้อยสแต็กของเธรดควรถูกคัดลอกด้วยเช่นกัน อย่างไรก็ตามฉันไม่ทราบว่ามีเธรดอื่น ๆ อีกมากมายที่ไม่ได้อยู่ในหน่วยความจำเสมือนและไม่ได้คัดลอกไป หากไม่มีให้ทำกระบวนการทั้งสองแบ่งปันหัวข้อหรือพวกเขาเป็นอิสระคัดลอก?
คำตอบ:
fork()กระทู้จะไม่คัดลอกบน POSIX ระบุว่า (เน้นเป็นของฉัน):
ทางแยก - สร้างกระบวนการใหม่
กระบวนการจะถูกสร้างขึ้นด้วยหัวข้อเดียว หากกระบวนการแบบมัลติเธรดเรียก fork () กระบวนการใหม่จะต้องมีเรพลิกาของเธรดการโทรและพื้นที่แอดเดรสทั้งหมดซึ่งอาจรวมถึงสถานะของ mutexes และทรัพยากรอื่น ๆ ดังนั้นเพื่อหลีกเลี่ยงข้อผิดพลาดกระบวนการลูกอาจดำเนินการการดำเนินการแบบ async-signal-safe จนกว่าจะถึงเวลาที่เรียกใช้ฟังก์ชัน exec อย่างใดอย่างหนึ่ง
เพื่อหลีกเลี่ยงปัญหานี้จึงมีpthread_atfork()ฟังก์ชั่นช่วยเหลือ
คนส้อม :
กระบวนการลูกถูกสร้างขึ้นด้วยเธรดเดียว - หนึ่งที่เรียกว่าส้อม () พื้นที่แอดเดรสเสมือนทั้งหมดของพาเรนต์ถูกเรพลิเคทในชายด์รวมถึงสถานะของ mutexes ตัวแปรเงื่อนไขและอ็อบเจ็กต์ pthreads อื่น ๆ การใช้ pthread_atfork (3) อาจมีประโยชน์สำหรับการจัดการกับปัญหาที่อาจทำให้เกิด
จาก The Open Group Base Specifications ฉบับที่ 7, 2018 edition ส้อม :
กระบวนการจะถูกสร้างขึ้นด้วยเธรดเดียว หากกระบวนการแบบมัลติเธรดเรียกfork ()กระบวนการใหม่จะต้องมีเรพลิกาของเธรดการโทรและพื้นที่แอดเดรสทั้งหมดซึ่งอาจรวมถึงสถานะของ mutexes และทรัพยากรอื่น ๆ ดังนั้นเพื่อหลีกเลี่ยงข้อผิดพลาดกระบวนการลูกอาจดำเนินการการดำเนินการแบบ async-signal-safe จนกว่าจะถึงเวลาที่เรียกใช้ฟังก์ชันexecอย่างใดอย่างหนึ่ง
เมื่อแอ็พพลิเคชันเรียกfork ()จากตัวจัดการสัญญาณและ fork fork ใด ๆ ที่ลงทะเบียนโดยpthread_atfork ()เรียกใช้ฟังก์ชันที่ไม่เป็น async-signal-safe ลักษณะการทำงานจะไม่ได้กำหนดไว้
เดิมที "fork" นั้นสามารถทำได้โดยการเขียนภารกิจลงดิสก์แล้วแทนที่จะอ่านในเธรดอื่น (ซึ่งจะทำถ้าสลับงานกับอันที่ต่างออกไป) การแก้ไข ID งานของอิมเมจยังคงอยู่ในหน่วยความจำและดำเนินการต่อ ด้วยการดำเนินการของมัน (เป็นงานใหม่) นี่คือการปรับเปลี่ยนที่ง่ายมากกับกลไกการสลับงานพื้นฐานซึ่งมีเพียงงานเดียวเท่านั้นที่จะครอบครองหน่วยความจำแรมในแต่ละครั้ง
แน่นอนว่าเมื่อการจัดการหน่วยความจำมีความละเอียดมากขึ้นชุดรูปแบบนี้ได้รับการแก้ไขเพื่อให้เหมาะกับสภาพแวดล้อมใหม่