Asterinas - Kernel OS yang Ditulis dengan Rust dan Menyediakan ABI Kompatibel Linux

• Asterinas adalah kernel OS dengan keamanan, kecepatan, dan fleksibilitas, serta menyediakan ABI yang kompatibel dengan Linux
• Dapat menjadi pengganti Linux, sekaligus meningkatkan keamanan memori dan kemudahan bagi pengembang
  • Memprioritaskan keamanan memori dengan menggunakan Rust sebagai satu-satunya bahasa pemrograman, serta meminimalkan penggunaan unsafe Rust dan membatasinya pada trusted computing base (TCB) yang terdefinisi dengan jelas
  • Melalui arsitektur framekernel, Asterinas memosisikan diri sebagai opsi kernel yang lebih aman dan lebih andal
  • Dalam hal kemudahan bagi pengembang, Asterinas melampaui Linux dengan (1) memanfaatkan bahasa pemrograman Rust yang sangat produktif, (2) menyederhanakan alur kerja dengan toolkit khusus bernama OSDK, dan (3) melalui fleksibilitas MPL, memberikan pilihan untuk merilis modul kernel sebagai open source atau tetap mempertahankannya sebagai proprietari
• Saat ini Asterinas hanya mendukung VM x86-64, tetapi targetnya adalah mencapai kesiapan produksi pada VM x86-64 pada tahun 2024

Ringkasan GN⁺

• Asterinas adalah kernel OS yang ditulis dengan Rust, menekankan keamanan memori dan kemudahan bagi pengembang, serta menyediakan kompatibilitas Linux
• Dengan memanfaatkan keamanan dan produktivitas Rust, Asterinas menghadirkan lingkungan pengembangan kernel yang lebih aman dan efisien
• Arsitektur framekernel Asterinas meningkatkan keandalan dan keamanan, sementara MPL memberikan fleksibilitas untuk memilih apakah modul akan dibuka ke publik atau tidak
• Ini bisa menjadi alternatif menarik bagi pengembang yang tertarik pada pengembangan kernel Linux, sekaligus menunjukkan potensi pengembangan kernel yang memanfaatkan keunggulan Rust
• Proyek dengan fungsi serupa antara lain Redox OS

[xguru]

Belakangan ini, jika melihat lebih dekat proyek-proyek yang muncul di Hacker News dan tampaknya sesuai dengan selera publik, cukup banyak di antaranya yang proyek utamanya digarap oleh para committer asal Tiongkok.
Khususnya, kalau di README selain bahasa Inggris juga ada dokumentasi berbahasa Mandarin, rasanya kebanyakan memang begitu.

[cosine20]

Kalau melihat sisi AI juga, untuk proyek-proyek yang praktis (seperti konversi ONNX, library operasional berbasis bahasa native, lingkungan yang bisa langsung dipakai, dan sebagainya), sering kali orang Tiongkok yang menjadi pihak utama.

[GN⁺]

Komentar Hacker News

• Secara pribadi saya tidak suka Rust, tetapi saya suka kernel jadi saya selalu melihat proyek seperti ini. Proyek ini menggunakan fitur-fitur tingkat lanjut Rust secara konservatif, kodenya mudah dibaca, dan komentarnya juga secukupnya. Tidak buruk
• Saya tertarik pada kernel untuk menjalankan layanan jaringan/IO berperforma tinggi. Dukungan perangkat keras, terutama perangkat keras jaringan, adalah kekhawatiran besar. Pendekatan untuk boot dengan kernel FreeBSD atau Linux lalu menggunakan OS/lapisan abstraksi Rust tampaknya menarik
• Microsoft sedang menggunakan TockOS, OS berbasis Rust, di firmware Pluton
• Jika tertarik pada Asterinas, Anda mungkin juga akan tertarik pada Redox, OS lengkap yang ditulis dengan Rust
• Mengejutkan bahwa mereka membuat ABI yang kompatibel dengan seluruh Linux. Perbandingan bahwa Rust lebih produktif itu tidak ilmiah dan bisa menjadi tanda peringatan bagi proyek ini. Bahasa yang paling produktif bagi pengembang adalah bahasa yang memungkinkan mereka memahami apa yang terjadi di bawah tingkat abstraksi
• Ada presentasi tentang Asterinas: kernel OS berbasis Rust yang aman untuk TEE
• Dalam arsitektur OS framekernel, seluruh OS berada dalam ruang alamat yang sama dan harus ditulis dengan Rust. Kernel dibagi menjadi dua bagian, dan layanan non-privileged hanya boleh ditulis dengan Rust yang aman. Saya penasaran bagaimana dampak layanan non-privileged yang dapat mengeksploitasi bug compiler terhadap model keamanan
• Ada OS lain yang ditulis dengan Rust, yaitu Twizzler. Ini adalah OS riset, tetapi tetap menarik
• Ada proyek serupa bernama Kerla, tetapi pengembangannya telah dihentikan. Ada pendapat bahwa membuat alternatif seperti ini akan lebih mudah daripada Rust-for-Linux. Saya penasaran apakah ada cukup minat untuk menjadikannya proyek yang berkelanjutan
• Asterinas saat ini hanya mendukung VM x86-64, dan targetnya adalah membuatnya siap produksi di VM x86-64 pada 2024. Membingungkan