الخلاصة

  • قارنت RFC 2212 كل عنصر شبكي بخادم سيولي مثالي، وألزمت التنفيذ بحصر ابتعاده الأقصى في C/R + D.
  • جُمعت الأخطاء المحلية في Ctot وDtot، ثم اندمجت مع TSpec والمعدل المحجوز R لحساب حد أعلى لتأخير الطابور.
  • بقي الحد مشروطاً بالتوافق وحجم الرزمة والقبول والموارد وثبات المسار؛ ولم يثبت تذبذباً صفرياً أو هوية أو تسليماً أو نجاحاً تطبيقياً.

رقمٌ دقيق من دون ادعاء الكمال

بدأت RFC 2212 من نموذج بسيط: سلك مخصص بسعة R يخدم التدفق باستمرار، كما لو كان سائلاً لا رزمًا منفصلة. إذا وُصفت الحركة بدلو رموز (r,b) وكان R >= r، بقي التأخير في النموذج السيولي ضمن b/R.

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

يمثل C تراكم العمل الذي يعتمد أثره الزمني على المعدل؛ لذلك يظهر بوصفه C/R. وأثر تحويل السيل إلى رزم مثال مباشر. أما D فيمثل أسوأ تغير محلي لا يعتمد على المعدل، مثل انتظار فتحة إرسال أو فجوة خدمة.

كان على العنصر أن يقدم خدمة لا تسوء عن:

b/R + C/R + D

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

خمسة مقاييس تحدد ما يدخل في الوعد

احتوى TSpec على معدل الرموز r وعمق الدلو b، ومعدل الذروة p، وأصغر وحدة محاسبة m، وأكبر حجم رزمة M.

في أي مدة T لا يجوز للحركة المتوافقة أن تتجاوز:

M + min[pT, rT + b - M]

تُحسب الرزم الأصغر من m كما لو كان حجمها m. ولا تكون الرزمة الأكبر من M متوافقة. وإذا تجاوز M المطلوب قيمة MTU في وصلة ما، وجب رفض الطلب.

لم يكن اسم التدفق إذن مظلة تغطي كل بايت. شكل الحركة وحجم الرزمة جزءان من العقد.

وأضاف RSpec المعدل المحجوز R والهامش S. يجب ألا يقل R عن r. ويعبر S عن مقدار التأخير الإضافي الذي يقبله المستقبِل فوق النتيجة التي يعطيها مستوى الحجز المطلوب.

جمع C وD حوّل العناصر إلى مسار

تتراكب قيم C وD بالجمع. يستطيع نظام إنشاء الحجز أن يقدم للطرفين Ctot وDtot، أي مجموع الخطأين على المسار.

عندما يكون p > R >= r يصبح حد تأخير الطابور:

[(b-M)/R × (p-R)/(p-r)] + (M+Ctot)/R + Dtot

وعندما يكون r <= p <= R يصبح:

(M+Ctot)/R + Dtot

وإذا جرى تجاهل معدل الذروة، بقي تقدير محافظ:

b/R + Ctot/R + Dtot

تكشف الصيغة ما يشتريه رفع الحجز وما لا يشتريه. يخفض Ctot/R وكلفة الاندفاع، لكنه لا يمحو Dtot. لذلك قد يحمل مساران بالمعدل نفسه حدين مختلفين.

كما تكشف أن لافتة «خدمة مضمونة» بلا TSpec وRSpec وأخطاء المسار لا تكفي لإعادة الحساب أو تدقيقه.

زمن المسار الثابت بقي حساباً آخر

يتناول الحد زمن الانتظار في الطابور. أما الانتشار والإرسال والمعالجة الثابتة فتحتاج إلى تقدير منفصل يضاف للوصول إلى حد أقصى من طرف إلى طرف.

ولا تختار RFC 2212 المسار أو تثبته. تقوم آلية الإعداد أو التوجيه بذلك. يبقى المعدل والحد مستقرين ما دام المسار ذاته قائماً.

بعد تغير الطريق قد تظل Ctot وDtot صحيحتين تاريخياً لمسار قديم، لكنهما لا تتحدثان عن الحركة الجارية. من دون هوية المسار وزمنه، يبقى الرقم ولا تبقى سلطته.

الهامش ميزانية لا تُصرف مرتين

يستطيع عنصر وسيط استخدام جزء من S ليخفض حجزه المحلي، بشرط أن يحافظ على:

Sout + b/Rout + Ctoti/Rout <= Sin + b/Rin + Ctoti/Rin

مع r <= Rout <= Rin.

يمثل الفرق Sin - Sout الهامش المستهلك. وعند تجديد الحجز يجب أن يحتفظ العنصر بالقرار نفسه، فلا يعيد احتساب الهامش وكأنه لم يُستخدم.

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

Csum وDsum يبدآن عند آخر إعادة تشكيل

تخدم Ctot/Dtot حساب الطرفين. أما Csum/Dsum فتصفان الانحراف منذ آخر نقطة reshaping، وتساعدان العنصر على تخصيص المخزن اللازم لإعادة الحركة المتوافقة إلى شكلها الأصلي.

من دون تحسين يعتمد على الذروة، كان الحد المحافظ للمخزن b + Csum + Dsum × R. هذه الذاكرة الجزئية ليست قياس رزمة ولا وعداً جديداً للمسار كله.

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

الحد الأقصى لا يعني انعدام التذبذب

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

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

لذلك لا يعني «مضمون» فواصل وصول متساوية أو متوسطاً منخفضاً أو وصول كل رزمة. إنه التزام محدد داخل مقدمات محددة.

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

تركت RFC 2212 آلية الإعداد مفتوحة: RSVP أو الضبط اليدوي أو إدارة الشبكة. وفصلت RFC 2210 كائنات RSVP، بينما بقيت المصادقة والسياسة والمحاسبة ضوابط أخرى.

يمكن عندئذ ترتيب الأدلة: TSpec وصف من المرسل، وRSpec طلب من المستقبِل، وC/D توصيف للعناصر، والقبول قرار موارد، والمعادلة نتيجة شرطية، وقياس الرزمة مشاهدة، ونجاح التطبيق نتيجة مستقلة.

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

جعلت RFC 2212 مرحلة واحدة قابلة للحساب بدقة؛ ولم تمنحها حق إصدار إيصال المراحل الأخرى.

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

تثبت هذه المصادر العقد المنشور وحدود قراءته. ولا تثبت انتشاراً تاريخياً أو حالياً، أو أداء جهاز مسمى، أو قياس مسار فعلي، أو نسباً سببياً إلى نظام QoS لاحق.