الخلاصة

  • يقترح draft-dikshit-netconf-yang-push-causal-ordering-00 مكوناً مادياً وآخر منطقياً كي تقارن الجهة المستقبلة إشعارات ناشرين مختلفين؛ أما العداد المتزايد لكل ناشر فلا يحمل معنى مشتركاً بينهم.
  • يحفظ HLC اتجاهاً واحداً: إذا سبق الحدث e الحدث f سببياً كانت ساعة الأول أصغر. لا تثبت الساعة الأصغر وجود السبب، وقد يتساوى الزوج عند ناشرين مستقلين أو يرتب حدثين متزامنين بلا علاقة.
  • يجب وصل زمن الحدث والملاحظة والإرسال والوصول والقرار بهوية الناشر وجيله وحالة الساعة والفجوات والتبعيات ونطاق الرؤية وسلطة الفعل والنتيجة المرصودة.

ثلاثة أزمنة لا تجيب عن سؤال واحد

قد يضع النظام المصدر زمناً يقول إنه زمن الحدث. ويضيف ناشر YANG-Push رقماً متتابعاً أو زوج HLC عند إعداد الإشعار. ثم يضع المستقبل زمناً عند استلامه. هذه القيم لا تتكرر عبثاً؛ كل واحدة تحدد حداً مختلفاً.

زمن الحدث قد يأتي من المكوّن الذي شاهد الحالة، وقد يتأثر بساعته أو بطريقة القياس. زوج HLC يحفظ ترتيباً منطقياً قريباً من الزمن المادي عند الناشر ويتقدم عند تبادل الرسائل. زمن الوصول يصف مسار النقل وجدولة المستقبل والازدحام، لا لحظة التغيير في الجهاز. اختيار أصغر قيمة أو أكبرها لا يلغي اختلاف المصدر والمعنى.

المسودة الفردية تبدأ من مشكلة محددة في YANG-Push الإصدار الثاني. رقم التسلسل الخاص بالناشر يكشف فجوة أو إعادة ترتيب داخل السلسلة نفسها، لكنه لا يسمح بمقارنة رقم 400 من الناشر ألف بالرقم 12 من الناشر باء. تقترح المسودة HLC كي يصبح للمستقبل مفتاح مقارنة صغير عبر الناشرين. الفائدة حقيقية، لكن المفتاح الجديد لا يوحد الساعات الثلاث في حقيقة واحدة.

سهم السببية لا يعمل في الاتجاهين

يعرف علم الأنظمة الموزعة سبق الحدث من خلال انتقال المعلومات: ترتيب محلي داخل عملية، إرسال تليه عملية الاستلام الموافقة، ثم العلاقات الناتجة بالانتقال. تقول ورقة HLC الأصلية إنه إذا سبق e الحدث f بهذه الصورة فإن hlc(e) < hlc(f). الساعة لا تقلب مساراً سببياً معروفاً.

العكس غير مضمون. يمكن لناشرين لم يتبادلا أي رسالة أن يرصدا حالتين مستقلتين. اختلاف ساعتيهما الماديتين يعطيهما زوجين مختلفين، فيضع الترتيب أحدهما أولاً. هذا مفيد للعرض والحفظ، لكنه لا يثبت أن الأول أرسل معلومة إلى الثاني، أو أنهما جزء من معاملة واحدة، أو أن تغييراً في الأول أنتج الثاني.

تحمل الساعات المتجهة معلومات أكثر، فتتيح المقارنة بالمكونات تمييز السبق السببي من التزامن. تكبر كلفتها مع عدد المشاركين. يختار HLC حجماً ثابتاً وقرباً من الزمن المادي مع حفظ السببية في اتجاه واحد. لا ينبغي للطبقة التحليلية أن تدعي الدليل الذي لم تحمله صيغة الساعة.

حتى الترتيب الكلي يحتاج حسم التعادل

تقترح المسودة زوجاً من الميلي ثانية المادية والعداد المنطقي، ثم المقارنة المعجمية. داخل عملية واحدة، يمنع العداد المنطقي انهيار عدة أحداث في القيمة المادية نفسها. لكن ناشرين مستقلين قد يقرآن الميلي ثانية نفسها ويصدر كل منهما أول حدث منطقي، فينتجان الزوج ذاته.

يمكن إضافة هوية ناشر مستقرة وجيل عملية ومعرف حدث لحسم التعادل. تصبح القائمة حتمية. إلا أن تقديم ألف على باء بسبب ترتيب الهوية لا ينشئ علاقة سببية. إنها قاعدة إدارية ينبغي تسجيلها مع نسختها، ومنعها من التحول بصمت إلى حافة سبب أو ترتيب لاستعادة الخدمة.

الجيل ضروري لأن اسم المضيف قد يبقى بعد إعادة تشغيل أو استبدال أو استرجاع صورة. وقد تعمل نسختان في الوقت ذاته تحت اسم سيئ الإدارة. يحتاج المستقبل إلى هوية موثقة، وبداية جيل، وطريقة استعادة حالة HLC، وبيان التداخل. تشابه الاسم ليس دليلاً على استمرار الساعة.

إبسيلون يفصل المشبوه ولا يشهد للصحيح

تقر المسودة بأن ناشراً يملك ساعة متقدمة يمكنه دفع مكونه المادي بعيداً، فتظهر سجلاته دائماً في موضع لاحق. وتقترح أن يعد المستقبل أي قيمة تتقدم على ساعته بأكثر من إبسيلون مضبوط قيمة مشبوهة. هذا حد احتواء مفيد، لكنه يعتمد بدوره على سلامة ساعة المستقبل.

قد يفقد الموقع التزامن، أو يدخل وضع الاحتفاظ، أو يستخدم مصدراً زمنياً مختلفاً. يصف RFC 5905 آليات NTP، ويصف RFC 9581 تمثيل الزمن وبعض معلومات جودته. لا يثبت أي منهما هوية الحدث أو صحة محتواه أو علاقته السببية.

الحذف يخلق فجوة، والحجر يؤخر التحليل، والتصحيح يستبدل ادعاء الناشر بقرار الجامع، والقبول قد يشوه النوافذ. ينبغي حفظ القيمة الأصلية وحالة التزامن والحد والإجراء والقيمة المشتقة وأي إعادة حساب لاحقة. من دون ذلك تبدو القائمة نظيفة لأن أثر الإصلاح اختفى.

الترتيب لا يضمن اكتمال الرؤية

لا يرتب HLC إلا ما وصل. قد يغيب ناشر كامل، أو يحجب التحكم في الوصول مساراً، أو تنتهي الاشتراكات، أو يفشل فك المخطط، أو يدمج المصدر تحديثات، أو يتأخر الجامع. تبقى سلاسل الآخرين مرتبة. الصمت لا يعني أن الحالة لم تتغير؛ يعني فقط أن المستقبل لا يملك سجلاً ضمن رؤيته.

كما لا يثبت الترتيب أن السجلات تصف لقطة واحدة. قد يقرأ نظام الواجهات قبل انتقال، ويقرأ نظام التوجيه بعده. كل ملاحظة صحيحة محلياً، بينما لم يوجد الجمع بينهما في لحظة واحدة. يلزم حاجز مشترك أو نسخة معاملات أو نافذة معلنة تسمح بالتعارض.

تحتفظ سلسلة الإثبات بهوية الناشر وجيله وتسلسله وHLC وحالة الساعة والاشتراك والمخطط ورؤية الصلاحيات، وتفصل زمن الحدث والملاحظة والإرسال والوصول والقرار. إذا زعمت السببية تضيف رسالة أو معاملة أو تبعية ميدانية. وإذا نفذت فعلاً تضيف صاحب القرار وتفويضه والهدف والمعلمات والتحقق عند المورد والتنفيذ وقراءة الحالة والملاحظة المستقلة للشبكة أو الخدمة.

حدود وثيقة قيد العمل

النسخة 00 مؤرخة في 30 أغسطس 2026، وغايتها Informational، وتنتهي في 1 مارس 2027. وهي Internet-Draft فردية بلا مسار RFC. يوضح Datatracker أنها غير معتمدة من IETF ولا مكانة رسمية لها في عملية المعايير. ليست وثيقة لفريق NETCONF ولا RFC ولا تقرير تنفيذ أو تشغيل.

مع ذلك، فإن سؤالها مشروع: كيف يدمج المستقبل عدادات لم تكن قابلة للمقارنة؟ يقدم HLC مرشحاً عملياً. أما الحكم المنضبط فهو أنه يحفظ سبباً موجوداً ولا يخلقه من الفارق العددي، ويرتب قيماً كثيرة ولا يحسم كل تعادل وحده، ويساعد التحليل ولا يثبت اكتمال الرؤية أو شرعية الفعل أو أثره.

المصادر