U programlama dili çöp toplayıcısız yeni bellek mimarisini tanıttı
Öne çıkanlar
- U dili, çöp toplayıcı kullanmadan DAG sahiplik modeli ve Tarjan algoritmasıyla döngüsüz bellek yönetimi sunuyor.
- Bellek tahsisatları, iki katına çıkarak büyüyen plaka zincirleri ve işaretçi kaydırma mantığıyla çalışıyor.
- Harita yapıları özet tablo yerine sabit indeksli paralel listeler kullanarak ekleme sırasını doğrudan koruyor.
- Ters anahtar aramaları, boyuta göre optimize edilen bağımsız nesil çözücüler ve negatif üyelik filtreleriyle yapılıyor.
U programlama dili, geleneksel çöp toplayıcı (GC) mekanizmalarına ihtiyaç duymayan ve bellek güvenliğini yönlü döngüsüz çizge (DAG) yapısıyla sağlayan yeni bellek yönetim modelini açıkladı. Sistemde güçlü referanslar yalnızca ebeveynden alt öğelere işaret ediyor ve döngüsel başvurulara izin verilmiyor. Bir sahibin referans sayısı sıfıra ulaştığında altındaki tüm ağaç tek seferde bellekten siliniyor. Derleyici ve linter araçları, tip referans çizgesindeki döngüleri tespit etmek için Tarjan'ın güçlü bağlantılı bileşenler algoritmasını kullanıyor.
Yeni mimaride her bellek sahibi iki katına çıkarak büyüyen bir plaka zinciri (slab chain) üzerinden tahsisat gerçekleştiriyor. Tahsisatlar plaka içinde işaretçi kaydırma yöntemiyle yapılıyor ve tekil nesneler için serbest liste takibi gerekmiyor. Bellek boşaltma işlemi de tüm yığın taranmadan sadece ilgili sahibin plakaları serbest bırakılarak tamamlanıyor. Dinamik değerlerin yönetiminde ise 8 baytlık NaN-boxing tekniği kullanılıyor ve yaprak değerlerin yığın üzerinde ayrı bir tahsisat yapması engelleniyor.
Koleksiyon yapıları için geliştirilen harita mimarisi, geleneksel özet tabloları yerine ekleme sırasını koruyan iki paralel kararlı liste kullanıyor. Elemanlar genişleme sırasında yeniden konumlandırılmıyor ve indeksler sabit kalıyor. Anahtardan indekse ters çözümleme işlemi ise boyuta göre ölçeklenen nesil tabanlı SIMD, SwissTable ve ART algoritmalarıyla yürütülüyor. Bu sayede PHP ve JavaScript gibi dillerden yapılan dönüştürmelerde doğrudan indeks erişimi sağlanarak ters arama maliyetleri ortadan kalkıyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.