Jepsen يكتشف 96 مشكلة في إصدارات ParticleDB من 1.1.4 إلى 1.1.18.11.rc-22

اختبر Jepsen إصدارات ParticleDB من 1.1.4 حتى 1.1.18.11.rc-22 ووجد 96 مشكلة في قاعدة البيانات، من أعطال وتجمّدات إلى فقدان بيانات ونتائج استعلامات شاذة. وحدثت معظم المشاكل في نسخ سليمة أحادية العقدة، بعميل واحد ودون أي أعطال. وبحلول الإصدار 1.1.18.11.rc-22، بدت جميع تلك المشاكل محلولة باستثناء عشر منها، لكن ParticleDB ما زال يفقد كتابات مُثبَّتة أثناء التشغيل العادي مع وضع occ الافتراضي للمعاملات، وسمح بانحرافات داخلية وبتحديث ضائع (Lost Update) مع serializable، أقوى إعداداته.

ادعاءات السلامة والتوثيق

ParticleDB قاعدة بيانات متعددة النماذج مخصصة لأحمال عمل الذكاء الاصطناعي، وتقدم SQL المعاملاتية، ومخزن مفتاح-قيمة، والبحث المتجهي، وتحليلات حية، ودوال يحددها المستخدم تُسمى Particles. وهي تدعم بروتوكولي Postgres و Redis إضافة إلى واجهات gRPC و HTTP2، وكُتبت بلغة Rust. وقد روجت صفحتها الرئيسية لـ Full ACID ولإثبات TLA+، لكن لم تكن هناك أي مواصفة TLA+ متاحة أثناء التعاون. كما تضارب التوثيق بشأن أوضاع مزامنة WAL وأوضاع المعاملات، وتجاهل عبارات SET TRANSACTION ISOLATION LEVEL أو رفضها.

نطاق الاختبار

أُجريت الاختبارات على عقد Debian 13 داخل حاويات وعلى آلات EC2 افتراضية، باستخدام أحمال عمل Jepsen وأحمال جديدة خاصة بـ ParticleDB. واستطاعت الأدوات محاكاة أعطال العمليات، وفقدان الكتابات التي لم تُثبَّت بعد على القرص (fsync) باستخدام LazyFS، واقتطاع ملفات القرص أو إفسادها. واختُبرت أوضاع مزامنة WAL الثلاثة كلها وكل وضع من أوضاع المعاملات. ولم يُغطَّ النسخ المتماثل لأن البُنى المُقدَّمة لم تدعمه.

النتائج

شملت المشاكل أداءً متدنياً لوضع table-2pl، وأعطالاً غامضة تلقائية، وتجمّدات، وغياب ميزات في Postgres، واستجابات مشوّهة للعبارات المُحضّرة (prepared statements)، وثغرات في المصادقة، وأخطاء في المسندات (predicates) مثل تجاهل SELECT لعبارة WHERE، وإرجاع WHERE 4 = 5 لصف واحد، ونتائج غير منطقية لـ SELECT داخل المعاملات. وأصدرت Orkes منذ ذلك الحين الإصدار 1.1.19-rc.13 وتدّعي أنه يحل جميع المشاكل المتبقية التي ناقشها التقرير. ومُوِّل هذا البحث من Orkes, Inc.

المصادر: Lobsters