Asterinas - Rust ile yazılmış, Linux uyumlu ABI sunan bir OS çekirdeği

• Asterinas, güvenlik, hız ve genel amaçlı kullanım özelliklerine sahip bir OS çekirdeğidir ve Linux uyumlu bir ABI sunar
• Linux'un yerini alabilir; bellek güvenliği ve geliştirici dostuluğu konularını iyileştirir
  • Tek programlama dili olarak Rust kullanır ve unsafe Rust kullanımını, açıkça tanımlanmış güvenilir hesaplama tabanıyla (TCB) sınırlı kalacak şekilde en aza indirerek bellek güvenliğini önceliklendirir
  • Framekernel mimarisi sayesinde Asterinas, daha güvenli ve daha güvenilir bir çekirdek seçeneği olarak konumlanır
  • Geliştirici dostuluğu açısından Linux'u geride bırakır; (1) yüksek üretkenlik sağlayan Rust programlama dilinden yararlanır, (2) OSDK adlı özel araç takımıyla iş akışını sadeleştirir ve (3) MPL'in esnekliği sayesinde çekirdek modüllerini açık kaynak olarak yayımlama veya kapalı tutma seçeneği sunar
• Şu anda Asterinas yalnızca x86-64 VM'i destekliyor, ancak hedef 2024'e kadar x86-64 VM üzerinde üretime hazır duruma gelmek

GN⁺ Özeti

• Asterinas, Rust ile yazılmış bir OS çekirdeğidir; bellek güvenliğini ve geliştirici dostuluğunu öne çıkarırken Linux uyumluluğu sunar
• Rust'un güvenlik ve üretkenlik avantajlarını kullanarak daha güvenli ve daha verimli bir çekirdek geliştirme ortamı sağlar
• Asterinas'ın framekernel mimarisi güvenilirliği ve güvenliği artırır; MPL sayesinde modüllerin açık olup olmayacağı konusunda esneklik sunar
• Linux çekirdeği geliştirmeyle ilgilenen geliştiriciler için ilgi çekici bir alternatif olabilir ve Rust'un avantajlarıyla çekirdek geliştirmenin mümkün olduğunu gösterir
• Benzer özelliklere sahip projeler arasında Redox OS bulunur

[xguru]

Son zamanlarda Hacker News’e düşen projeler arasında, biraz daha geniş kitlelerin zevkine hitap edenlere yakından bakınca çoğunda ana katkıcıların Çinli olduğu görülüyor.
Özellikle README’de İngilizcenin yanında ek olarak Çince dokümantasyon da varsa, çoğu zaman durum böyle gibi görünüyor.

[cosine20]

Yapay zeka tarafına da bakınca, pratik projelerde de (ONNX dönüşümü ya da yerel dil tabanlı işletim kütüphaneleri, hemen kullanılabilecek ortamlar gibi) çoğu durumda başrolde Çinlilerin olduğunu görüyorum.

[GN⁺]

Hacker News görüşleri

• Kişisel olarak Rust'ı sevmiyorum ama çekirdekleri sevdiğim için bu tür projelere hep göz atarım. Bu proje Rust'ın gelişmiş özelliklerini temkinli kullanıyor; kod okunması kolay ve yorumlar da kararında. Fena değil
• Yüksek performanslı ağ/IO servisleri çalıştırmak için çekirdekle ilgileniyorum. Donanım desteği, özellikle de ağ donanımı büyük bir endişe. FreeBSD veya Linux çekirdeğiyle önyükleme yapıp ardından Rust OS/soyutlama katmanı kullanma yaklaşımı ilginç olabilir gibi görünüyor
• Microsoft, Pluton firmware'inde Rust tabanlı bir OS olan TockOS kullanıyor
• Asterinas ilginizi çekiyorsa, Rust ile yazılmış tam bir OS olan Redox da ilginizi çekecektir
• Linux'un tamamıyla uyumlu bir ABI oluşturması şaşırtıcı. Rust'ın daha üretken olduğu yönündeki karşılaştırma bilimsel değil ve proje için bir uyarı işareti olabilir. Bir geliştirici için en üretken dil, soyutlama seviyesinin altında neler olduğunu anlayabildiği dildir
• Asterinas: TEE için güvenli Rust tabanlı bir OS çekirdeği hakkında bir sunum var
• Framekernel OS mimarisinde tüm OS aynı adres alanında bulunur ve Rust ile yazılmış olmalıdır. Çekirdek iki parçaya ayrılır ve ayrıcalıksız servisler yalnızca güvenli Rust ile yazılmalıdır. Derleyici hatalarını istismar edebilen ayrıcalıksız servislerin güvenlik modeli üzerindeki etkisini merak ediyorum
• Rust ile yazılmış bir başka OS de Twizzler. Araştırma amaçlı bir OS ama yine de ilginç
• Kerla adlı benzer bir proje vardı ama geliştirilmesi durdu. Rust-for-Linux yerine bu tür alternatifler yapmanın daha kolay olacağı yönünde görüşler vardı. Bunun sürdürülebilir bir proje olmaya yetecek kadar ilgi çekip çekmeyeceğini merak ediyorum
• Asterinas şu anda yalnızca x86-64 VM'i destekliyor ve hedef, 2024'e kadar x86-64 VM üzerinde üretime hazır hale getirmek. Kafa karıştırıcı