ตามข้อมูลของ Microsoft ปัญหาความปลอดภัย 70% ที่พบในผลิตภัณฑ์ของ MS ตลอด 12 ปีที่ผ่านมาเกิดจากปัญหา Memory Safety ภาษาสำหรับการเขียนโปรแกรมระบบที่กำลังได้รับความนิยมในช่วงหลังอย่าง Rust สามารถตรวจจับปัญหา Memory Safety เหล่านี้ได้ตั้งแต่ขั้นตอนคอมไพล์ ด้วยเหตุนี้ MS จึงได้ทำการทดลองเขียนโค้ดภายในบางส่วนของ Windows ใหม่จาก C++ เป็น Rust มาตั้งแต่ช่วงฤดูร้อนที่ผ่านมา
ผลการทดลองออกมาในทางบวก แต่ดูเหมือนว่าในมุมมองของ MS นั้น Rust ซึ่งยังเป็นโครงการอายุน้อยอาจยังมีความสามารถบางอย่างไม่เพียงพอสำหรับการใช้งานของตน จึงทำให้ MS เริ่มพัฒนาภาษาโปรแกรมระบบตัวใหม่ที่ต่อยอดจาก Rust ภายใต้ชื่อ Project Verona จุดที่แตกต่างจาก Rust อย่างชัดเจนคือโมเดลความเป็นเจ้าของหน่วยความจำจะไม่ถูกใช้ในระดับอ็อบเจ็กต์แต่ใช้ในระดับ region แทน ทำให้สามารถแบ่งและจัดการพื้นที่หน่วยความจำเป็นส่วน ๆ ได้ และโดยเฉพาะยังสามารถนำโค้ด legacy เดิมไปใส่ไว้ในส่วน sandbox เพื่อใช้งานได้อีกด้วย ด้วยลักษณะของ MS ที่น่าจะมีโค้ด legacy อยู่มหาศาลจนไม่สามารถทิ้งทั้งหมดได้ ฟังก์ชันลักษณะนี้จึงอาจเป็นสิ่งจำเป็น ปัจจุบัน Project Verona ยังอยู่ในระดับงานวิจัยในห้องทดลอง แต่คาดว่าจะเปิดเผยเป็นโอเพนซอร์สในเร็ว ๆ นี้
บทความอื่น ๆ :
วิดีโอและสไลด์การบรรยายที่เกี่ยวข้อง :
ปัญหาความปลอดภัย 70% ในผลิตภัณฑ์ของ MS มาจากปัญหา Memory Safety :
การทดลองเขียนบางส่วนของ Windows ใหม่ด้วย Rust :
4 ความคิดเห็น
ควรจะไปคอนทริบิวต์ให้ Rust สิ... เริ่มปุ๊บก็ฟอร์กเลยเหรอ!
ดูเหมือนว่า Rust จะกำลังมาแรงมากเลยนะ
อา.. ก็แอบกังวลอยู่เหมือนกันว่าอาจจะกลายเป็นการทำสายพันธุ์ดัดแปลงที่ดูเป็น MS มาก ๆ แบบ J#
มากันเมื่อไหร่ Merona