noalloc, Go'da sıfır heap allocation'ını zorunlu kılıyor ve sabit kapasiteli container'lar sunuyor

The Consensus Labs, "bu fonksiyon allocation yapmamalı" ilkesini manuel bir disiplinden denetlenebilir bir değişmez hâline getiren açık kaynak bir Go araç seti olan noalloc'ı yayımladı. Hacker News'in ana sayfasına düşen proje README'sine göre araç, işaretlenmiş fonksiyonların tüm çağrı ağacını statik olarak analiz ediyor ve heap'te allocation'a yol açacak her satırı raporluyor.

Denetim nasıl çalışıyor

Geliştiriciler bir fonksiyonu //noalloc:root yorumuyla işaretleyip modül içinde noalloc CLI'ını çalıştırıyor. Araç, o fonksiyonun çağırdığı her şeyi gezerek sorunlu satırları yazdırıyor. README'deki örnek, bir Counter.Add metodu içindeki map yazımını ve sonucu heap'e kaçan bir string birleştirmesini işaretliyor. CLI, allocation bulduğunda 1, hiç çalışamadığında ise 2 durum koduyla çıkıyor; bu da onu sürekli entegrasyona bağlamayı kolaylaştırıyor.

Gerçek kodun kaçış kapılarına ihtiyacı vardır; bu yüzden noalloc birkaç directive sunuyor. Belirtilen bir gerekçeyle kullanılan //noalloc:exempt, bir satırı ve o satırın çağırdığı her şeyi muaf tutuyor. Bir tip üzerindeki //noalloc:fixed, o tipin metotlarının slice'larını asla büyütmediğini taahhüt eder; böylece araç bunları yeniden kullanılan bellek olarak değerlendiriyor. //noalloc:append ise append gibi davranan yardımcıları işaretliyor. Root çağrısını sonlandıran hata veya panic yollarında ve ilk kullanım kurulumunda allocation'lara izin veriliyor. -scratch bayrağı bir tipin alanlarını istekler arasında tutulan bellek olarak işaretlerken, -source bir harici import path önekini modülünüzün parçasıymış gibi denetime dahil ediyor — README, noalloc'ın kendi kütüphaneleri üzerinde çalıştırılmasını öneriyor ki directive'leri etkili olsun. Diğer modüllere yapılan çağrılara yalnızca noalloc çağrılan tarafın hiçbir şey allocate etmediğini kanıtlayabildiğinde izin veriliyor; bu da tarafın kaynağından ya da assembly ve runtime kodu için derlenmiş biçiminden çıkarılıyor. Araç Go 1.27 veya üstünü gerektiriyor ve standart go install komutuyla kuruluyor.

Sabit kapasiteli container'lar

Projenin ikinci yarısı bounded kütüphanesi: taşın bir çökme veya gizli bir allocation değil, görünür bir durum olduğu, allocation yapmayan, sabit boyutlu veri yapıları. Dört container'ı — Buf, Vec, Slice ve Map — belirli bir azami kapasiteye sahip; sığmayan bir yazma hiçbir şey yapmaz ama container'ı dolu olarak işaretler, böylece kod her yazmadan sonra değil, sonunda tek seferde kontrol edebilir. Bir Buf, bir io.Writer'a bağlanabilir ve doldukça flush edebilir. Bir Vec, bir Region üzerinden havuzdan chunk ödünç alabilir ve bitişik olmayan şekilde geri okunabilir. Bir Slice, append'ın daha büyük bir diziye geçmesi gibi giderek büyüyen havuzlanmış chunk'lara geçiş yapar. Bir Map, sınırını aştığında yeni anahtarları reddeder ama mevcut anahtarlara yapılan güncellemeleri kabul etmeye devam eder ve daha büyük slot havuzlarına büyüyebilir. README, sağlanan algoritmalar arasında allocation yapmayan bir JSON encoder ve decoder'ı da listeliyor.

İstekler için bütçe modeli

Container'ların altında Pool ve Region yatıyor. Bir Pool, sabit sayıda chunk ödünç verir; bunlar bittiğinde çağıranlar nil alabilir, bir channel kapanana kadar bekleyebilir ya da birkaç chunk'ı topluca alabilir veya hiç alamayabilir. Dinamik girdi için önerilen desen, her istek başladığında ona sabit bir bellek bütçesiyle bir Region vermek, girdi gerektirdikçe paylaşılan bir havuzdan ödünç almak ve istek bittiğinde her şeyi iade etmek. README, bütçesini tüketebilecek her noktanın tükendiğinde ne yapacağına dair bir plana ihtiyacı olduğu konusunda açık — öneriler arasında bir sayfayı erken bitirip istemcinin bir cursor'dan devam etmesine izin vermek, bir optimizasyonu atlamak, bir memo girdisini çıkarmak ya da fazla büyük girdiyi parse etmeden önce reddetmek yer alıyor.

Köken ve uyarılar

README alışılmadık bir feragatnameyle başlıyor: depo tamamen yapay zekâ tarafından, insan rehberliğinde yazıldı ve The Consensus'ta hem web servisinde hem de kod arama motorunda üretimde kullanılıyor. README ayrıca projenin deneysel olduğunu ve büyük ölçüde değişebileceğini uyarıyor. Tasarım tutarlı, ancak API yüzeyi hiçbir kararlılık vaadi taşımıyor.

Neden önemli

Allocation'sız sıcak yollar Go'da önemli, çünkü her heap allocation ileride çöp toplayıcının yapacağı iş demek ve bu maliyet tam da gecikmeye duyarlı servislere düşüyor. Zor olan kısım bir kez allocation'sız kod yazmak hiç olmadı — kod tabanı evrilirken onu öyle tutmak, çünkü tek bir masum map yazımı ya da kaçan string allocation'ları sessizce geri getiriyor. Tüm çağrı ağacını statik olarak çözümleyip sıfır olmayan bir çıkış koduyla başarısız olan noalloc, bir performans özelliğini derleyicinin tip denetlediği gibi CI'ın zorunlu kılabileceği bir şeye dönüştürüyor. Sabit kapasiteli container'lar ise ardıl sorunu ele alıyor: allocation yasaklandığında append ve map ataması gibi sıradan Go deyimleri çalışmayı bırakıyor ve kodun açık taşma davranışlı yedeklere ihtiyacı oluyor. Yaptırım artı yerine geçen ilkel yapılar, sürümü hayal değil pratik kılan şey. Üretim kalitesinde bir aracın yapay zekâ tarafından yazıldığının beyan edilmesi de ayrı başlı başına kayda değer bir veri noktası.