Yapay zekâ, bir zamanlar geliştirmesi çok zor olan tek amaçlı işletim sistemleri olan unikernel'ları yeniden canlandırıyor

Unikernel'lar — yalnızca tek bir uygulamayı çalıştırılacak şekilde derlenen işletim sistemleri — yeniden ilgi görüyor ve geliştirici Geoffrey Huntley'in geniş çapta paylaşılan bir yazısı, bu canlanmayı, teknolojiyi on yıldır niş alanda tutan sürtünmeyi ortadan kaldıran yapay zekâ kodlama araçlarının sürüklediğini savunuyor.

Hacker News'in ana sayfasına ulaşan, Huntley'in sitesindeki yazı, MirageOS unikernel projesinde ve Unikernel Systems'te çalışmış, aynı yeniden keşif dalgasını fark ettikten sonra bu konu üzerine bir dizi bülten röportajı yürüten mühendis Justin Cormack ile yapılan bir sohbetten doğdu.

Unikernel nedir

Bir unikernel, alışılmış yazılım yığınını tersine çevirir. Uygulama, genel amaçlı bir işletim sisteminin üzerinde yer almak yerine, ihtiyaç duyduğu kütüphanelerle birlikte derlenir. Userland yoktur: fork edilecek bir şey, spawn edilecek bir şey, shell yoktur. İş yükünün bir web sunucusuna, DNS'e veya e-postaya ihtiyacı varsa, bunlar imaja bağlanan kütüphaneler olarak gelir.

Huntley fikirle ilk kez 2015 civarında, Haskell ve OCaml çevreleri üzerinden MirageOS'a ulaşarak karşılaştı. Konsept işliyordu; çevresindeki ekosistem işlemiyordu. Cormack'a göre Mirage'da TCP ve HTTPS yığınları vardı ama depolama için neredeyse hiçbir şey yoktu ve ekip, çekirdek dışında çalıştırılabilecek sürücüleri NetBSD'den çıkardı. Bu boşlukları doldurma çabası, unikernel'lara zorluklarıyla ilgili ünlerini kazandırdı.

Yapay zekâ neden hesabı değiştiriyor

Huntley'in temel iddiası, sektörün yaygın bilgeliğinin — Nix'in zor olduğu, Bazel'in zor olduğu, unikernel'ların zor olduğu — bugünün yapay zekâ modellerine işlenmiş olduğundan, zorluk tek başına artık bir yaklaşımdan kaçınmak için bir gerekçe olmaktan çıktığıdır. Klasik engel eksik bir kütüphaneydi: uygulamanın Stripe ile konuşması gerekiyorsa ve mevcut bir OCaml bağlayıcısı yoksa, bir geliştiricinin bunu elle yazması gerekiyordu. Çözümü, bir ajanın mevcut bir Go uygulamasını taşıması ve çalışana kadar yinelemesidir.

Temeldeki teknik, bir referansa karşı taşımadır: orijinal aracı oracle olarak tutun, her iki uygulamadan da çıktılar üretin, bunları karşılaştırın ve testleri taşıyın. Cormack, minimal Linux appliance imajları oluştururken tam olarak bunu yaptığını anlatıyor; tek bir uygulama PID 1 olarak çalıştığından, bu imajların zaten bir unikernel'a yakın olduğunu belirtiyor. Tüm xfsprogs'u devreye sokmadan bir XFS dosya sistemi oluşturması gerektiğinde, bir ajana Rust'ta mkfs.xfs yazdırdı; orijinalin çıktısını bayt bayt eşleştirdi, her komut satırı bayrağını ele aldı ve blok boyutları üzerinden testler yazdı — hepsi birkaç saat içinde.

Depolama boşluğu farklı bir yanıt alıyor: S3 uyumlu nesne depolamayı, önünde yerel bir NVMe önbelleği bulunan birincil, büyütülebilir depo olarak kullanın — Huntley'in turbopuffer'a atfettiği ve Cormack'ın da desteklediğini söylediği bir örüntü. Yukarı akış bağımlılıkları bozulduğunda veya tehlikeye atıldığında, bir Nix overlay'i, bir ajana, tatilde ya da çoktan ayrılmış olabilecek bir bakımcıyı beklemek yerine sorunu doğrudan yamalama imkânı verir.

Güvenlik gerekçesi ve itirazlar

Huntley, genel amaçlı işletim sistemini kendisinin tasarım borcu dediği şey olarak çerçeveliyor: çok kullanıcılı biçimde var, çünkü on yıllar önce bir insan makinenin önünde oturuyordu. Geleneksel bir uygulama tehlikeye atıldığında, saldırganın düştüğü shell, veri çalmak için kullanışlı bir hazırlık alanı haline gelir. Bir unikernel'da derleneye girmemiş işlevsellik orada yoktur — ve onun görüşüne göre bir saldırganın yapay zekâ araçları, shell'i ve yorumlayıcısı olmayan bir makine için bir oyun kitabına sahip değildir; bu da fırsatçı saldırıları, kaynak kodu gerektiren hedefli saldırılara dönüştürür.

Cormack sohbetleri sırasında itiraz etti: saldırı yüzeyi iddiaları genellikle belirsizdir, sadeleştirilmiş Linux container'ları hâlâ etkili yorumlayıcılar içerir, programlar yazılabilir bir dosya sistemi olmadan çalıştırılabilir ve bellek güvenliği hataları ile gadget zincirleri varlığını sürdürür. Huntley'in yanıtı, sektörün on yıllarını saldırı yüzeyini budamakla geçirdiğidir — üretim sistemlerinden derleyicileri uzak tutmaya dair eski tavsiyeden modern sertleştirilmiş derleme hatlarına kadar — oysa hiç saldırı yüzeyi olmayan sistemler tasarlamak yerine. Özet konumu şöyle: garantilerin en önemli olduğu yerde resmi olarak doğrulanmış seL4'ü kullanın, aksi halde unikernel'ları değerlendirin; her şeyi tek bir ayrıcalık halkasında çalıştırma eleştirisinin bile artık çözülmekten yalnızca bir prompt uzakta olduğunu belirtiyor. Huntley ayrıca, bir unikernel filosunun saati tutabilmesi için bir NTP istemcisi de dahil olmak üzere üzerinde prototip geliştirdiği dağıtık bir unikernel işletim sistemi olan spaceleans'tan bahsediyor.

Neden önemli

Yazı, bir unikernel eğitiminden çok dağıtım düşüncesinin nereye gittiğine dair bir sinyal: sertleştirilmiş genel amaçlı imajlar yerine tek amaçlı, minimal işletim sistemi imajları. Güvenlik arka planı zamanlamayı keskinleştiriyor — Huntley, sohbetin kaydedildiği hafta, bir KVM açığının bulanına Vercel ve birkaç başka satıcıdan 50.000 dolar kazandırdığını, bunun Firecracker'ın ve yönetilen bulut sandbox'lamasının büyük kısmının altındaki hipervizördeki bir kusur için mütevazı bir meblağ olduğunu belirtiyor. Daha geniş sonuç unikernel'ların ötesine uzanıyor: iyi bir referans uygulamaya sahip bir ajan gerçekten saatler içinde yazılım taşıyabiliyorsa, geçmişte umut verici niş platformları öldüren eksik kütüphane sorunu ölümcül olmaktan çıkıyor ve üretim yazılımı için uygun temeller olarak kabul edilen küme büyüyor.