خرجت الحزم مرتبة، لكن التاريخ الكامل ظل بلا إثبات

الخلاصة

• يحمل RFC 9566 معلومات التسلسل في DetNet Control Word ضمن MPLS فوق UDP/IP، فتتمكن عقد طبقة الخدمة من التكرار وإزالة النسخ واستعادة الترتيب.
• انتهاء مؤقت الترتيب وخروج أرقام متتابعة لا يثبتان أن الحزمة الناقصة لم توجد، ولا أن المسارات كانت مستقلة أو أن التطبيق حقق مهلته.
• يحتاج الإثبات التشغيلي إلى سجلات منفصلة لعصر الإعداد، ومسار وتوقيت كل نسخة، ونافذة الإزالة، وقرار الترتيب، والنتيجة التي رآها التطبيق.

ترى وظيفة الترتيب الحزم 701 و703 و704. تنتظر 702، ثم تنتهي قيمة POFMaxDelay فتطلق ما في المخزن. بعد لحظات تصل نسخة متأخرة من 702 إلى موضع آخر في الشبكة. كلا الحدثين صحيح محلياً: المؤقت انتهى، والنسخة كانت لا تزال موجودة. لكن شاشة تعرض التسلسل النهائي وحده لا تستطيع الجمع بينهما.

ينقل RFC 9566 وظائف Packet Replication, Elimination and Ordering Functions، أو PREOF، إلى مستوى بيانات DetNet IP عبر إعادة استخدام طبقة خدمة MPLS فوق UDP/IP. يحمل DetNet Control Word رقم التسلسل، ويحمل S-Label معرّف خدمة محلياً لدى المستقبل، بينما يوفر نفق UDP/IP سطح العبور. وتسمح F-Labels الصفرية باستخدام حقول MPLS اللازمة دون اشتراط مستوى تمرير MPLS.

معرّف الخدمة هنا ليس اسماً عالمياً للحزمة. يحدده المستقبل، وقد يتغير عند عقدة ترحيل، وقد يختلف بين التدفقات الأعضاء الناتجة من التكرار. كما أن العناوين ومنافذ UDP وFlow Label وDSCP وسائر المحددات تثبت مطابقة الحزمة لسياق مضبوط، لا نية المصدر ولا الحجز الفعلي للموارد ولا الطريق الحقيقي.

النسخ المتعددة لا تعني مصائر مستقلة

تصف البنية إرسال النسخ عبر مسارات منفصلة إلى أقصى حد. لكن مسارين يبدوان مختلفين قد يشتركان في ليف أو مصدر طاقة أو طابور أو ساعة أو خطأ تحكم أو نفق تجميع. ويذكر RFC 9566 أن تدفقات DetNet المجمعة داخل نفق UDP واحد تتبع المسار نفسه.

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

الإزالة حكم محلي على الوصول

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

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

يحدد RFC 9550 سلطة POF بدقة: إنها توفر الترتيب ضمن حد كمون تدفق DetNet ولا تضيف موثوقية. عندما يغيب السابق تنتظر وصوله أو انتهاء POFMaxDelay. انتهاء المؤقت قرار إطلاق هندسي، وليس دليلاً على أن الحزمة غير موجودة ولن تصل لاحقاً.

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

لذلك تمتد سلسلة الإثبات من المحدد وService-ID إلى تسلسل المصدر، وكل تدفق عضو، والمسار والطابور، وحالة نافذة PEF، والنسخة المختارة والمرفوضة، ومخزن POF ومؤقته، ووقت الخروج، ثم اكتمال التطبيق ونتيجة مهلته. يحدد المعيار آليات قابلة للتشغيل البيني؛ أما النتيجة الموعودة فلا يثبتها إلا وصل المشاهدات عبر الطبقات.