asterinas

เคอร์เนล OS ที่ปลอดภัยรวดเร็วและมีวัตถุประสงค์ทั่วไปเขียนด้วยสนิมและเข้ากันได้กับ Linux

ภาษาอังกฤษ | 中文版 | 日本語

แนะนำ Asterinas

Asterinas เป็นเคอร์เนล OS ที่ปลอดภัย รวดเร็ว และ มีวัตถุประสงค์ทั่วไป ที่ให้ ABI ที่เข้ากันได้กับ Linux มันสามารถทำหน้าที่แทนอย่างไร้รอยต่อสำหรับ Linux ในขณะที่เพิ่ม ความปลอดภัยของหน่วยความจำ และ ความเป็นมิตรกับนักพัฒนา

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

• Asterinas เหนือกว่า Linux ในแง่ของความเป็นมิตรกับนักพัฒนา มันช่วยให้นักพัฒนาเคอร์เนลเป็น (1) ใช้ภาษาการเขียนโปรแกรมสนิมที่มีประสิทธิผลมากขึ้น (2) ใช้ประโยชน์จากชุดเครื่องมือที่สร้างขึ้นเพื่อวัตถุประสงค์ที่เรียกว่า OSDK เพื่อปรับปรุงเวิร์กโฟลว์ของพวกเขาและ (3) เลือกระหว่างการปล่อยโมดูลเคอร์เนลของพวกเขาเป็นโอเพ่นซอร์ส

ในขณะที่การเดินทางไปสู่เคอร์เนลระบบปฏิบัติการระดับการผลิตอาจเป็นเรื่องที่ท้าทาย แต่เราก็ก้าวหน้าไปสู่เป้าหมายของเราอย่างมั่นคง ปัจจุบัน Asterinas รองรับ X86-64 VMS เท่านั้น อย่างไรก็ตามเป้าหมายของเราสำหรับปี 2024 คือการสร้าง Asterinas Production-ready บน X86-64 VMS

เริ่มต้น

รับเครื่อง X86-64 Linux ที่ติดตั้ง Docker ทำตามสามขั้นตอนง่ายๆด้านล่างเพื่อให้ Asterinas ทำงานได้

1. ดาวน์โหลดซอร์สโค้ดล่าสุด

git clone https://github.com/asterinas/asterinas

2. เรียกใช้คอนเทนเนอร์ Docker เป็นสภาพแวดล้อมการพัฒนา

docker run -it --privileged --network=host --device=/dev/kvm -v $( pwd ) /asterinas:/root/asterinas asterinas/asterinas:0.10.3

3. ภายในคอนเทนเนอร์ไปที่โฟลเดอร์โครงการเพื่อสร้างและเรียกใช้ Asterinas

make build
make run

หากทุกอย่างเป็นไปด้วยดี Asterinas ก็กำลังทำงานอยู่ใน VM

หนังสือ

ดูหนังสือ Asterinas เพื่อเรียนรู้เพิ่มเติมเกี่ยวกับโครงการ

ใบอนุญาต

ซอร์สโค้ดและเอกสารของ Asterinas ใช้ Mozilla Public License (MPL) เป็นหลักเวอร์ชัน 2.0 ส่วนประกอบที่เลือกอยู่ภายใต้ใบอนุญาตที่ได้รับอนุญาตมากขึ้นโดยละเอียดที่นี่ สำหรับเหตุผลเบื้องหลังการเลือก MPL ดูที่นี่