Antfly arama ve çıkarım veritabanı motorunu Zig diliyle sıfırdan yeniden yazdı
Öne çıkanlar
- Antfly v0.2 sürümünde Go tabanlı motor terk edilerek bağımlılıksız Zig mimarisine geçildi.
- LSM ağacı, Raft protokolü ve HTTP/3 ağ katmanı sıfırdan kurum içi kod olarak yazıldı.
- TigerBeetle esintili VOPR simülasyon testleriyle disk, ağ ve saat hataları denetleniyor.
- Motor; tam metin, vektör ve grafik aramanın yanında yerel model çıkarımını destekliyor.
Arama ve yapay zeka çıkarım motoru geliştiren Antfly girişimi, Go ile hazırlanan v0.1 sürümünün ardından v0.2 sürümüyle tüm çekirdek motorunu sıfırdan Zig dilinde yeniden geliştirdi. Şirket, veritabanı mimarisini harici bağımlılıklardan arındırarak tek bir süreç altında bellek, işlemci ve grafik birimi kaynaklarını doğrudan kontrol etmeyi hedefledi. Yeniden yazım kararı; taşınabilirlik, C kütüphaneleriyle doğrudan uyumluluk, hız ve TigerBeetle tarzı simülasyon testlerinin temel sisteme entegre edilebilmesi gerekçelerine dayandırıldı.
Yeni mimari kapsamında geliştiriciler; LSM depolama motoru, LMDB uyumlu B+ ağacı yapısı, Raft mutabakat protokolü ve HTTP/3 ağ katmanını tamamen sıfırdan hayata geçirdi. Dağıtık sistemlerin güvenilirliğini test etmek için Zig'in I/O yapısı üzerinden VOPR simülasyonu ve TLA+ izleme doğrulamaları sisteme dahil edildi. Bellek güvenliği yaklaşımında Rust'ın derleme anı kısıtlamaları yerine çalışma zamanında her katmanda hata enjeksiyonu ve kapsamlı simülasyon testleri tercih edildi.
Antfly v0.2 sürümü ilişkisel, doküman tabanlı ve analitik veri depolama modellerinin yanı sıra metin, yoğun vektör, seyrek vektör ve grafik indeksleme kabiliyetlerini tek çatı altında sunuyor. Sistem ayrıca ONNX, GGUF ve safetensors modelleri için yerel çıkarım, LoRA tabanlı ince ayar ve PDF'ten sese kadar çok modlu veri zenginleştirme özelliklerini destekliyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.