الخلاصة

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

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

انطلقت Dina Katabi مع Mark Handley وCharlie Rohrs من هذه المسألة في ورقة SIGCOMM لعام 2002 عن eXplicit Control Protocol، أو XCP. لم يكتف التصميم بإشارة تقول إن ازدحاماً وقع. أراد من الشبكة أن تعيد مقدار التغيير المناسب.

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

يبدأ الحقل طلباً وينتهي بقيد المسار

وصفت مسودة XCP الأخيرة حقولاً لزمن الذهاب والإياب، وX الذي يمثل الفاصل بين الحزم، وDelta_Throughput، وReverse_Feedback. يضع المرسل في الحقل الثالث تغيراً مرغوباً أو مخصصاً في الإنتاجية، ويعيد المستقبل النتيجة في الحقل الرابع.

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

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

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

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

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

كفاءة الوصلة وإنصاف التدفقات مهمتان مختلفتان

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

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

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

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

لم تختف الحالة بل انتقلت إلى مستوى تجميعي

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

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

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

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

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

النجاح في المحاكاة لا يساوي إيصال نشر

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

مع ذلك، نصت مسودة 2007 التي وقعها Aaron Falk وYuri Pryadkin وKatabi على أن XCP لم يكن جاهزاً للنشر الواسع في الإنترنت العام. كان على الأنظمة الطرفية والموجّهات أن تتغير. ولكي يمثل الحد الأدنى المسار كله، وجب أن تشارك كل طوابير يمكن أن تصبح موضع اختناق.

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

هذه الحدود ليست هامشاً على القصة. هي التي تجعل الوثيقة مواصفة لتجربة لا إعلاناً عن منتج مكتمل. وعندما منحت ACM SIGCOMM الورقة جائزة Test of Time، سجلت استمرار أثر فكرتها، ولم تسجل عدد مسارات الإنتاج التي شغلت XCP.

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

قيمة الرقم تأتي من سلسلة اليد التي عدّلته

يمر Delta_Throughput بثلاثة أدوار. يغادر بوصفه رغبة، ويصل بوصفه تخصيصاً حدّه المسار، ويعود بوصفه مدخلاً لفعل المرسل. قراءة البتات من دون هذه الرحلة تحذف الأفعال التي صنعت معناها.

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

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

تقدم Katabi وزملاؤها قاعدة صالحة خارج هذا البروتوكول: قبل أن تجعل حقلاً دليلاً، اعرف من كتبه، ومن استطاع خفضه، وما القيم التي محاها، وما الفعل الذي أجازه. عندها فقط تنفصل المطالبة عن التخصيص، والتخصيص عن القياس، والقياس عن الضمان.

المصادر