แนวคิดการพัฒนาระบบปฏิบัติการ

ระบบปฏิบัติการ (OS) คือซอฟต์แวร์พื้นฐานที่จัดการทรัพยากรฮาร์ดแวร์และซอฟต์แวร์ของคอมพิวเตอร์ เปรียบเสมือนสมองที่ทำให้คอมพิวเตอร์ใช้งานได้

ในบทเรียนนี้ เราจะสำรวจแนวคิดสำคัญเบื้องหลังการพัฒนา OS โดยเฉพาะวิธีใช้ Rust สร้างเคอร์เนล ซึ่งมอบการควบคุมระดับต่ำพร้อมคุณสมบัติด้านความปลอดภัยสมัยใหม่

เคอร์เนล คือส่วนศูนย์กลางของ OS เป็นโปรแกรมแรกที่โหลดเมื่อคอมพิวเตอร์เริ่มทำงาน และควบคุมทุกสิ่งได้อย่างสมบูรณ์

หน้าที่หลักประกอบด้วย:

• การจัดการหน่วยความจำ: จัดสรรและป้องกันหน่วยความจำ
• การจัดการกระบวนการ/งาน: จัดตารางและสลับระหว่างโปรแกรมที่กำลังทำงาน
• การโต้ตอบกับฮาร์ดแวร์: จัดการอินพุต/เอาต์พุต (I/O) และการขัดจังหวะ
• การเรียกระบบ: ให้บริการแก่แอปพลิเคชันของผู้ใช้

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

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

การแบ่งหน้า เป็นวิธีทั่วไปสำหรับใช้งานหน่วยความจำเสมือน หน่วยความจำจะถูกแบ่งเป็นบล็อกขนาดคงที่ที่เรียกว่า หน้า (สำหรับที่อยู่เสมือน) และ เฟรม (สำหรับที่อยู่จริง)

OS จะดูแล ตารางหน้า ซึ่งเป็นโครงสร้างข้อมูลที่แมปหมายเลขหน้าเสมือนไปยังหมายเลขเฟรมจริง เมื่อ CPU เข้าถึงที่อยู่เสมือน หน่วยจัดการหน่วยความจำ (MMU) จะแปลงที่อยู่นั้นเป็นที่อยู่จริงที่สอดคล้องกันโดยใช้ตารางเหล่านี้

งาน (มักเรียกว่ากระบวนการหรือเธรด) คือหน่วยงานอิสระ OS สมัยใหม่สามารถเรียกใช้งานหลายงานพร้อมกันบนแกน CPU เดียว

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

เมื่อตัวจัดตารางงานตัดสินใจเปลี่ยนจากงานหนึ่งไปยังอีกงานหนึ่ง จะดำเนินการ สลับบริบท ซึ่งเป็นการดำเนินการสำคัญที่ประกอบด้วย:

• บันทึกสถานะ CPU ทั้งหมดของงานปัจจุบัน เช่น รีจิสเตอร์ ตัวนับโปรแกรม และตัวชี้สแตก ลงในโครงสร้างข้อมูลที่เกี่ยวข้อง
• โหลดสถานะ CPU ที่บันทึกไว้ของงานถัดไปที่จะทำงาน

วิธีนี้ทำให้งานต่าง ๆ ทำงานต่อได้ตรงจุดที่หยุดไว้พอดี และทำให้ดูเหมือนว่างานทั้งหมดกำลังทำงานพร้อมกัน

การขัดจังหวะ คือสัญญาณจากฮาร์ดแวร์ เช่น แป้นพิมพ์ เมาส์ ดิสก์ไดรฟ์ หรือตัวจับเวลา ไปยัง CPU เพื่อแจ้งว่าเกิดเหตุการณ์ขึ้นและต้องได้รับการจัดการทันที

เมื่อเกิดการขัดจังหวะ CPU จะ:

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

เมื่อ ISR ทำงานเสร็จ CPU จะกู้คืนสถานะที่บันทึกไว้และทำงานเดิมต่อ

นอกจากการขัดจังหวะฮาร์ดแวร์แล้ว ยังมี การขัดจังหวะซอฟต์แวร์ ซึ่งมักเรียกว่า ข้อยกเว้น และถูกเรียกใช้โดย CPU เองเนื่องจากข้อผิดพลาดในโปรแกรม เช่น:

• การหารด้วยศูนย์
• การเข้าถึงที่อยู่หน่วยความจำที่ไม่ถูกต้อง (ข้อผิดพลาดการแบ่งส่วน)
• การเรียกใช้คำสั่งที่ไม่ถูกต้อง

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

Rust เป็นตัวเลือกที่ได้รับความนิยมเพิ่มขึ้นสำหรับการพัฒนา OS เนื่องจากมีคุณสมบัติที่โดดเด่นร่วมกันดังนี้:

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

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

มาทดสอบความเข้าใจของคุณเกี่ยวกับแนวคิดพื้นฐานของระบบปฏิบัติการกัน

ในบทเรียนนี้ เราได้สำรวจแนวคิดพื้นฐานของการพัฒนาระบบปฏิบัติการ:

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

คุณสมบัติด้านความปลอดภัยที่แข็งแกร่งของ Rust เมื่อรวมกับการควบคุมระดับต่ำ ทำให้ Rust เป็นภาษาที่ยอดเยี่ยมสำหรับสร้างโค้ดเคอร์เนลแบบฮาร์ดแวร์โดยตรงที่แข็งแกร่งและเชื่อถือได้ ความเข้าใจพื้นฐานนี้สำคัญอย่างยิ่งต่อการเขียนโปรแกรมระดับระบบ