Yeni sistem programlama dili Goose yığın tabanlı bellek modeliyle duyuruldu
Öne çıkanlar
- Goose, heap ayırıcı veya çöp toplayıcı olmadan derleyici güdümlü veri yığınlarıyla çalışıyor.
- Testlerde güvenli Rust'a kıyasla 1,12 kat hızlı çalışırken yüzde 20 daha az bellek harcadı.
- İş parçacıkları arasında paylaşımlı bellek bulunmuyor ve iletişim kuyruklar üzerinden kopyalamayla sağlanıyor.
- Doğrudan C çıktısı üreten dil, TinyCC arka ucuyla harici kurulum gerektirmeden çalışabiliyor.
Goose adlı yeni sistem programlama dili, yığın ayırıcı, çöp toplayıcı veya yaşam süresi ek açıklamaları kullanmadan bellek güvenliği sağlayan mimarisini tanıttı. Dil, C ve Rust geliştiricilerine tanıdık gelen bir sözdizimi sunarken dinamik bellek havuzunu tamamen ortadan kaldırıyor. Bütün dinamik değerler derleyicinin statik olarak atadığı veri yığınlarında sıralı olarak tutuluyor ve bellek tahsisi kapsam sona erdiğinde tek bir işlemle serbest bırakılıyor.
Paylaşılan 16 farklı performans testine göre Goose, deyimsel C++ kodundan ortalama 3,3 kat, en iyi güvenli Rust kodundan ise 1,12 kat daha hızlı çalıştı. Sistem bu süreçte C++ ve Rust uygulamalarına kıyasla yüzde 20 ila yüzde 48 arasında daha az tepe bellek kullandı. Performans artışının temelini sıralı veri yerleşimi, işaretçi taşması gerektirmeyen dizi büyütme modeli ve değişken boyutlu cebirsel veri türleri oluşturuyor.
Dil, paylaşımsız iş parçacığı modeliyle veri yarışmalarını ve kilit mekanizmalarını tamamen devre dışı bırakıyor. Derleme sürecinde tek bir C dosyası üreten Goose, paketlenmiş TinyCC arka ucu sayesinde harici bir derleyiciye ihtiyaç duymadan süreç içinde kod çalıştırabiliyor. Windows, Linux ve macOS platformları için önceden derlenmiş paketler GitHub üzerinden erişime açıldı.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.