مقالة تشرح بمثال exactly-once في Kafka لماذا لا تجعل أي مكتبة النظام متّسقًا
المغزى: تفعيل ضمانة في مكوّن واحد لا يمنحها للنظام كله، فالخصائص العامة تحتاج من يفهم النظام من طرفه إلى طرفه، والـ agent الذي يكتب قطعة جيدة لا يرى النظام.
نُشرت في 6 أكتوبر 2026 مقالة بعنوان “Consistency is not a localized property”، أي أن الاتساق ليس خاصية تخص قطعة واحدة من النظام. وتطرح المقالة فكرتها بمثال معروف في الأنظمة الموزعة: خاصية exactly-once في Kafka، أي أن تُعالَج الرسالة مرة واحدة بالضبط، لا أكثر ولا أقل.
وتقول المقالة إن جعل الكتابة exactly-once استغرق من فريق من مهندسي الأنظمة الموزعة سنوات، وتطلّب مكوّنات جديدة وإعادة كتابة مكوّنات قديمة. ثم تنقل عن صنّاع الخاصية جملتين حاسمتين: أن معالجة exactly-once ضمانة من الطرف إلى الطرف، وأن التطبيق نفسه يجب أن يُصمَّم كي لا يخرقها.
ومعنى ذلك عمليًا أن تفعيل الإعداد في Kafka وترك التطبيق كما هو لا يمنح النظام الضمانة. فالمكوّن يفي بوعده، لكن النظام الذي يحيط به قد لا يفي. والقاعدة التي تستخلصها المقالة: إن لم يستطع المكوّن أن يعد بالخاصية، فلا بد أن يسكن الوعد في مكان آخر أعلى منه.
وتحذر المقالة من تسليم الخصائص العامة القيّمة للآلات وافتراض أنها محفوظة. وتختم بأن هذه الضمانات قائمة على الفهم، لا على الكود.
والمقالة تتحدث عن الآلات عمومًا، لكن الفكرة تزداد وزنًا في زمن الـ coding agents. فالـ agent يكتب الدالة أو الخدمة المطلوبة، وقد يكتبها جيدًا، لكنه يعمل على قطعة ولا يرى النظام كاملًا. وبالنسبة للفرق الصغيرة التي تعتمد على هذه الأدوات، يصبح السؤال عمّن يملك الخصائص العامة للنظام، كالاتساق ومنع التكرار، سؤالًا عن أشخاص بأسمائهم، لا عن إعدادات في ملف.