الخلاصة

  • تضع draft-ietf-idr-bgp-rpki-yang-02 مقاييس تحقق المنشأ في خمسة مواضع من BGP RIB. ومسار YANG والجار وعائلة العناوين أجزاء من معنى القياس.
  • يمكن لقياسين متساويين أن يصفا مسارات مختلفة. كما أن التحقق لا يثبت الاختيار أو التصدير أو قبول الجار أو مرور الحزم فعلاً.

قبل التغيير كانت هناك 10,000 طريق تحمل حالة منشأ صالحة. وبعد التغيير بقي العدد 10,000. لو كان الهدف هو حفظ الرقم فقط، لكانت المهمة ناجحة.

لكن قد يختفي بادئة عميل مهمة ويحل محلها مسار لا صلة له بها. يبقى الحساب صحيحاً، بينما تتغير المخاطر التشغيلية. هذه هي المسافة بين حجم المجموعة وهوية أعضائها، وهي أهم قراءة إدارية في draft-ietf-idr-bgp-rpki-yang-02 المؤرخة في 30 سبتمبر 2026.

تعرّف مسودة مجموعة IDR ثلاثة نماذج منفصلة: تحقق AS المنشأ، وBGPsec، وASPA. ويعرض نموذج المنشأ حالات غير متحقق، ومجهول، وغير صالح، وصالح في عدادات من نوع gauge32 عند خمس نقاط.

خمسة مواضع تعني خمسة حدود مختلفة

تظهر الإحصاءات في adj-rib-in-pre وadj-rib-in-post وloc-rib وadj-rib-out-pre وadj-rib-out-post لكل من IPv4 وIPv6.

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

لذلك لا يثبت عداد الإدخال محتوى RIB المحلي. ولا يثبت RIB المحلي الإعلان إلى جار محدد. ولا يثبت ما بعد سياسة الإخراج أن الجار قبله. ولا يثبت أي عداد وحده أن الحزم سلكت المسار المقصود.

مسار YANG ليس تفصيلاً في أداة الجمع؛ إنه حد الادعاء. وكذلك AFI/SAFI وهوية الجار. وقد يخفي المجموع عبر عدة جيران فقدان مزود بزيادة مساوية من مزود آخر، مع تغير التكلفة والجغرافيا ونطاق الفشل.

العداد لا يعرف الأعضاء

يعطي gauge32 كمية حالية، ولا يعطي قائمة المسارات أو بصمة تلك القائمة. قد تضم مجموعتان العدد نفسه من العناصر مع اختلاف عناصرهما. يخرج مسار ويدخل آخر، فيبقى الخط مستوياً. وقد تستبدل السياسة فئة كاملة من البادئات بفئة أخرى من دون تغيير المجموع.

إذا كان المطلوب إثبات الاستمرارية، فلا بد من إيصال مستقل لهوية المجموعة: بصمة معيارية للبادئة ومنشأ AS وAS_PATH والقفزة التالية، أو قائمة محدودة، أو اختبارات عضوية للبادئات الحرجة. تختلف الآلية باختلاف الحجم، لكن الواجب واحد: القدرة على الإجابة عن سؤال «ما الذي عُدّ؟».

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

كلمة «صالح» تجيب عن سؤال ضيق

يقارن تحقق منشأ RPKI البادئة وAS المنشأ ببيانات ROA المتحقق منها. يضع RFC 6811 الأساس، ويوضح RFC 8481 نطاق التحقق ويفصل التحقق عن سياسة لم يضبطها المشغل.

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

فصل النماذج الثلاثة يحافظ على هذا الانضباط. جمعها في شارة خضراء واحدة يمحو نوع الادعاء الذي جرى التحقق منه.

قد تتغير السياسة ويبقى المجموع ثابتاً

يمكن تفعيل تحقق المنشأ بحسب عائلة العناوين وتقييده بواسطة eligible-prefix-policy. وتقرر حاوية مستقلة إن كانت الحالة تدخل في حساب أفضل مسار. ويتحكم allow-invalid وallow-not-found في أهلية الحالات.

إرسال المجتمع الموسع الوارد في RFC 8097 قرار آخر. واستخدام حالة التحقق عند التصدير قرار مستقل أيضاً، بسياسة بادئات ومعالجة خاصة لحالة not-found، مع الإحالة إلى RFC 8893.

وهكذا قد تنتج توزيعة الحالات نفسها سلوكاً مختلفاً. يمكن لتغيير allow-invalid أو allow-not-found أو سياسة التصدير أن يبدل المسارات المختارة والمعلنة من دون تحريك عداد الصالح.

يجب أن يربط إيصال التدقيق الملاحظة بالإعداد المطبق فعلياً وبنسخة السياسة. لا تكفي نية وحدة التحكم. ويميّز RFC 8342 بين القيم المضبوطة والقيم التشغيلية لأن المعالجة والبروتوكولات والعتاد قد تباعد بينها.

سلسلة إيصالات بدلاً من مصباح أكبر

يفصل التصميم القابل للدفاع بين: مدخلات التحقق وحداثتها؛ والإعداد المطبق؛ ومسار القياس وتوقيته؛ وهوية مجموعة المسارات؛ وقرار الاختيار؛ والمجموعة ورسالة UPDATE المصدرة؛ وقبول الجار؛ والنتيجة المرصودة في الوصول والخدمة.

لا تثبت أي حلقة الحلقة التالية. البيانات الحديثة لا تثبت تطبيق السياسة. والعدد لا يثبت الأعضاء. والأعضاء لا يثبتون الاختيار. والاختيار لا يثبت التصدير. والتصدير لا يثبت القبول. والقبول لا يثبت نجاح الخدمة.

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

حالة الوثيقة وحدودها

يسجل Datatracker النسخة 02 كمسودة إنترنت نشطة (Internet-Draft) مقصود بها Standards Track، وحالتها I-D Exists. وهي ليست RFC. ولا تثبت المصادر المجمدة تطبيق بائع محدد أو نشرها في شبكة إنتاج.

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

تقدم Minimum Initial Specification وRunning-Code Primacy لدى Heng Lu إطاراً مناسباً: يمكن أن تكون قواعد التحقق الحتمية مشتركة، بينما تظل قرارات الاختيار والتصدير محلية وقابلة للفحص. نشر النموذج لا يصنع واقعاً تشغيلياً؛ التطبيق والإعداد والاستخدام تصنعه.

لذلك لا ينبغي أن يكون سؤال الإغلاق «هل بقي المؤشر أخضر؟». بل: أي مسارات، وفي أي مرحلة، وتحت أي سياسة مطبقة، جرى اختيارها وإعلانها، وماذا فعلت الحزم؟

المصادر