الخلاصة

  • لا يصنّف RACK إرسالاً أقدم على أنه مفقود إلا بعد ثبوت وصول مقطع أُرسل لاحقاً، وبقاء الأقدم بلا إقرار مدة تتجاوز زمناً مقدراً للذهاب والعودة مضافاً إليه هامش محدود لإعادة الترتيب.
  • يتيح TLP مسباراً واحداً على الأكثر قبل RTO ليستدعي دليلاً جديداً. المسبار سؤال لا حكم؛ RACK يكشف، وخوارزمية التحكم بالازدحام هي التي تقرر متى يجوز إرسال التعافي.

حين لا يجد العداد ثلاثة شهود

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

وسّع الإقرار الانتقائي مجال الرؤية. يتيح RFC 2018 للمستقبل وصف كتل البايتات التي وصلت خارج حد الإقرار التراكمي، ويستخدم RFC 6675 سجل SACK هذا في التعافي. لكن عتبة الفقد الأساسية تظل عدّاً لتسلسلات متقطعة أو بايتات فوق الثقب. يمكن لإعادة الترتيب أو تكرار الرزم أو تجميع الإقرارات أن يعجّل العدد أو يؤخره. والعدد في فضاء التسلسل لا يقيس المدة التي قضاها إرسال بعينه على المسار.

ينقل Recent ACKnowledgment، أو RACK، محور الاستدلال إلى وقت الإرسال. شارك في تأليف RFC 8985 كل من Yuchung Cheng وNeal Cardwell وNandita Dukkipati وPriyaranjan Jha، ونُشر في مسار معايير IETF في فبراير 2021. تثبت الصفحتان الرسميتان لدى IETF وGoogle Research هوية Cardwell وصلته بأبحاث الشبكات وبالوثيقة. لكن المعيار ثمرة جماعية؛ ولا توفر الصفحتان دليلاً على اختراع فردي أو تحكم حالي في كل تنفيذ.

وصول اللاحق يفتح القضية ولا يحسمها

يحتفظ RACK بوقت أحدث إرسال لكل مقطع لم يُقر، بما في ذلك وقت نسخته المعاد إرسالها. عندما يثبت ACK أو SACK وصول بيانات أُرسلت بعد مقطع S ما زال معلقاً، يحصل المرسل على الواقعة الأولى: لقد سلّم المسار شيئاً غادر بعد S.

لا تكفي هذه الواقعة وحدها. ينبغي أن يبقى S بلا إقرار مدة لا تقل عن RTT المقدر مضافاً إليه نافذة إعادة الترتيب. يشرح RFC المنطق بمؤقت افتراضي لكل مقطع، لكنه لا يفرض إنشاء آلاف المؤقتات فعلياً؛ يمكن للتنفيذ تتبع أقرب استحقاق مشتق من مجموعة البيانات المعلقة.

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

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

لإعادة الترتيب ميزانية انتظار محدودة

قد تصل الرزم بترتيب مختلف من دون أن تضيع. لذلك يضيف RACK نافذة لإعادة الترتيب إلى عتبة RTT. تبدأ النافذة، بحسب الحالات التي يحددها RFC، من الصفر أو من جزء صغير من أدنى RTT. وإذا كشف Duplicate SACK أن إعادة إرسال كانت زائدة، أصبح لدى المرسل دليل على إعادة ترتيب أعمق ويمكنه توسيع الهامش. توصي الوثيقة بالتكيف بواسطة DSACK وبألا تتجاوز النافذة RTT المملّس.

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

يحتاج سجل القرار القابل للمراجعة إلى وقت أحدث إرسال للمقطع المشتبه به، ووقت إرسال المقطع اللاحق الذي وصل، وACK أو SACK الذي أثبت ذلك، وتقدير RTT، والنافذة الفعالة، وأي DSACK غيّرها. عدّاد يحمل اسم RACK فقط يحتفظ بالحكم ويحذف مقدماته.

مسبار واحد في ذيل صامت

يعالج Tail Loss Probe الموضع الذي تقل فيه البيانات اللاحقة القادرة على تحريك ساعة ACK. يُحسب وقت المسبار عادة حول ضعفي RTT المملّس، مع مراعاة شروط الإقرار المؤخر وعلاقته بـRTO في RFC 8985. يتطلب TLP قياساً حديثاً لـRTT، ولا يسمح بأكثر من مسبار واحد معلق.

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

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

الكاشف لا يملك نافذة الازدحام

حتى بعد تصنيف مقطع على أنه مفقود، لا يحق لـRACK أن يرسل وقتما يشاء. ينص RFC 8985 على انتظار سماح خوارزمية التحكم بالازدحام. يحدد RFC 5681 التزامات التحكم التقليدية، ويوصي RFC 6937 بأسلوب Proportional Rate Reduction لضبط الإرسال أثناء التعافي.

يحمي هذا الفصل الشبكة من اختصار مغرٍ: ينبغي للمستشعر الأفضل أن يقلص عدم اليقين، لا أن يمنح المشغّل إعفاءً من انضباط المعدل. يقرر RACK أن الأدلة تكفي لمعاملة S كمفقود، ثم يقرر المتحكم مقدار حركة الإصلاح المسموح بها. وحتى مسبار TLP خارج النافذة الممتلئة استثناء صغير وصريح ومحسوب.

ولا يختفي RTO المحسوب وفق RFC 6298. فهو يضمن التقدم حين لا تنتج الوسائل الأدق نتيجة، ويحتفظ بالتراجع المتحفظ. يصف SACK ما وصل، ويقيّم RACK الفقد زمنياً، ويستدعي TLP رداً عند الذيل، وينظم التحكم بالازدحام التعافي، ويحمي RTO من الصمت الباقي.

ما لا تستطيع الساعة الدقيقة إثباته

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

يرث قسم الأمان في RFC 8985 المسائل المعروفة مع SACK، ويذكر ميزة أضيق أمام ACK splitting: إقرار بايت إضافي لا يقدّم وقت أحدث إرسال جرى تسليمه الذي يعتمد عليه RACK. يقلل ذلك أثر تكتيك بعينه؛ لكنه لا يصادق الإقرار ولا يمنحه نزاهة عامة.

يستخدم RFC 9002 عتبات زمنية لكشف الفقد في QUIC ويذكر RACK-TLP ضمن سلالته الفكرية. غير أن QUIC يملك فضاءات أرقام رزم وقواعد إقرار وحدوداً مع التحكم بالازدحام تخصه. القرابة المفاهيمية لا تجعل الحالات أو الثوابت أو الصلاحيات متطابقة.

أرقام تاريخية بحدود تاريخية

بحثت ورقة عام 2013 «Reducing Web Latency: the Virtue of Gentle Aggression»، التي كان Cardwell أحد مؤلفيها، عينة من حركة واجهات Google الأمامية. في ذلك النطاق المحدد، عولج 77 في المئة من الفقد المرصود بواسطة RTO لا التعافي السريع. وحققت حزمة الآليات التجريبية المختبرة انخفاضاً قدره 23 في المئة في متوسط الكمون و47 في المئة عند المئين التاسع والتسعين.

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

المصادر