الخلاصة

  • يختار المرسل عشوائياً بين ECT(0) وECT(1)، لكن تحويل أي منهما إلى CE يمحو الاختيار الأصلي. عند إخفاء الازدحام، يضطر المستقبل إلى تخمين معلومة لم تصله.
  • النتيجة تَحقُّق احتمالي بتكافؤ تراكمي، وليست توثيقاً للهوية أو دليلاً قاطعاً على سوء النية. الازدحام المشروع يستلزم وقف الفحص مؤقتاً ثم إعادة التزامن.
  • انتهت التجربة في 2018 مع الإقرار بأنها تعمل كما حُدد لها. سبب إنهائها كان محدودية الاستخدام وكلفة استمرار حجز ECT(1)، لا إثبات بطلان فكرتها.

التخمين الصحيح لا يجعل التقرير صحيحاً

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

عرض N. Spring وD. Wetherall وD. Ely التجربة في يونيو 2003 ضمن RFC 3540، بوصفها مواصفة Experimental. كانت الفكرة أن يمتلك المرسل وسيلة لمقارنة تقرير المستقبل بمعلومة يحتفظ بها بنفسه، بدلاً من الاعتماد الكامل على قول الطرف الآخر إن الشبكة لم تشهد ازدحاماً.

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

علامتان مختلفتان تنتهيان إلى العلامة نفسها

في ECN التقليدي الذي وصفه RFC 3168 في سبتمبر 2001، توجد أربع قيم في حقل من بتين: Not-ECT تساوي 00، وECT(1) تساوي 01، وECT(0) تساوي 10، وCE تساوي 11. يستطيع الموجّه وسم حزمة متوافقة بالإشارة إلى الازدحام بدلاً من إسقاطها. ينقل مستقبل TCP الإشارة عبر ECE، ويشير المرسل إلى استجابته باستخدام CWR.

بالنسبة إلى الموجّه التقليدي، تسمح كلتا قيمتي ECT بالوسم. تحويل ECT(0) إلى CE يعطي النتيجة نفسها التي يعطيها تحويل ECT(1) إلى CE. قد تصل بيانات التطبيق كاملة، بينما تختفي من الترويسة المعلومة التي تبيّن أي القيمتين اختارها المرسل أصلاً.

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

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

لماذا يُحسب التكافؤ على نحو تراكمي؟

لا يعيد TCP إقراراً مستقلاً بالضرورة لكل حزمة. قد يتأخر الإقرار أو يُفقد في طريق العودة، وقد يؤكد إقرار واحد وصول بيانات عدة مقاطع. لو أعاد المستقبل آخر قيمة عشوائية فقط، لأمكن أن تختفي مسؤولية الإبلاغ عن قيم سابقة مع اختفاء إقراراتها.

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

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

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

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

المستقبل الصادق لا يستطيع استعادة المحذوف

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

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

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

وفق قواعد 2003، كانت إعادة الإرسال تستخدم Not-ECT ولا تحمل Nonce. كما كانت الفترات غير الموسومة بـECT التي يختارها المرسل تحتاج إلى معالجة التزامن. هذه شروط تاريخية للتجربة، لا حظر دائم على كل تجربة حديثة تستخدم ECN مع إعادة الإرسال أو حزم التحكم. فقد خففت وثائق لاحقة قيود التجريب في هذه المجالات.

ما الذي يحق للمرسل أن يستنتجه؟

فصل RFC 3540 بين الفحص والاستجابة. الفحص اختياري، والرد على مجموع غير صحيح مسألة سياسة محلية. عند اتخاذ إجراء، ناقش النص استجابة لا تقل عن التعامل مع ECE، مع إمكان تقليص أقوى أو التوقف عن استخدام ECT. لم يضع نظام عقوبات موحداً للإنترنت.

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

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

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

حين تغيرت كلفة الحجز

تناول RFC 4774 في نوفمبر 2006 المعاني البديلة لـECN، وكيفية تمييزها ونشرها تدريجياً والتعايش مع الموجّهات التقليدية أو غير الداعمة ومع الحركة المنافسة. صغر الحقل لا يلغي ضرورة الاتفاق على تفسيره بين التطبيقات المستقلة.

وفي أغسطس 2015، ناقش RFC 7560 متطلبات تغذية راجعة أدق عن الازدحام، وذكر أنه لا يعرف آنذاك نشرات تستخدم Nonce في مكدسات TCP. اهتم النص بسلامة المعلومات وحوافز التعاون الصادق، لكنه لم يجعل هذا الأسلوب بعينه شرطاً وحيداً لتحقيقهما.

قدم RFC 8311 في يناير 2018 خلاصة أكثر تحديداً: تعمل Nonce كما حُدد لها، واستُخدمت في بيئات محدودة، لكن الانتشار الواسع لم يتحقق. شرح إنهاء التجربة وإعادة تصنيف RFC 3540 من Experimental إلى Historic. لم يقل إن الفكرة الحسابية ثبت خطؤها، ولا إن أحداً لم ينفذها قط.

ونقلت الوثيقة نتائج دراسة ببيانات من 2014: لم يستخدم أي من 581,711 خادماً مختبراً يعمل بـIPv4 قيمتي ECT معاً بعد التفاوض على ECN. ومن بين 17,028 خادماً يعمل بـIPv6، فعل ذلك أربعة، مع احتمال أن يكون السبب Nonce أو إعادة وسم خاطئة. هذه عينة مؤرخة وذات تفسيرين محتملين، وليست تعداداً عالمياً حالياً ولا قياساً أعيد تنفيذه هنا.

مع ظهور استخدامات تجريبية أخرى وأساليب مختلفة لحماية التغذية الراجعة، لم يعد حجز ECT(1) حصراً لهذه التجربة مبرراً. لكن تحريره لم يمنح إذناً بمعان متعارضة اعتباطية. ظلت التجارب التي يتيحها RFC 8311 بحاجة إلى وثائق Experimental مناسبة ضمن مسار IETF، وإلى مراعاة التحكم بالازدحام والتعايش.

في يناير 2023، خصصت المواصفة التجريبية RFC 9331 لـECT(1) معنى آخر بوصفه معرّفاً لـL4S. ويسرد سجل حقل ECN لدى IANA القيم الأربع مع الإحالات التجريبية ذات الصلة. ظهور البتات نفسها في التقاط حديث لا يثبت تشغيل تجربة 2003، ولا يثبت هنا مدى انتشار L4S أو أداءه أو سلامته العامة.

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