Jepsen ParticleDB üzerinde 96 tutarlılık ve güvenilirlik hatası tespit etti
Öne çıkanlar
- Jepsen, tek düğümlü ParticleDB testlerinde 96 ayrı teknik sorun belirledi.
- Tanıtımlarda öne sürülen TLA+ kanıtı ve tam ACID desteği gerçeği yansıtmadı.
- İki eşzamanlı işlemde dahi sistem kilitlenmeleri ve veri tutarsızlıkları oluştu.
Dağıtık sistemlerin güvenilirliğini test eden Jepsen ekibi, Orkes tarafından geliştirilen ve Rust ile yazılan ParticleDB veri tabanına yönelik analiz raporunu yayımladı. Conductor iş akışı platformu için geliştirilen ve yapay zeka iş yüklerini tek çatı altında toplamayı vadeden veri tabanının 1.1.4 ile 1.1.18 sürümleri incelendi. Rapor, sistemin normal tek düğümlü çalışmada dahi geniş çaplı kilitlenmeler ve tutarsızlıklar yaşadığını ortaya koydu.
İnceleme sürecinde veri tabanında toplam 96 adet teknik sorun belirlendi ve bunlardan 93'ünün tek düğümlü, hatasız ortamlarda gerçekleştiği aktarıldı. Resmî tanıtımlarda yer alan tam ACID desteği ve TLA+ matematiksel doğrulaması iddialarının gerçeği yansıtmadığı görüldü. Testler sırasında iki eşzamanlı işlemde dahi kalıcı kilitlenmeler oluştuğu, PostgreSQL uyumluluk protokolünün çöktüğü ve basit SQL sorgularının hatalı sonuçlar döndürdüğü saptandı.
Özellikle WHERE koşullarının birincil anahtarları yanlış eşleştirdiği, matematiksel ifadelerin sessizce yok sayıldığı ve işlem seviyelerinin belgelerle çeliştiği vurgulandı. Orkes geliştirici ekibi bildirilen sorunların önemli bir kısmını sonraki sürümlerde yamalamaya başlasa da analiz, veri tabanının üretim ortamları için henüz güvenilir bir zemin sunmadığını gösterdi.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.