كان يحمي الوصلة، لا العقدة التي اختفت

الخلاصة

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

ابدأ باسم الفشل

السؤال التشغيلي الأول ليس «هل LFA مفعّل؟» بل «ممّ نحمي هذه الوجهة؟». قد يكون المطلوب تجاوز وصلة بين S والجار الأساسي E. وقد يكون المطلوب تجاوز E كله. وقد تكون الوصلة جزءاً من منفذ أو بطاقة مشتركة مع وصلات أخرى. إذا لم يسمِّ السجل الفشل، فلا يمكن تفسير كلمة «محمي».

في الشرط الأساسي لـRFC 5286، يصبح الجار N بديلاً خالياً من الحلقة إلى الوجهة D فقط إذا كان:

Distance_opt(N,D) < Distance_opt(N,S) + Distance_opt(S,D)

المقارنة صارمة. إذا كانت المسافة الأولى 20، وكان الطرف الآخر 7 + 13، فالتساوي لا يكفي. لا يستطيع S إثبات أن أقصر طريق من N إلى D لن يعود عبر S. لذلك تكون نتيجة المرشح «غير مؤهل»، لا «مؤهل بدرجة أقل».

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

الوجهة هي وحدة الحساب

يستخدم RFC 5286 قفزة تالية احتياطية محسوبة مسبقاً لتقليل الفقد إلى أن يكتمل تقارب التوجيه الموزع. عند اكتشاف فشل القفزة الأساسية، يمكن للموجّه استخدام البديل محلياً إلى أن تُثبّت نتيجة SPF الجديدة. حساب البديل لا يغيّر القفزة الأساسية العادية.

لكن الحساب يجري لكل وجهة. قد يصلح N لبادئة ولا يصلح لأخرى. وفي البادئات متعددة الموطن تدخل عدة عقد أصل وتكاليف إعلان. حدّث RFC 8518 القسم الخاص بهذه الحالة وشرح قواعد إضافية للبادئات الخارجية في OSPF. ولذلك قد يكون تلخيص النتيجة حسب القفزة التالية فقط خشناً إلى درجة يخفي معها استثناء مهماً.

حتى نسبة التغطية تحتاج إلى تعريف. هل المقام هو عدد الوصلات أم العقد أم البادئات أم القفزات الأساسية أم حجم المرور؟ وهل البسط يعني حماية وصلة أم حماية عقدة؟ قد يكون الرقم مرتفعاً بينما تبقى البادئات الحرجة في الجزء غير المحمي.

درس RFC 6571 علاقة التغطية بالطوبولوجيا. ووسّع RFC 7490 المجال إلى remote LFA لأن بعض الرسوم، وخصوصاً الحلقات، لا توفر جاراً مادياً مناسباً. ظهور «لا مرشح» في LFA العادي ليس بالضرورة خطأ؛ قد يكون الوصف الصادق للرسم.

الحماية من الوصلة لا تتجنب العقدة تلقائياً

اجتياز الشرط الأساسي يثبت عدم العودة إلى S في حالة الوصلة التي حُسبت. لكنه لا يثبت أن مسار N يتجنب E. إذا كانت لدى N مسارات متساوية التكلفة وكان أحدها يمر عبر E، فلا يملك S سلطة فرض المسار الآمن. لهذا لا يمنح RFC 5286 حماية العقدة اعتماداً على احتمال حسن.

هناك شرط أشد للمسار المتجه إلى المصب:

Distance_opt(N,D) < Distance_opt(S,D)

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

في شبكات البث وNBMA يدخل pseudonode في الاختبار. قد يتجنب المرشح العقدة الأساسية لكنه يعتمد على قطاع البث الفاشل نفسه. وتضيف مجموعات المخاطر المحلية وصلات قد تشترك في منفذ أو بطاقة أو سبب فشل. لذلك يجب أن يذكر سجل المرشح بوضوح: حماية وصلة، حماية عقدة، حماية SRLG جزئية أو لا حماية.

كذلك لا تنتقل البرهنة تلقائياً إلى فشل أكبر. بديل حُسب لفشل وصلة واحدة لا يصبح صالحاً لفشل العقدة أو فشلين متزامنين. يناقش RFC 5286 احتمال microloop عندما تتجاوز الواقعة مجموعة الفشل التي تجنبها الحساب.

سبع حالات لا حالة واحدة

السلسلة التشغيلية المفيدة هي:

مُعدّ -> مؤهل حسابياً -> مختار -> مثبت -> مفعّل -> يمرر حركة -> تقارب مكتمل

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

قد يقدم BFD دليلاً على وقت اكتشاف الفشل، لكنه لا يثبت وجود مرشح أو تثبيته. وقد ينجح الحساب بينما يفشل برمجة العتاد بسبب الموارد أو خطأ منفصل. جمع هذه الحالات في «FRR يعمل» يلغي صاحب المسؤولية في كل خطوة.

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

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

حدود الادعاء

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

ولا يجوز افتراض أن remote LFA أو TI-LFA أو Segment Routing أو RSVP-TE FRR سيملأ الفراغ تلقائياً. لكل آلية متطلبات وأدلة مستقلة. إذا لم ينجح LFA العادي، فالعبارة الدقيقة هي «لا بديل مؤهل لهذه الوجهة تحت هذه الطوبولوجيا والسياسة».

هذا المقال لا يعيد أطروحة RFC 9855 المنشورة عن الفرق بين الإصلاح المحلي واستعادة الخدمة. تركيزه أسبق: أي نوع من الفشل سمحت المتباينات لهذا الجار أن يحمي منه؟