การสื่อสารระหว่างกระบวนการ (Inter-Process Communication หรือ IPC) เป็นกลไกที่ช่วยให้กระบวนการต่างๆ สามารถสื่อสารและแบ่งปันข้อมูลระหว่างกันได้ในขณะที่กำลังทำงานอยู่ เนื่องจากแต่ละกระบวนการมีพื้นที่หน่วยความจำของตนเอง IPC จึงมีวิธีการควบคุมสำหรับการแลกเปลี่ยนข้อมูลและการประสานงานการกระทำต่างๆ ช่วยให้กระบวนการต่างๆ ทำงานร่วมกันได้อย่างมีประสิทธิภาพและปลอดภัยในระบบปฏิบัติการ

• มันช่วยให้กระบวนการต่างๆ ประสานกิจกรรม แบ่งปันข้อมูล และหลีกเลี่ยงความขัดแย้งขณะเข้าถึงทรัพยากรที่ใช้ร่วมกัน
• การสื่อสารระหว่างกระบวนการ (IPC) มีสองวิธี ได้แก่ การใช้หน่วยความจำร่วมกันและการส่งข้อความ ระบบปฏิบัติการสามารถนำวิธีการสื่อสารทั้งสองวิธีมาใช้ได้

ตัวอย่าง : ตัวอย่างง่ายๆ ของ IPC คือระบบตู้เอทีเอ็มของธนาคาร ซึ่งกระบวนการหนึ่งอ่านบัตรและรหัส PIN อีกกระบวนการหนึ่งตรวจสอบยอดเงินในบัญชี และกระบวนการที่สามจ่ายเงินสด กระบวนการเหล่านี้สื่อสารและประสานงานกันเพื่อให้การทำธุรกรรมเสร็จสมบูรณ์อย่างถูกต้อง

หน่วยความจำที่ใช้ร่วมกัน

การสื่อสารระหว่างกระบวนการโดยใช้หน่วยความจำร่วมกันนั้น จำเป็นต้องใช้ส่วนของหน่วยความจำร่วมกัน ซึ่งการเขียนโปรแกรมจะเป็นหน้าที่ของโปรแกรมเมอร์ กระบวนการต่างๆ สามารถใช้หน่วยความจำร่วมกันเพื่อดึงข้อมูลเป็นบันทึกจากกระบวนการอื่น รวมถึงส่งข้อมูลเฉพาะใดๆ ไปยังกระบวนการอื่นๆ ได้ด้วย

• ในแบบจำลองหน่วยความจำร่วมที่กล่าวมาข้างต้น พื้นที่หน่วยความจำส่วนกลางจะถูกจัดสรรโดยเคอร์เนล
• กระบวนการ A เขียนข้อมูลลงในพื้นที่หน่วยความจำที่ใช้ร่วมกัน (ขั้นตอนที่ 1)
• จากนั้นกระบวนการ B สามารถอ่านข้อมูลนี้โดยตรงจากพื้นที่หน่วยความจำที่ใช้ร่วมกันเดียวกันได้ (ขั้นตอนที่ 2)
• เนื่องจากทั้งสองกระบวนการเข้าถึงส่วนของหน่วยความจำเดียวกัน วิธีนี้จึงรวดเร็ว แต่ต้องใช้กลไกการซิงโครไนซ์ (เช่น เซมาฟอร์) เพื่อหลีกเลี่ยงความขัดแย้งเมื่อหลายกระบวนการอ่าน/เขียนพร้อมกัน
• ตัวอย่าง: ในเอกสาร Google Docs ที่แชร์ร่วมกัน ผู้ใช้หลายคนสามารถแก้ไขเอกสารได้พร้อมกัน

การส่งข้อความ

การส่งข้อความ (Message Passing) เป็นวิธีการที่กระบวนการต่างๆ สื่อสารกันโดยการส่งและรับข้อความเพื่อแลกเปลี่ยนข้อมูล กระบวนการหนึ่งส่งข้อความและอีกกระบวนการหนึ่งรับข้อความนั้น ทำให้พวกเขาสามารถแบ่งปันข้อมูลได้ การส่งข้อความสามารถทำได้หลายวิธี เช่น ซ็อกเก็ต คิวข้อความ หรือไปป์

• ในแบบจำลองการส่งผ่านข้อความข้างต้น กระบวนการต่างๆ จะแลกเปลี่ยนข้อมูลโดยการส่งและรับข้อความผ่านทางเคอร์เนล
• กระบวนการ A ส่งข้อความไปยังเคอร์เนล (ขั้นตอนที่ 1)
• จากนั้นเคอร์เนลจะส่งข้อความไปยังกระบวนการ B (ขั้นตอนที่ 2)
• ในกรณีนี้ กระบวนการต่างๆ จะไม่แชร์หน่วยความจำโดยตรง แต่การสื่อสารจะเกิดขึ้นผ่านการเรียกใช้ระบบ (send(), recv() หรือฟังก์ชันที่คล้ายกัน)
• วิธีนี้ง่ายกว่าและปลอดภัยกว่าการใช้หน่วยความจำร่วมกัน เพราะไม่มีความเสี่ยงที่จะเขียนทับข้อมูลที่ใช้ร่วมกัน แต่จะมีค่าใช้จ่ายเพิ่มเติมเนื่องจากการทำงานของเคอร์เนลเข้ามาเกี่ยวข้อง
• ตัวอย่าง: หลายคนส่งข้อความอัปเดตไปยังแชทกลุ่ม แต่ข้อความแต่ละข้อความจะต้องผ่านเซิร์ฟเวอร์ก่อนที่คนอื่นจะเห็น เหมือนกับกระบวนการส่งข้อความแทนที่จะแชร์หน่วยความจำโดยตรง

ปัญหาในการสื่อสารระหว่างกระบวนการ (IPC):

การสื่อสารระหว่างกระบวนการ (Inter-Process Communication หรือ IPC) เผชิญกับความท้าทายเมื่อหลายกระบวนการใช้ทรัพยากรร่วมกัน การซิงโครไนซ์ที่ไม่เหมาะสมอาจทำให้เกิดสภาวะการแข่งขัน (race conditions) การติดขัด (deadlock) และการขาดแคลนทรัพยากร (starvation) ในขณะที่ข้อมูลที่ใช้ร่วมกันอาจมีความไม่สอดคล้องกัน นอกจากนี้ IPC ยังเพิ่มภาระและอาจก่อให้เกิดปัญหาด้านความปลอดภัย การจัดการกระบวนการจำนวนมากอาจนำไปสู่ปัญหาด้านความสามารถในการขยายขนาดได้

ปัญหา IPC แบบคลาสสิกที่พบได้ทั่วไปบางประการ ได้แก่:

1. ปัญหาของนักปรัชญาที่ร่วมรับประทานอาหาร

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

สารละลาย

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

2. ปัญหาระหว่างผู้ผลิตและผู้บริโภค

ปัญหานี้เกี่ยวข้องกับการซิงโครไนซ์และการจัดการบัฟเฟอร์ปัญหาผู้ผลิต-ผู้บริโภคอธิบายว่าผู้ผลิตสร้างข้อมูลและวางไว้ในบัฟเฟอร์ที่ใช้ร่วมกัน ในขณะที่ผู้บริโภคนำข้อมูลออกจากบัฟเฟอร์นั้น ความท้าทายหลักคือการป้องกันไม่ให้ผู้ผลิตเพิ่มข้อมูลลงในบัฟเฟอร์ที่เต็มแล้ว และป้องกันไม่ให้ผู้บริโภคนำข้อมูลออกจากบัฟเฟอร์ที่ว่างเปล่า

สารละลาย

• ใช้ mutex เพื่อให้มั่นใจได้ว่ามีการเข้าถึงบัฟเฟอร์ร่วมกันโดยไม่ขึ้นกับการเข้าถึงของผู้อื่น
• ใช้เซมาฟอร์นับจำนวนเพื่อติดตามช่องบัฟเฟอร์ที่ว่างและเต็ม
• ผู้ผลิตจะรอหากบัฟเฟอร์เต็ม ผู้บริโภคจะรอหากบัฟเฟอร์ว่าง
• ช่วยให้การซิงโครไนซ์ข้อมูลเป็นไปอย่างถูกต้องและสอดคล้องกัน

3. ปัญหาระหว่างผู้อ่านและผู้เขียน

ปัญหานี้มุ่งเน้นไปที่การเข้าถึงข้อมูลร่วมกันแบบพร้อมกันปัญหาผู้อ่าน-ผู้เขียนอนุญาตให้ผู้อ่านหลายคนอ่านข้อมูลพร้อมกันได้ ในขณะที่ผู้เขียนต้องการสิทธิ์การเข้าถึงแบบพิเศษ ความท้าทายคือการหลีกเลี่ยงการขาดแคลนทรัพยากรของทั้งผู้อ่านหรือผู้เขียน

สารละลาย

• ใช้ตัวล็อกแบบอ่าน-เขียน หรือเซมาฟอร์
• อนุญาตให้ผู้อ่านหลายคนอ่านพร้อมกันได้
• ผู้เขียนโครงการขอรับทุนจะได้รับสิทธิ์พิเศษในการเข้าถึงข้อมูลที่ใช้ร่วมกัน
• ใช้กฎลำดับความสำคัญเพื่อป้องกันภาวะอดอยาก

4. ปัญหาช่างตัดผมหลับ

ปัญหานี้แสดงให้เห็นถึงการประสานงานในกระบวนการทำงานปัญหาช่างตัดผมหลับเป็นแบบจำลองของช่างตัดผมที่นอนหลับเมื่อไม่มีลูกค้า และจะตื่นขึ้นเมื่อมีลูกค้ามาถึงและมีเก้าอี้ว่าง ความยากอยู่ที่การจัดการเก้าอี้ที่รออยู่และการมาถึงของลูกค้าอย่างถูกต้อง

สารละลาย

• ใช้สัญญาณธงเพื่อจัดการการมาถึงของลูกค้าและความพร้อมของช่างตัดผม
• ช่างตัดผมจะนอนหลับเมื่อไม่มีลูกค้าอยู่
• ลูกค้าจะรอหากมีเก้าอี้ว่าง มิฉะนั้นก็จะจากไป
• ช่วยให้กระบวนการทำงานเป็นไปอย่างราบรื่นโดยปราศจากภาวะชะงักงัน