الخلاصة

  • يتنبأ نموذج Padhye–Firoiu–Towsley–Kurose بإنتاجية الإرسال المستقرة لتدفق TCP Reno ضخم تظل لديه بيانات جاهزة دائما.
  • تحسب الإنتاجية في الورقة الحزم المرسلة مهما كان مصيرها، ولذلك لا تساوي البيانات المفيدة المستلمة ولا سعة الوصلة ولا عرض النطاق المتاح ولا التفويض.
  • يلزم أن ترافق الرقم نافذة الرصد، وقاعدة تجميع الفقد، وRTT، ومهلة إعادة الإرسال، ونافذة الاستقبال، وسياسة ACK، ونسخة TCP، ونطاق التحقق، والخطأ.

وحدات متشابهة وحقائق مختلفة

يمكن كتابة السعة ومعدل الإرسال والبيانات المفيدة بوحدة بت في الثانية. هذا التشابه يجعل استبدال الأسماء سهلا، لكنه لا يجعل الأدلة متبادلة.

ورقة Modeling TCP Throughput: A Simple Model and its Empirical Validation تدرس مرسلا من نوع TCP Reno في تجنب الازدحام. المصدر مشبع، أي إن لديه دائما بيانات ليرسلها. تكبر نافذة الازدحام ثم تنخفض عند إشارة الفقد، ويأتي التعافي إما عبر إعادة الإرسال السريع أو انتهاء المهلة.

المعادلة تجيب: ما المعدل الطويل الذي ينتجه هذا المتحكم تحت مدخلات محددة؟ لا تجيب: كم تستطيع الوصلة حمله؟ ولا: كم مورد بقي بعد المنافسين؟ ولا: كم بايتا جديدا استلمه التطبيق؟ ولا: من يملك حق الإرسال؟

الدقة العددية لا تنقل النتيجة بين هذه الأسئلة. بل تجعل تسجيل السؤال الأصلي أكثر ضرورة.

المصدر المشبع ليس كل تطبيق

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

الفرق حينئذ لا يثبت أن الشبكة حجبت سعة. إنه يثبت أن الطلب الفعلي لم يطابق تجربة مرسل لا تنفد بياناته.

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

حذف كلمتي «إرسال» و«مشبع» يحول أداة نقل إلى ادعاء عن التطبيق والوصلة في آن واحد.

حدث الفقد يسبق نسبة الفقد

قد تضيع حزم عدة داخل نافذة واحدة، لكن Reno يخفض نافذته بسبب واقعة تحكم واحدة. لذلك لا تمثل نسبة الحزم المفقودة الخام تلقائيا مدخل النموذج.

يفترض المؤلفون استقلال الفقد بين الجولات وترابطه داخل الجولة، ويربطون ذلك بسلوك طابور drop-tail. قاعدة تحويل العلامات الفردية إلى أحداث جزء من معنى المتغير.

قد يقرأ مراقبان الأثر نفسه. يعد الأول كل رقم تسلسلي غائب، ويجمع الثاني كل ما يقع خلال RTT واحد، ويعالج الثالث إعادة الترتيب من تقارير المستقبل. إذا نشروا النسبة فقط، فلن يعرف القارئ أنهم قاسوا أشياء مختلفة.

السجل القابل للتدقيق يحتفظ بعلامات الفقد أو ECN، والساعة، والموضع، والمدة، ومعالجة إعادة الترتيب، وقاعدة التجميع. القيمة النهائية وحدها ليست المادة الخام.

المهلة منعت نموذجا أجمل من الواقع

كان من الممكن وصف Reno من خلال ثلاثة ACK مكررة وإعادة الإرسال السريع فقط. لكن الآثار التجريبية أظهرت أن انتهاء مهل إعادة الإرسال كان كثيرا؛ وفي معظمها فاق أحداث الإعادة السريعة.

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

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

لذلك يجب تسجيل Reno أو SACK وسياسة ACK وحساب RTO، لا الاكتفاء بكلمة TCP. إصدار الصيغة نفسه جزء من سلسلة الإثبات.

سبع وثلاثون وصلة لم تكن كل الإنترنت

اختبر الباحثون 37 وصلة بين 18 مضيفا في الولايات المتحدة وأوروبا. امتدت 24 حالة ساعة كاملة، وتكونت 13 مجموعة أخرى من اتصالات متتابعة طول الواحد منها مئة ثانية. كانت التحويلات أحادية الاتجاه وضخمة ومستمرة المصدر.

في العموم تفوق النموذج على صيغة لا ترى إلا ACK المكررة، واقتربت المعادلة المختصرة من النموذج الكامل. وتدرج ACM SIGCOMM الورقة ضمن جائزة Test of Time لعام 2008.

لكن مسار مودم لم يطابق التنبؤ جيدا؛ فقد ربط مخزنه المخصص النافذة وRTT بطريقة لم يلتقطها النموذج. واختلفت تطبيقات Linux وIrix وSunOS دون ضبط منفصل لكل منها.

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

السعة ليست متغيرا مخفيا

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

يحل نموذج PFTK سلوك المتحكم عندما تعطى له المدخلات. إنه لا يعكس النظام كله ليستخرج سعة وحيدة. تسمية الناتج سعة تضيف استنتاجا لم تحسبه المعادلة.

وكذلك «الحصة العادلة». إن استجابة Reno للمنافسة سلوك تنفيذي، وليست وثيقة تخصيص. التفويض يصدر ممن يسيطر على المورد، لا ممن يحسب إشارة فقد.

وضع TFRC المعادلة داخل حلقة أخرى

يحدد RFC 5348، لمؤلفيه Sally Floyd وMark Handley وJ. Padhye وJ. Widmer، بروتوكول TFRC. يقيس المستقبل أحداث الفقد، ويقيس المرسل RTT، وتستخدم صيغة مبسطة قليلا من معادلة Reno لحساب معدل الإرسال.

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

يعطي TFRC تغيرا أنعم في المعدل لكنه يستجيب أبطأ لتغير عرض النطاق المتاح. وهو ليس بروتوكول موثوقية، فلا يثبت الالتزام بالمعادلة وصول البيانات.

يظهر الاستخدام اللاحق المكان الصحيح للنموذج: مكوّن يقيّد قرارا محددا داخل حلقة تحكم، لا سلطة تعلن قدرة المسار.

أربعة أسماء في PFTK

تسجل Microsoft Research الاسم «Jitu Padhye» إلى جانب Firoiu وTowsley وKurose، بينما تستخدم الورقة Jitendra Padhye. وتعين مقالة رسمية من عام 2010 شخصه بوصفه الثالث من اليسار في صورة جماعية وتذكر دوره آنذاك؛ ولا تثبت وظيفة راهنة.

يجعل المقال Padhye مركزا للسيرة، لكن الاختصار PFTK يحفظ العمل الجماعي. النموذج والاشتقاق والتحقق والقيود المنشورة ليست اختراعا فرديا.

الإسناد الدقيق أيضا وسيلة لاسترجاع النسخة. فمنه يصل القارئ إلى الورقة وافتراضاتها وعيناتها. أما عبارة «معادلة TCP» فتفصل التعبير عن مصدره وتسمح بنقله إلى نقل أو مقياس آخر بلا دليل.

دفتر يرافق كل تنبؤ

ينبغي أن يربط كل ناتج بعلامات الفقد الأصلية، وقاعدة الحدث، والمدة، وتوزيع RTT، وRTO، وحجم المقطع، ونسبة ACK، ونافذة المستقبل، والتطبيق، وفترات غياب الطلب، وإصدار الصيغة والحدود.

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

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

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

المصادر