الخلاصة

  • يثبت ACK التراكمي تقدّم فضاء التسلسل، لكنه بعد إعادة الإرسال لا يعيّن هل وصلت النسخة الأصلية أم النسخة اللاحقة.
  • يفرض RFC 1122 وRFC 6298 قاعدة Karn: لا تؤخذ عينة RTT من مقطع أُعيد إرساله، وعند انقضاء RTO تُضاعف قيمة المؤقت.
  • تستطيع الطوابع الزمنية المتفاوض عليها تمييز واقعة الإرسال، لكنها لا تثبت المسار أو سبب الفقد أو الهوية أو وقتاً مدنياً.

وصل الإيصال من دون سيرة للنسخة

يرسل الطرف مقطعاً ويشغّل المؤقت. تنقضي المهلة قبل رجوع ACK، فيعيد إرسال أرقام التسلسل نفسها. ثم يصل ACK.

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

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

كان المؤقت قادراً على تعلّم خطئه

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

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

جعل Karn الامتناع عن القياس جزءاً من الصحة

يفرض RFC 1122 تصحيحين مختلفين. تدخل خوارزمية Jacobson تباين RTT في حساب RTO، وتختار خوارزمية Karn العينات التي يجوز إدخالها. الحساب الجيد لا يعوّض بوابة أدلة سيئة.

قاعدة Karn محددة: لا تُشتق عينة RTT من مقطع أُعيد إرساله. يحفظ RFC 6298 ذلك بصيغة MUST NOT. يبقى ACK صالحاً لتأكيد التقدّم التراكمي؛ المرفوض هو ادعاؤه معرفة زمن نسخة بعينها.

إسقاط العينة ليس إسقاطاً للحزمة، ولا اتهاماً للمستقبِل، ولا حكماً بأن المسار معطل. إنه اعتراف محلي بأن المعلومة المطلوبة لهذا الاستدلال غائبة.

حمل التراجع ذاكرة عدم اليقين

يفرض RFC 1122 أيضاً التراجع الأُسّي. وحّد RFC 2988 الإجراء ثم أبقاه RFC 6298: عند انقضاء RTO يُعاد أقدم مقطع غير مُقَرّ به، ثم يُحسب RTO <- RTO * 2.

لا يدعي التضاعف أن المسار أصبح أبطأ مرتين. إنه يمنع المرسِل من الرد على الصمت بمحاولات أسرع فأسرع. ولا ينبغي لـACK الغامض التالي أن يمحو هذه الحيطة. عندما تُرسل بيانات جديدة وتُقرّ من دون إعادة، يمكن لعينة واضحة أن تحدّث المقدّر وتخفض RTO مجدداً.

التراجع ضبط قابل للمراجعة، لا عقوبة دائمة. يحتفظ بعدم اليقين حتى يصل دليل يمكن نسبه.

أضاف الطابع الزمني استثناءً محدوداً

يعرّف RFC 7323 الحقل TSval وصدى TSecr. بعد تفاوض الطرفين، يستطيع الصدى ربط ACK بإرسال موسوم؛ عندئذ يسمح RFC 6298 بقياس المقطع المعاد لأن الغموض المعني زال.

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

حتى الملصق لا يدخل المقدّر بلا شرط. يسمح RFC 7323 بتحديث متوسط RTT إذا كان المقطع يقدّم الحافة اليسرى لنافذة الإرسال. وجود صدى زمني لا يحوّل كل ACK إلى عينة نافعة.

كثرة العينات قد تمحو الذاكرة سريعاً

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

لذلك يوصي RFC 7323 بالحفاظ على روح التاريخ في المقدّر. عشر قيم مترابطة من النافذة نفسها ليست عشر مراحل مستقلة من الشبكة. قيمة القياس تعتمد على مصدره وإيقاعه، لا على عدده فقط.

عاد تفويض ACK إلى حدود معرفته

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

إرث Karn قاعدة في سلطة الأدلة: استعمل الإشارة للقرار الذي تسنده، ولا تمنحها قراراً آخر. وثق TCP في ACK بشأن التقدّم، ورفض أن يثق به بشأن نسبة الزمن. احتفظ المرسِل بسيطرته المحلية من دون ساعة مركزية أو قصة يخترعها المسار.

المصادر والحدود

المجموعة المغلقة هي RFC 793 وRFC 1122 وRFC 2988 وRFC 6298 وRFC 7323. تثبت هذه النصوص الدلالات والمتطلبات، لا إعدادات كل نظام اليوم ولا سبب مهلة حقيقية. قد تصيب عينة غامضة القيمة الصحيحة مصادفة؛ تقول قاعدة Karn إن المرسِل لا يملك دليلاً يحدد أي التفسيرين أصاب.