Summary

  • يجعل RFC 9933 قيمة SR-Algorithm ظاهرة في كائنات المسار وقيود PCEP. أما القيم من 128 إلى 255 فتحتاج إلى حل الرقم نحو Flexible Algorithm Definition فائز، ثم تطبيق مقياسه وقيوده ومجموعة المشاركين وخصائص الطوبولوجيا. لذلك لا يثبت تطابق الرقم وحده استمرار السياسة نفسها.
  • لا يتطلب التدقيق نشر خريطة الشبكة. يمكن إنشاء إيصال لحل السياسة يربط الرقم بتعريف FAD الفائز، وهوية ناشره وأولوية اختياره ونطاقه، وقاموس المقاييس، والدالة الهدف، والكائنات التي تم تجاهلها، وإصدار قواعد الاستبعاد، وملخص مشفر لحالة TED، وسلطة التغيير.

يعثر فريق مراجعة حادثة على سجلين يفصل بينهما شهر. في كليهما تظهر العبارة نفسها: SR-Algorithm 130. كانت جلسة PCEP سليمة، وأعلن الطرفان القدرة المطلوبة، وأعيدت قائمة مقاطع صحيحة. تبدو السياسة ثابتة لأن الرقم ثابت.

لكن من الممكن أن يكون إعلان FAD جديد ذو أولوية أعلى قد ظهر بين الحسابين. وربما استبدل مقياس التأخير بمقياس تكلفة محلي، أو أضاف قيدا على اتجاه الوصلة المعاكس، أو غيّر حدا أدنى للسعة. وقد تكون عقدة لا تدعم القيد الجديد قد توقفت عن المشاركة. لا يفرض أي من ذلك تغيير الرقم 130.

الرقم لم يصبح خاطئا. إنما تغيرت الوثيقة التي يشير إليها.

يقدم RFC 9933، «حمل SR-Algorithm في بروتوكول اتصال عنصر حساب المسار»، تجريدا تقنيا مفيدا. فهو يحدد كيف ينتقل رقم الخوارزمية المرتبط بـ SID، وكيف يطلب طرف قيد SR-Algorithm، وكيف تُمثل مقاييس مسار جديدة. لكنه يعتمد، عند التعامل مع Flexible Algorithms، على سياسة موزعة لا تحملها رسالة الطلب كاملة.

تبدأ مسألة الحوكمة حين يتحول الاختصار الناجح إلى دليل أوسع مما يحتمل. فسهولة تكرار 130 في اللوحات والتذاكر لا تعني أن معناه التنفيذي ظل واحدا.

ما الذي يثبته RFC 9933 على مستوى البروتوكول

صدر RFC 9933 في يوليو 2026 ضمن Standards Track في IETF، وهو يحدث امتدادات PCEP الخاصة بـ Segment Routing في MPLS وIPv6. يمكن أن يظهر حقل Algorithm في كائنات SR-ERO وSR-RRO ونظائرها في SRv6، كما يمكن أن يحمل كائن LSPA قيمة SR-Algorithm TLV لطلب قيد محدد. ويضيف النص أنواعا لمقياس أقل تأخير وعرض النطاق والمقاييس المعرفة محليا.

الاستخدام مقيد بالتفاوض على القدرة. لا يجوز تشغيل الامتداد إلا إذا أعلن الطرفان دعمه. ويؤدي الاستخدام بلا قدرة معلنة إلى خطأ Invalid Operation، كما يؤدي عدم اتساق الطول إلى رفض الكائن، ولـ SID غير المعروف خطأ محدد. وإذا تعذر العثور على مسار يحقق مجموعة القيود، يجب إعادة ERO فارغ أو NO-PATH بدلا من إنتاج مسار أخف قيودا بصمت.

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

القيمتان 0 و1 مسجلتان بمعنيي SPF وStrict-SPF. أما المجال 2–127 فهو مجال للخوارزميات القياسية، والمجال 128–255 مخصص لـ Flexible Algorithms. في المجال الأخير يأتي المعنى من تعريف يهيئه المشغل وينشره داخل النطاق.

لهذا فإن عبارة «Algorithm 130» عنوان صحيح، لكنها ليست نسخة من محتوى السياسة. يلزمها نطاق وزمن وحالة حل.

تعريف FAD الفائز هو السياسة المستخدمة

يعرف RFC 9350 Flexible Algorithm Definition بأنه مجموعة تتكون من نوع الحساب ونوع المقياس والقيود. ويربط الإعداد رقما من 128 إلى 255 بهذه المجموعة.

قد تعلن عدة موجهات تعريفات مختلفة للرقم نفسه. يختار المشاركون تعريفا واحدا بترتيب حتمي: تُفضل أولا الأولوية الرقمية الأعلى، وإذا تساوت الأولويات يفوز الإعلان الصادر عن أكبر System-ID في IS-IS أو Router ID في OSPF. ويسمى الناتج «winning FAD».

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

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

إذا لم تدعم عقدة مكونا في FAD الفائز، يفرض RFC 9350 عليها التوقف عن المشاركة وإزالة حالة التوجيه المرتبطة. وقد يؤدي تغيير التعريف إلى إعادة حساب وتقارب على نطاق الشبكة. تحافظ القاعدة على سلامة الحالة الجديدة، لكنها لا تسجل قرار الجهة التي أجازت التغيير ولا مدة سريانه.

رؤية FAD الحالي لا تثبت من كان الفائز بالأمس. يحتاج التحقيق إلى المرشحين السابقين ودرجاتهم ومصدر الفوز وحدود الزمن.

النطاق جزء من معنى الرقم

يُختار FAD داخل منطقة. وينص RFC 9350 صراحة على عدم ضرورة تطابق تعريف رقم معين في جميع المناطق. يمكن للرقم نفسه أن يقلل التأخير في منطقة وأن يفضل عرض النطاق في منطقة أخرى.

هذه المرونة تخدم اختلاف الاحتياجات المحلية. لكنها تجعل لوحة عالمية تجمع كل ظهور للرقم 130 تحت لون واحد لوحة مضللة. الرقم بلا منطقة يشبه مادة قانونية بلا ولاية قضائية: المرجع موجود، لكن القاعدة المقصودة غير مكتملة.

ينبغي أن يشمل الاسم القابل للمراجعة منطقة OSPF أو مستوى IS-IS، ونطاق الإعلان، وعصر السياسة. وإذا أعيد استخدام الرقم عبر مناطق، يجب التصريح إن كان التطابق الدلالي مقصودا أم أن المشترك مجرد رقم مريح.

يضع RFC 9933 خارج نطاقه حالة استخدام قيود SR-Algorithm مختلفة أو FAD فائز مختلف المقياس والقيود في أجزاء حساب واحد من طرف إلى طرف. لذلك ينبغي لسجل متعدد المجالات أن يحتفظ بحل منفصل لكل نطاق، لا أن يضغطها في رقم عالمي واحد.

لا تتطلب الحوكمة إلغاء الاختلاف المحلي. تتطلب إبقاء المعنى مرتبطا بولايته.

الاحتفاظ بالطلب لا يعني الاحتفاظ بالقرار

بالنسبة إلى Flexible Algorithms، يطلب RFC 9933 من PCE استخدام Traffic Engineering Database. ومن المتوقع أن تضم TED تعريفات FAD ومشاركة العُقد وخصائص الوصلات الخاصة بالتطبيق، التي تصل عبر امتدادات IGP أو عبر وسائل مثل BGP-LS في RFC 9552.

إذن ينتج المسار عن الطلب وعن بيئة أدلة متغيرة معا.

يوضح تعامل المقياس هذه الحقيقة. يجب على PCE استعمال نوع المقياس المحدد في FAD. وإذا أرسل PCC مقياس تحسين آخر في رسالة PCEP، يجب تجاهله في حالة Flexible Algorithm. ويجمع PCE بين قيود FAD والقيود المباشرة من PCC وفقا لقواعد المعالجة، بينما لا ينبغي لـ PCC نسخ قيود FAD نفسها في الطلب.

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

يمكن أن يكون سجل PCReq وPCRep كاملا كسجل اتصال، وناقصا كسجل قرار. ما ينقصه هو حالة البيئة التي حُلت الرسالة في ضوئها.

المقياس المحلي يجسد اختيارا مؤسسيا

يوسع RFC 9843 تعريفات FAD بقيود عرض النطاق والتأخير، وبحساب تلقائي لمقياس السعة، وبمقاييس عامة. ويمكن للمشغل تعريف الأنواع 128–255 للاستخدام المحلي.

تسمح المساحة بتمثيل الكلفة المالية أو التذبذب أو الطاقة أو المخاطر التعاقدية من دون فرض معيار عالمي مبكر. لكن «metric-type 130» لا يبين الوحدة أو الصيغة أو المصدر. وينبه RFC 9843 إلى ضرورة إعطاء المعنى نفسه للنوع إذا استُخدم المقياس المحلي عبر مناطق أو مستويات.

حتى مقياس عرض النطاق القياسي يتضمن قرارات. فإذا أعلنت الوصلة قيمة صريحة فإنها تتقدم على الاشتقاق التلقائي. وإذا غابت، يمكن لـ FAD الفائز أن يحدد عرض نطاق مرجعيا أو جدول عتبات. ويؤدي تغيير المعامل المركزي إلى تغيير تكاليف وصلات كثيرة من دون تغيير SR-Algorithm.

اختيار ما يُقاس هو توزيع للموارد والمخاطر. فالتأخير والسعة والكلفة المالية تقود الحركة إلى بنى مختلفة وتستهلك احتياطيات فشل مختلفة. لذلك ليس قاموس المقياس حاشية تقنية، بل وثيقة سياسة.

ينبغي حفظ المالك والوحدة وطريقة التطبيع والإصدار والمجال للمقياس المحلي، وحفظ الطريقة والمعاملات وأولوية المدخلات للاشتقاق التلقائي. تكرار الحساب من دون الدلالة يعيد الرقم ولا يعيد سبب القرار.

لقواعد الاستبعاد إصدار أيضا

لا يقتصر الحساب على ترتيب الوصلات؛ فهو يستبعد الوصلات التي تخالف القيود. أنشأ RFC 9917 سجل IANA المسمى «IGP Flex-Algorithm Path Computation Rules» بوصفه قائمة مرتبة.

يعرض سجل IANA لمعاملات IGP حاليا عشر خطوات، منها المجموعات الإدارية المستبعدة وSRLG وشروط include-any وinclude-all وغياب المقياس وحدود السعة والتأخير والمجموعات في الاتجاه المعاكس. ويمكن إضافة قواعد عبر Expert Review من دون حد أعلى ثابت.

هذا يجعل المقيّم نفسه حالة قابلة للتغير. قد تستخدم نسختان من PCE مجموعتي قواعد أو قدرات مختلفتين رغم تطابق FAD الظاهر. يفرض RFC 9933 الفشل عند عدم دعم المجموعة، وهو أفضل من إسقاط قيد بصمت. لكن NO-PATH بلا إصدار القواعد ولا سبب إزالة آخر مرشح لا يقدم تفسيرا كافيا.

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

الدالة الهدف ليست اسما آخر للخوارزمية

يحدد RFC 5541 الدوال الهدف في PCEP. يمكن لـ PCC أن يطلب دالة إلزامية أو أن يعبر عن تفضيل. وإذا كانت مرغوبة فقط، يجوز لـ PCE اختيار دالة أخرى وفقا للقدرة والسياسة المحلية.

يوضح RFC 9933 أن SR-Algorithm لا يحل محل الدالة الهدف. كما أن نوع المقياس طبقة مستقلة. يحدد FAD المجال والقيود، ويمنح المقياس قيما للوصلات، وتختار الدالة الهدف بين المرشحين، وتقدم TED حقائق اللحظة.

ينظم RFC 9753 المعالجة الاختيارية لبعض كائنات PCEP في الجلسات ذات الحالة حين يدعم الطرفان الآلية. يمكن تجاهل كائن مع الإبلاغ عن ذلك. والمسار الذي لبى كل الشروط ليس مماثلا مؤسسيا لمسار نتج بعد تخفيف شرط اختياري. يجب أن يحفظ الإيصال مصير كل كائن.

يوفر نموذج YANG في RFC 9826 رؤية للكيانات والأقران والجلسات والإشعارات والإحصاءات. ويوصي RFC 9933 أيضا بإظهار القدرات وFAD والعُقد المشاركة للمشغل. الرؤية الحالية تجعل جمع الدليل ممكنا، لكنها لا تضمن حفظ التاريخ.

TLS يحمي النقل ولا يجمد معنى السياسة

يوصي RFC 9933 باستخدام TLS لحماية PCEP، ويحدث RFC 9916 ملف PCEPS لاستخدام TLS الحديث. هذا ضروري لمنع تغيير القيود أو انتحال وحدة التحكم.

ومع ذلك، يستطيع طرف أصيل أن يرسل طلبا أصيلا يُحل وفق FAD شرعي جرى تغييره للتو. يثبت TLS هوية المرسل وسلامة البايتات أثناء النقل، ولا يثبت من أجاز الأولوية 200 أو متى تنتهي سياسة الطوارئ أو ماذا عنت قيمة المقياس المحلي.

سلامة التشفير ومصدر السياسة دليلان متكاملان. الأول يحمي السجل الموجود، والثاني يحدد إن كان السجل يحتوي على سلسلة القرار المطلوبة.

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

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

يتضمن الإيصال معرف الطلب وهوية PCE وPCC والوقت والنطاق؛ قيمة SR-Algorithm وموضعها؛ FAD الفائز بصيغة معيارية وهاشه؛ الناشر والأولوية وكسر التعادل والمنطقة؛ قاموس المقياس أو معاملات اشتقاقه؛ الدالة الهدف وهل كانت إلزامية أو مفضلة أو مستبدلة؛ القيود المباشرة والكائنات المتجاهلة؛ إصدار قواعد الاستبعاد والتنفيذ؛ هاش TED ومجموعة المشاركين واستبعادات القدرة؛ نتيجة ERO أو ERO فارغ أو NO-PATH وسببها؛ ثم تذكرة التغيير ودور الموافق ونافذة التفعيل وشرط الرجوع وموعد المراجعة.

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

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

Sources