يستخدم Marc Brooker، المهندس في Amazon Web Services الذي يعمل على سلامة الذكاء الاصطناعي الوكيل وسياساته، الرسوم المتحركة لمساعدة المهندسين على بناء فهم حدسي لكيفية عمل الأنظمة الموزعة وكيفية فشلها. ويشير إلى أن الرسوم المتحركة قد توضح سلوكيات يصعب إدراكها من النص وحده.
يُظهر أحد الأمثلة أن مجموعة Raft يمكن أن تفقد عمليات الكتابة إذا أبلغت طبقة التخزين لدى عضو واحد فقط خطأً بأن fsync() قد اكتمل. وقد وضحت أداة Stability Sim السابقة التي طورها Brooker حالات الفشل شبه المستقرة بشكل مجرد، لكن المهندسين كثيراً ما يشككون في حدوث هذه السلوكيات في أنظمة مثبتة الكفاءة في بيئة الإنتاج.
للرد على هذا الشك، يعرض تتبعات من أنظمة حقيقية. ففي Postgres 16 الذي يعمل داخل Micro VM، تملأ زيادة مفاجئة في الحمل الذاكرة بالاستعلامات، فتدفع البيانات خارج ذاكرة الصفحات إلى القرص، فلا تعود قاعدة البيانات التي كانت تعالج 20 استعلاماً في الثانية قادرة على مواكبة الحمل. وفي etcd، تجعل زيادة حمل الكتابة الأقران المثقلين يبدون غير متاحين، فيؤدي ذلك إلى إعادة إرسال على مستوى التطبيق تُبقي على الحمل الزائد.
ويوضح مثال إضافي من etcd حلقة تغذية راجعة لجمع القمامة: إذ يرفع ارتفاع القراءات من 500 إلى 1000 قراءة في الثانية زمن جمع القمامة ويقلل وحدة المعالجة المركزية المتاحة، ولا يتعافى النظام دون تدخل. ويرى Brooker أن بيئات التشغيل التي لا تستخدم جمع القمامة قد تُظهر سلوكاً مشابهاً عبر عبء المخصص، لكنه لم يعد إنتاجه بعد. وقد أُنشئت جميع الرسوم المتحركة باستخدام Kiro وKiro Crew، بالاعتماد على تتبعات التُقطت من بيئة اختبار حقيقية.
المصدر: Hacker News · لخّصه HeadlinesBriefing