الخلاصة

  • يضيف RFC 9917 إلى تعريفات Flex-Algorithm في IS-IS وOSPF قيود الاستبعاد والاحتواء الجزئي والاحتواء الكامل المعتمدة على Administrative Groups في الاتجاه العكسي.
  • يمكن لملاحظة يجريها الطرف المستقبل أن تستبعد الحافة الأمامية من المخطط المقيد؛ وهذا يثبت تنفيذ سياسة، لا حدوث عطل مادي أو صحة العتبة أو انتقال الحركة فعلياً.
  • ينشئ المستند سجلاً مرتباً لدى IANA؛ يجوز إدراج قواعد مستقبلية، لكن لا يجوز تغيير الترتيب النسبي للقواعد القائمة أو حذفها أو دمجها أو تكرارها.

وصلة واحدة وسجلان موجهان

تظهر الوصلة بين A وB في مخطط IGP على هيئة حافتين: A→B وB→A. يقيس B أخطاء CRC وغيرها في الإطارات التي يستقبلها من A، بينما قد يكون القرار المطلوب هو منع A من استخدام A→B. مكان القياس إذن ليس هو الجهة التي تُطبَّق عليها نتيجة المسار.

يعالج RFC 9917 هذا الفصل. يصف المثال أخطاء إدخال تُراقَب خلال فترة محددة عند العقدة المستقبلة. تستطيع السياسة المحلية تمثيل النتيجة بمجموعة إدارية موسعة على الحافة العكسية. بعد ذلك يستشير Flex-Algorithm Definition هذه المجموعة عند تقرير أهلية الحافة الأمامية.

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

ثلاثة قيود وثلاثة اختبارات دقيقة

يستبعد Exclude Reverse الوصلة إذا ظهرت أي مجموعة محددة على الحافة العكسية. ويستبعد Include-Any Reverse الوصلة إذا لم تظهر أي مجموعة من القائمة. أما Include-All Reverse فيشترط ظهورها كلها ويستبعد الوصلة عند غياب إحداها. يحدد RFC 9917 عناصر sub-TLV المقابلة في FAD لكل من IS-IS وOSPF.

حتى المدخلات التالفة لها حدود واضحة. إذا كان طول sub-TLV غير صحيح يُتجاهل العنصر كله. أما التكرارات فتخضع، بحسب موضعها، لقاعدة أول ظهور أو لرفض FAD. بذلك لا تتحول البايتات الملتبسة إلى سياسات مختلفة بصمت بين التطبيقات.

ثم يبدأ الحساب المحلي. يحتاج كل موجّه إلى نسخة بعينها من LSP أو LSA، واختيار winning FAD وفق RFC 9350، ودعم القيود الواردة فيها، وتنفيذ القواعد بالترتيب. الناتج مخطط محلي ومسار محسوب؛ وليس دليلاً على أن جميع العقد امتلكت النسخة نفسها في اللحظة نفسها، أو ثبّتت المسار في FIB، أو مررت الحزم ذاتها.

قد تصنع العتبة اضطراباً جديداً

إذا تذبذب القياس قرب عتبة واحدة، فقد تُضاف المجموعة العكسية وتُزال مراراً. ويمكن لكل تغيير أن يطلق نشر LSP/LSA وإعادة الحساب. ينبه RFC 9917 إلى ذلك، ويعرض عتبتين مختلفتين للتفعيل والإزالة، ويشير إلى إمكان الحد من المعدل عبر آليات throttling المعتادة.

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

يجب فصل أزمنة عبور القياس للعتبة، وتغيير EAG، وإنشاء كل نسخة link-state واستقبالها، وإعادة الحساب، وتعديل FIB، وقياس الخدمة. جمعها تحت توقيت واحد للمناورة يمحو التأخيرات التي يحتاجها التحقيق.

ترتيب القواعد عقد للتوافق

وضع RFC 9350 التسلسل الأساسي، ثم أضاف RFC 9843 قيود النطاق الترددي والتأخير. يضيف RFC 9917 قواعد المجموعات العكسية وينشئ سجل IANA المسمى «IGP Flex-Algorithm Path Computation Rules» لحفظ التسلسل الكامل.

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

يثبت السجل حالة عقد التنسيق، ولا يثبت تنفيذ موجّه محدد. دعم البرمجية والإعداد وFAD المستلمة وأثر الحساب وFIB سجلات مستقلة.

تنتهي سلسلة الإثبات عند الحزم

السلسلة القابلة للتدقيق هي: عدادات الاستقبال ← قرار النافذة والعتبة ← EAG العكسي ← نسخة LSP/LSA ← winning FAD ← نتيجة التقليم المرتب ← المخطط المحلي ← المسار المحسوب ← FIB ← الحزم المرصودة ← نتيجة الخدمة. لكل انتقال مالك وهوية وتوقيت.

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

المصادر