الخلاصة

  • تعرّف RFC 9617 نموذج YANG لتفعيل IOAM وربط الملفات بالتدفقات والبروتوكولات وأنواع البيانات المدعومة؛ فهي توحّد نية الضبط ولا تصدر حكماً عن مسار شوهد فعلاً.
  • لا بد أن تطابق الحزمة ACE مقبولاً، وأن تتلقى الخيار المقصود، وأن تمر بعقد مشاركة، وأن تنجو بياناتها من قيود السعة، ثم يصل سجلها داخل الحزمة أو عبر التصدير المباشر إلى جهة تحتفظ به.
  • التشغيل الجدير بالثقة يفصل إيصال الضبط النشط عن إيصالات الاختيار والتنفيذ والمساهمة العقدية وتسلسل التصدير وحيازة الجامع والتحليل والتفويض والنتيجة.

الفجوة تبدأ بعد نجاح الضبط

يمكن لفريق الشبكة أن يرى admin-config/enabled بالقيمة true، وأن يجد الملف المقصود في مخزن البيانات النشط، وأن يتحقق من مرجع المرشح ومن اختيار IPv6 ومن حقول trace المطلوبة. كل ذلك كافٍ كي تعرض لوحة الضبط لوناً أخضر.

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

قوة RFC 9617 أنها تجعل النية قابلة للقراءة عبر المورّدين. والخطأ هو تحميلها شهادة لم تُنشأ لتقديمها. مثيل النموذج يصف ما طُلب من النظام وما يعلن أنه قادر عليه؛ أما الحزمة والسجل فيقدمان نوعاً مختلفاً من الدليل.

شجرة YANG سطح تحكم لا دفتر وقائع

يتبع نموذج ietf-ioam بنية NMDA. وهو يعرض معلومات للقراءة، وتمكيناً إدارياً، وقائمة ملفات مسماة. ويمكن للملف تحديد مرشح وبروتوكول حامل وملفات فرعية للتتبع التراكمي أو المحجوز مسبقاً أو التصدير المباشر أو Proof of Transit أو بيانات Edge-to-Edge.

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

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

enabled=true إذن بالإمكان، لا ادعاء عن الماضي

يفعّل المتغير الإداري ضبط IOAM ووظائفه في مستوى البيانات على نطاق النظام. هذا شرط لازم، لكنه لا يجعل كل حركة مرور حاملة لـIOAM، ولا يحدد حزمة بعينها.

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

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

عند ACE تلتقي السياسة بحزمة محددة

يستطيع الملف الإشارة إلى ACE ضمن قائمة تحكم بالوصول. وتضيف RFC 9617 قيداً حاسماً: تنطلق أفعال IOAM من الحزم المقبولة عندما تكون حركة التوجيه للـACE المطابق هي accept.

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

الإثبات الجنائي يحتاج إلى نسخة ACL الفعالة، وهوية ACE الذي طابق فعلاً، والواجهة والاتجاه، ومحددات الحزمة أو التدفق، والنتيجة، والفعل، وepoch الضبط. عبارة “يشير الملف إلى ACE-7” تصميم. أما “طابقت هذه الحزمة ACE-7 في النسخة X، وقُبلت، وشغّلت IOAM” فهي إيصال تنفيذ.

اسم البروتوكول لا يثبت الغلاف المرصود

يحدد protocol-type موضع تضمين IOAM، مثل IPv6 أو Network Service Header. وبذلك يعرف الملف المشترك قواعد التغليف التي ينبغي تطبيقها.

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

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

دعم الخاصية يسمح مع ذلك بأثر ناقص

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

الإعلان عن القدرة محلي. قد تدعم منظومة التتبع التراكمي ولا تدعمه جارتها. وقد لا يتوفر حقل في لحظة بعينها. وفي المساحة المحجوزة مسبقاً يوجد حد مادي لعدد إدخالات العقد. لذلك لا يثبت وجود أربع مساهمات أن المسار لم يحتوِ إلا أربع عقد.

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

التصدير المباشر ينشئ مسار دليل آخر

يمكن لملف Direct Export إدراج flow ID وتفعيل رقم تسلسل. يساعد الأول على ربط سجلات التدفق، ويكشف الثاني بعض الفجوات. ولكنهما لا يضمنان الاكتمال.

قد يبدأ الجامع بعد أول سجل، فلا يظهر فقد المقدمة كفجوة داخلية. ويحتاج reset أو rollover إلى epoch يميزه. وقد تعيد جهات تصدير متعددة استخدام فضاءات تسلسل محلية. ويمكن أن يتولد السجل ثم يضيع قبل النقل. إن flow ID معرّف ارتباط في نطاق معلوم، لا هوية عالمية ذات سلطة مطلقة.

لذلك يسجل إيصال التصدير هوية المصدّر وepoch الإقلاع أو الضبط ونطاق flow ID وسلوك التسلسل ووقت الإرسال ونتيجة النقل ووقت الاستلام ونتيجة فك الترميز وحالة الاحتفاظ. عندئذ فقط يساند رقم مفقود استنتاجاً محدوداً عن الفقد.

عنوان Proof of Transit لا يصنع برهاناً

يتضمن النموذج ملف Proof of Transit، لكن RFC 9617 تقدم نوعاً أساسياً وتتوقع augmentation لمتغير محدد. وجود الفرع لا ينتج برهاناً تشفيرياً ولا حكماً تشغيلياً من تلقاء نفسه.

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

تحمي هذه الحدود أيضاً السؤال المختلف الخاص بسلامة بيانات IOAM. يستطيع مدقق سلامة أن يقرر ما إذا كانت الحقول المحمية قد تغيرت ضمن طريقته المعلنة. وتشرح RFC 9617 كيف يُضبط السلوك. لا يثبت أي من الجوابين سلسلة الآخر كاملة.

سُلّم إيصالات يقبل الفشل الصريح

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

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

لا يجوز لحالة خضراء واحدة أن تنتحل هذا السُلّم. تجعل RFC 9617 درجته الأولى قابلة للتشغيل البيني. أما الحقيقة التشغيلية فتظهر من إبقاء بقية الدرجات منفصلة وقابلة للتدقيق.

المصادر