تحقق QUIC من ECN يثبت مسار الإشارة، لا سبب الازدحام

الخلاصة

• يثبت التحقق الناجح اتساقاً كافياً بين العلامات المرسلة وعدادات ACK_ECN التي يبلغها الطرف النظير على مسار واحد.
• عدادات ECT(0) وECT(1) وECN-CE تراكمية ومنفصلة لكل مساحة من أرقام الحزم، ويجب تفسيرها مع تاريخ ACK.
• لا يحدد التحقق طابوراً أو قفزة أو موجهاً أو وصلة ترابط أو مشغلاً أو مدة أو شدة أو خرق SLA أو أثراً على العميل.

قد يبدو ارتفاع ECN-CE في لوحة تشغيلية دليلاً على أن وصلة ترابط معينة هي السبب. لكن هذا استنتاج يتجاوز الدليل. يجيب تحقق ECN عن سؤال أضيق: هل يستطيع المرسل استخدام ما يبلغه الطرف النظير كتغذية راجعة للازدحام على هذا المسار؟ إنه ليس نظاماً لتحديد الموقع ولا وسيلة لإثبات المسؤولية.

يضع المرسل على حزمة IP علامة ECT(0) أو ECT(1). ويمكن لعنصر شبكي تغيير الحقل إلى ECN-CE للإشارة إلى الازدحام بدلاً من إسقاط الحزمة. يحتفظ المستقبل القادر على قراءة حقل ECN بعدادات منفصلة لـ ECT(0) وECT(1) وECN-CE، ثم يبلغها في إطارات ACK لاحقة. وعند معالجة زيادة جديدة في ECN-CE على مسار تم التحقق منه، يدخل متحكم الازدحام المحدد في RFC 9002 في حالة التعافي. هذه استجابة بروتوكولية، وليست دليلاً على مصدر العلامة.

يحتفظ QUIC بحالة الإقرار وعدادات ECN منفصلة لكل مساحة من أرقام الحزم: Initial وHandshake و1-RTT. تشترك حزم QUIC المجمعة في رأس IP واحد، ولذلك ترى حقل ECN نفسه؛ لكن كل حزمة عولجت بنجاح تزيد العداد في مساحة أرقام الحزم الخاصة بها. لا تعالج الحزم المكررة مرة أخرى ولا تزيد العدادات. وقد يبلغ ACK زيادة تراكمية أكبر من عدد الحزم التي أقر بها حديثاً، لأن ACK سابقاً ربما فُقد. لذلك فالعداد ليس معدلاً ولا خريطة للقفزات ولا سلسلة سببية للتدفق.

يتم التحقق لكل مسار على حدة. الاتصال الجديد، وتغيير العنوان المفضل من الخادم، والهجرة النشطة إلى مسار جديد تتطلب جميعاً معالجة خاصة بالمسار. يستطيع الطرف وضع ECT(0) على الحزم الأولى في المسار الجديد ثم مقارنة الإقرارات وحالات الفقد بالعدادات المبلغ عنها. إذا لم تظهر عدادات ECN للحزم الموسومة التي أُقر بها حديثاً يفشل التحقق. وبالنسبة إلى ECT(0)، يجب ألا يكون مجموع زيادة ECT(0) وECN-CE أقل من عدد الحزم المرسلة كـ ECT(0) والتي أُقر بها حديثاً؛ وتنطبق القاعدة نفسها على ECT(1). كما لا يجوز أن تتجاوز العدادات المبلغ عنها إجمالي الحزم المرسلة بالرمز المقابل، ولا أن يظهر عداد غير صفري لرمز لم يُستخدم.

ولا ينبغي أن يؤدي ACK معاد الترتيب، إذا لم يرفع أكبر رقم حزمة مُقر به، إلى الفشل وحده.

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

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

ينبغي أن يفصل سجل الأدلة بين هوية الاتصال والمسار الحالي، ومساحة أرقام الحزم، ونطاقات الإقرار، وعلامة كل حزمة ECT(0) أو ECT(1) أو Not-ECT، والعدادات التراكمية، والفروق عن ACK السابق المعالج بنجاح، وتحولات حالة التحقق، والعدادات المفقودة أو المستحيلة، والفقد وإعادة الترتيب وتغير المسار، واستجابة متحكم الازدحام. أما قياسات الطوابير والواجهات والقفزات والتوجيه والربط، ثم السبب والمدة والشدة وأثر العميل، فتبقى في سجل مستقل. وهذا يختلف عن TR-038 وTR-045 وTR-050 وTR-051: عينة RTT من spin bit، ودلالة تسليم ACK، وتأخير ACK، واستكشاف PTO ليست تحقق ECN.