الخلاصة

  • يساوي round robin التقليدي بين فرص الإرسال لا بين البايتات المرسلة. في DRR الذي قدمه Shreedhar وVarghese يحصل كل طابور على quantum، وينفق عداد العجز على حزم كاملة، ويحمل الطابور الذي بقي متراكماً رصيده غير المستخدم إلى الدورة التالية.
  • صُمم DRR لتقريب إنصاف الإنتاجية بخطأ محدود وعمل منخفض لكل حزمة. وينطبق ذلك على الطوابير والأوزان التي يضبطها المشغل؛ أما DRR الأساسي فلا يضع حداً لتأخير الحزمة، ولا يصنف المستخدمين، ولا يشكل الوصول، ولا ينفذ AQM أو ضبط الازدحام، ولا يثبت جودة من طرف إلى طرف.

حين تكذب المساواة في عدد الأدوار

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

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

في الطرف الآخر توجد نماذج fair queuing التي تتخيل خدمة مائعة ومتزامنة للتدفقات، ثم تحسب ترتيب الحزم الذي يقارب لحظات انتهائها الافتراضية. توفر هذه النماذج مرجعاً دقيقاً، لكن الفرز والحساب لكل حزمة يثقلان مساراً يفترض أن يعمل بسرعة الرابط. كان سؤال Shreedhar وVarghese عملياً ونظرياً معاً: هل يمكن تقييد الفارق في خدمة البايتات من دون قائمة أولوية باهظة؟

رصيد لا تسقطه نهاية الدورة

يحفظ DRR لكل طابور نشط deficit counter. عند زيارة الطابور يضيف المجدول quantum المخصص إليه. إذا كان طول حزمة الرأس لا يتجاوز الرصيد، تُرسل الحزمة كاملة ويُخصم طولها. ويستمر الإرسال ما دام الرصيد يكفي حزمة الرأس التالية. أما إذا لم يكف، فلا تُجزأ الحزمة، بل ينتقل المجدول إلى الطابور التالي.

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

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

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

الحصة وزن سياسي بصيغة عدد

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

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

عرض التقرير التقني لعام 1994 ثم ورقة SIGCOMM اللاحقة الهدف بوضوح: إنصاف إنتاجية قريب جداً من النموذج المثالي، وتعقيد O(1)، وبنية يسهل تنفيذها عتادياً. تشير O(1) هنا إلى كلفة عمليات الجدولة، لا إلى أن تصنيف عدد كبير من التدفقات أو تخزينها أو مراقبتها صار مجانياً. البساطة ناتجة عن الاستغناء عن ترتيب عالمي متكرر، لا عن اختفاء بقية النظام.

قبل العداد يوجد قرار: من يمثل هذا الطابور؟

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

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

لهذا ينبغي أن تجيب عبارة «نستخدم DRR» عن أسئلة إضافية: ما الحقول التي تختار الطابور؟ هل يمثل الطابور مستخدماً أم تدفقاً أم نفقاً أم فئة خدمة؟ أين تذهب الحركة التي لا تطابق قاعدة؟ من يختار الحصص؟ ماذا يحدث للعداد عند إعادة الضبط أو الانتقال إلى جهاز احتياطي؟ من دون هذه المعلومات يصبح الإنصاف وصفاً لآلة مجهولة السكان.

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

إنصاف الإنتاجية لا يحدد موعد الوصول

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

ولا ينظم DRR زمن دخول الحركة، ولا يختار متى تُسقط الحزم أو توسم بـECN، ولا يعدل نافذة المرسل. shaping يضبط الوصول، وAQM يدير إشارات الازدحام داخل الطابور، وضبط الازدحام يغير سلوك الطرف، والمصنف يحدد السكان. يميز RFC 7567 كذلك بين إدارة الطابور والجدولة، مع أن أثرهما يجتمع في تجربة المستخدم.

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

George Varghese وتصميم الخوارزمية على سرعة الخط

تصف صفحة UCLA الرسمية George Varghese بأنه Distinguished Professor في علوم الحاسوب وصاحب Jonathan B. Postel Chair. تشمل اهتماماته network algorithmics والتحقق والأمن السيبراني ومستقبل الإنترنت. نال الدكتوراه من MIT، ودرّس في Washington University in St. Louis وUC San Diego، وعمل في Microsoft Research قبل انضمامه إلى UCLA عام 2016.

لا تثبت السيرة حدود الخوارزمية، لكنها تضع DRR ضمن منهج متكرر: تحديد العملية المكلفة في مسار البيانات، ثم تغيير تمثيل الحالة حتى يصبح الهدف النظري قابلاً للتنفيذ بسرعة عالية. منح ACM SIGCOMM Varghese جائزة SIGCOMM Award عام 2014. وعند إدخاله عام 2021، أشار Internet Hall of Fame إلى ابتكاره DRR مع M. Shreedhar وإلى استخدامه التاريخي في معدات مثل Cisco GSR.

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

لا يكفي أن نقرأ الرقم الأخير

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

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

المصادر