Ginux, bağımsız Rust çekirdekten sözleşme tabanlı kullanıcı alanı çekirdeğine yön değiştirdi

Ginux artık bir kullanıcı alanı çekırdeği

Greg Kurtzer'ın Ginux projesi yön değiştirdi. Bir yapay zekâ kodlama ajanının yardımıyla, UEFI üzerinden önyüklenebilen ve Rocky Linux 10 kullanıcı alanını çalıştırabilen bağımsız bir Rust çekırdeğinin inşa edildiği araştırma aşamasının tamamlanmasının ardından, geliştirme artık bir kullanıcı alanı çekirdeği olarak devam ediyor. Hacker News ana sayfasına da çıkan projenin GitHub README'sine göre Ginux, sıradan bir Linux süreci olarak çalışıyor ve yönettiği iş yükleri ile ana makine çekirdeği arasına açık, sürümlenmiş bir sözleşme yerleştiriyor. Özgün önyüklenebilir çekirdeğin kaynak kodu, ayrı bir branch ve tag üzerinde kalıcı olarak korunuyor.

Bağımsız çekirdek neden rafa kaldırıldı

README gerekçeleri açıklıkla ortaya koyuyor. Deney, deneyimli bir insanın mimari, kapılar (gate) ve çalıştırılabilir testler aracılığıyla yönlendirdiği bir yapay zekâ kodlama ajanının, anlamlı bir Linux kullanıcı alanını çalıştırabilen yeni bir çekirdek inşa edebileceğini kanıtladı; ama sınırları da net biçimde gösterdi. Projeye göre Linux, kaynak koddan ibaret değil: kararlı bir arayüz, bir geliştirme süreci, küresel bir topluluk, satıcı ve donanım uyumu ve onlarca yıllık uyumluluk ile operasyonel deneyimdir. Çekirdek mekanizmalarını yeniden uygulamak bu ekosistemi yeniden üretmez; ayrıca Linux ile rekabet etmek hiçbir zaman hedef değildi.

Değerli bulgu, sınırın kendisiydi. Linux geniş bir kullanıcı alanı ABI'sini korumak zorundadır; proje, kullanıcı alanının asla bozulmaması gerektiğine dair Linus Torvalds kuralına atıf yapıyor. Ginux bunu bilinçli olarak tersine çeviriyor: Linux ABI garantisinin tamamını kasıtlı ve seçici biçimde bozuyor ve yönetilen her instance'a yalnızca onaylı iş yükünün gerçekten ihtiyaç duyduğu yetenekleri ve arayüz davranışını veriyor. Her sapma, tesadüfi bir uyumsuzluk değil; açık, sürümlenmiş, gözden geçirilebilir ve test edilmiş olmayı hedefliyor. Yön değişikliği, geliştirme yöntemini de yansıtıyor: prototip bir kanıttı, ürüne dönüşme zorunluluğu değil.

Dispatcher nasıl çalışıyor

Ginux, ana makinenin gerçek systemd'sinin altında çalışır; systemd PID 1 olarak kalır, Ginux ise güvenilir sıradan bir süreçtir. Doğal x86-64 programlarını denetler ve yönetilen syscall'ların ana makine üzerinde etkili olmasından önce araya girer. Merkezi bir dispatcher, instance sözleşmesini çözümler ve üç sonuçtan birini seçer: isteği tamamen Ginux'a ait durumdan gerçeklemek; çağrıyı doğrulayıp dar, Ginux'a ait bir ana makine işlemine çevirerek aracılık etmek; ya da reddetmek — bu durumda yapılandırılmış bir Linux uyumlu hata döndürülür ya da görev sonlandırılır.

README'ye göre mevcut uygulama şunları içeriyor: güvenlik odaklı bir x86-64 yorumlayıcı ve ptrace tabanlı doğal arka uç, katı sürümlenmiş instance yapılandırması ve yaşam döngüsü yönetimi, değiştirilemez dosya sistemi indeksi ve sınırlı overlay ile digest'e sabitlenmiş OCI kökü, Ginux'a ait süreç, kimlik bilgisi, sinyal, senkronizasyon, zamanlayıcı ve olay modelleri, açık atama ve geri alma ile sanal aygıtlar ve /proc, /sys, cgroup v2, mount ve namespace'lerin sınırlı sanal görünümleri. Ana makineyle paylaşılan ağ arka ucu hâlâ syscall üzerinden aracılı edilir.

Adı anılan tek bir uyumluluk taban çizgisi var: multi-user.target'a ulaşan, yönetilen bir konsol girişini doğrulayan, Rocky'nin etkin depoları üzerinden güncellenen ve düzgün biçimde kapanan, sabitlenmiş bir Rocky Linux 10 systemd imajı. Proje, bunun tam Linux veya systemd uyumluluğu iddiası değil, adlandırılmış bir taban çizgisi olduğunu vurguluyor; uyumluluk iddiaları yalnızca çalıştırılabilir kanıtla desteklenen, adı anılan sözleşmeler için geçerli.

Yapay zekâ ajanları için izolasyon

İkinci bir araştırma hattı, Ginux'u komut çalıştırabilen, dosya değiştirebilen, ağ bağlantısı açabilen ve süreç başlatabilen yapay zekâ ajanları ile diğer otomatik yazılımlar için bir izolasyon sınırı olarak test ediyor. Bir ajana ana makinenin tüm ABI'sini vermek yerine, operatör süreç ağacını, sözleşmesi yalnızca görevin gerektirdiğini açıklayan bir instance içinde çalıştırabilir; örneğin saati okuma, kendi süreçlerini inceleme ve atanmış tek bir çalışma alanına yazma izni verilirken, saat değiştirme, ana makine dosya sistemi erişimi, onaylanmamış ağ dinleyicileri ve ilgisiz aygıtlar reddedilir. Sözleşme kararları böylece denetlenebilir. README, bunun üretim düzeyinde bir sandbox değil, etkin bir doğrulama hedefi olduğu konusunda açık: politika yapılandırması, advers testler, performans maliyetleri ve kaçış sınırları önce projenin kapıları (gate) üzerinden kanıtlanmalıdır.

Mevcut sistemler arasındaki yeri

README, Ginux'u yerleşik bir alana konumlandırıyor. Linux seccomp, sanal bir sözleşme tanımlamak yerine mevcut ABI'yi filtreler. User-Mode Linux, sanal donanım üzerinde eksiksiz bir çekırdeği yeniden kullanır. gVisor, farklı uyumluluk ve performans hedefleri olan, yakın ilişkili bir kullanıcı alanı uygulama çekırdeği olarak tanımlanıyor. Gramine uygulamaları bir library OS ile paketler, Proxos ise güven yerleşimini syscall arayüzü üzerinden yapılandırılabilir kılar. Ginux'un ayırt edici vurgusu, beyan edilen sözleşmeyi, sanal durumu, aygıtları, kaynakları ve yaşam döngüsünü tek bir gözden geçirilebilir sınır olarak ele almasıdır. Geliştirme, macOS arm64 üzerinde yapılıyor; QEMU, sabitlenmiş bir Rocky Linux 10 x86-64 ana makinesini önyüklüyor ve Ginux bu makinede ayrıcalıksız bir süreç olarak çalışıyor.

Neden önemli

Yön değişikliği iki açıdan kayda değer. Birincisi, yapay zekâ destekli geliştirmenin prototip ekonomisini nasıl değiştirdiğini gösteriyor: önyüklenebilir bir çekirdek inşa etmek, ondan öğrenmek ve onu çöpe atmak yeterince ucuzdu; asıl değer, ileriye taşınan mimari dersti. İkincisi, sözleşme öncelikli izolasyon modeli, seccomp tarzı filtreleme ile tam sanal makineler arasındaki gerçek bir boşluğu hedefliyor ve bu, operatörlerin tam uyumluluk gibi örtük bir sözüm yerine okuyabileceği, sürümleyebileceği ve denetleyebileceği bir sınıra ihtiyaç duyduğu, yarı güvenilir yapay zekâ ajanlarını çalıştırma konusunda özellikle ilgili.