โครงการการศึกษาใหม่ที่สัญญาว่าจะสอนการพัฒนา hypervisor ด้วยโค้ด Rust เพียง 1,000 บรรทัดได้ดึงดูดความสนใจจากนักพัฒนา แต่ก็ได้กระตุ้นให้เกิดการถกเถียงที่คุ้นเคยเกี่ยวกับช่องว่างระหว่างแบบฝึกหัดการเรียนรู้กับระบบที่พร้อมใช้งานจริง
หนังสือ Hypervisor in 1,000 Lines เป็นผลงานต่อเนื่องจากบทเรียนยอดนิยม Operating System in 1,000 Lines โดยครั้งนี้มุ่งเน้นไปที่การสร้าง type-1 hypervisor สำหรับสถาปัตยกรรม RISC-V โครงการนี้มีเป้าหมายเพื่อสาธิตแนวคิดการเขียนโปรแกรม bare-metal พร้อมทั้งใช้ประโยชน์จากระบบนิเวศของ Rust ในการจัดการส่วนประกอบที่ไม่จำเป็น
รายละเอียดโครงการ:
- ภาษา: Rust (ภาคต่อเดิมเขียนด้วย C)
- สถาปัตยกรรม: RISC-V
- ความยาวโค้ด: ~1,000 บรรทัด
- ประเภท: Type-1 (bare-metal) hypervisor
- ใบอนุญาต: CC BY 4.0 (หนังสือ), MIT (โค้ด)
- สถานะ: อยู่ระหว่างดำเนินการ
ชุมชนตั้งคำถามเกี่ยวกับแนวทางการศึกษา
การประกาศนี้ได้กระตุ้นให้เกิดการอภิปรายว่าบทเรียนที่ทำให้เรื่องซับซ้อนดูง่ายเช่นนี้ให้คุณค่าในการเรียนรู้อย่างแท้จริงหรือสร้างความคาดหวังที่ไม่สมจริง นักวิจารณ์ชี้ให้เห็นว่าแม้โครงการเหล่านี้จะสาธิตแนวคิดหลักของการจำลองเสมือนได้อย่างมีประสิทธิภาพ แต่ก็ขาดส่วนประกอบที่ซับซ้อนซึ่งทำให้ hypervisor สามารถใช้งานได้จริงในสถานการณ์โลกแห่งความเป็นจริง
นี่เป็นการแนะนำที่เจ๋งเกี่ยวกับการทำงานของคำสั่งการจำลองเสมือน แต่ผู้คนต้องเข้าใจว่ามันไม่ใช่ความเรียบง่ายที่ปฏิวัติวงการหรืออะไรแบบนั้น มันเป็นแค่การสาธิตเทคโนโลยีที่เจ๋งที่ขาดส่วนสำคัญทั้งหมดของ hypervisor สมัยใหม่ที่จำเป็นเพื่อให้ใช้งานได้จริง เช่น paravirtualized drivers เป็นต้น
การถกเถียงขยายออกไปเกินกว่าโครงการเฉพาะนี้ไปยังบทเรียนระบบปฏิบัติการเพื่อการศึกษาที่คล้ายกัน ซึ่งนักพัฒนาตั้งคำถามว่าการใช้งานที่ตัดทอนลงจริงๆ แล้วเตรียมนักเรียนให้เข้าใจระบบที่ใช้งานจริงหรือไม่
การใช้งานทางเทคนิคและทางเลือกอื่น
สมาชิกชุมชนได้แบ่งปันโครงการที่เกี่ยวข้องซึ่งใช้แนวทางที่แตกต่างกันในการศึกษา hypervisor นักพัฒนาบางคนอ้างอิงถึง SimpleVisor ซึ่งเป็นการใช้งาน hypervisor บน Windows ในโค้ดประมาณ 500 บรรทัดของ C แม้ว่าจะเป็นเป้าหมายสถาปัตยกรรม x86 แทนที่จะเป็น RISC-V
การเลือกใช้สถาปัตยกรรม RISC-V มีผลกระทบในทางปฏิบัติต่อการทดสอบและการพัฒนา เนื่องจากนักพัฒนาส่วนใหญ่ทำงานบนเครื่อง x86 การรัน hypervisor RISC-V จึงต้องใช้การจำลองผ่าน QEMU ซึ่งสร้างสิ่งที่ผู้แสดงความเห็นคนหนึ่งอธิบายอย่างตลกขบขันว่าเป็น turtles all the way down - hypervisor ที่ทำงานภายใน emulator
โปรเจกต์ที่เกี่ยวข้องที่กล่าวถึง:
- SimpleVisor : โค้ด C ประมาณ 500 บรรทัดสำหรับสถาปัตยกรรม x86
- Operating System in 1,000 Lines : บทเรียนก่อนหน้านี้ในภาษา C
- KVM Sample : ตัวอย่างพื้นฐานของ VM exits และการเริ่มต้นหน่วยความจำ
การสร้างสมดุลระหว่างการศึกษากับความเป็นจริง
การอภิปรายเผยให้เห็นความตึงเครียดที่กว้างขึ้นในการศึกษาทางเทคนิคระหว่างการเข้าถึงได้และความสมบูรณ์ แม้ว่าบทเรียนที่ทำให้ง่ายขึ้นสามารถทำให้หัวข้อที่ซับซ้อนเข้าถึงได้ แต่อาจไม่เตรียมผู้เรียนให้พร้อมสำหรับความท้าทายของการใช้งานในโลกแห่งความเป็นจริงได้อย่างเพียงพอ
สมาชิกชุมชนบางคนปกป้องคุณค่าทางการศึกษาของโครงการดังกล่าว โดยสังเกตว่าพวกเขาทำหน้าที่เป็นก้าวย่างสำหรับการทำความเข้าใจแนวคิดพื้นฐาน สิ่งสำคัญดูเหมือนจะเป็นการตั้งความคาดหวังที่เหมาะสมเกี่ยวกับสิ่งที่บทเรียนเหล่านี้สามารถและไม่สามารถสอนเกี่ยวกับการพัฒนา hypervisor ที่ใช้งานจริง
โครงการนี้ยังคงเป็นงานที่กำลังดำเนินอยู่ มีให้ใช้งานภายใต้ใบอนุญาต Creative Commons พร้อมตัวอย่างการใช้งานที่เข้าถึงได้ผ่าน GitHub ว่าโครงการนี้จะสามารถเชื่อมช่องว่างระหว่างความเรียบง่ายทางการศึกษาและความเข้าใจในทางปฏิบัติได้สำเร็จหรือไม่ น่าจะขึ้นอยู่กับว่าโครงการนี้สื่อสารข้อจำกัดของตนเองควบคู่ไปกับบทเรียนได้ชัดเจนเพียงใด
อ้างอิง: Hypervisor in 1,000 Lines