Completion-Shock Queues: Departure-Induced Invalidation and Endogenous Service Correlation

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

قام باحث في معهد هولون للتكنولوجيا ببناء نموذج رياضي جديد لاستكشاف هذه الظاهرة تحديداً، وأطلق عليه اسم طابور "صدمة الإكمال" (completion-shock queue). تركز الدراسة على خادم واحد يتعامل مع تدفق من الوظائف التي تصل بشكل عشوائي. في الظروف العادية، تكون الوظيفة "نظيفة" وتستغرق وقتاً معيناً للانتهاء منها. ومع ذلك، يقدم النموذج التواءً: في كل مرة تغادر فيها وظيفة النظام، هناك احتمال لحدوث "صدمة". لا تؤثر هذه الصدمة على الوظيفة التي غادرت للتو؛ بل إنها تنظر إلى الوظيفتين التاليتين المنتظرتين في الصف. إذا كانت الوظائف المنتظرة لا تزال في حالتها الأصلية "النظيفة"، فإن الصدمة تصنفها على أنها "باطلة" (invalidated). الوظيفة الباطلة لا يمكن معالجتها فوراً؛ بل يجب أن تمر أولاً بمرحلة معالجة لإصلاح المشكلة قبل أن تتمكن من العودة إلى مقدمة الصف لخدمتها المعتادة. والأهم من ذلك، أن هذه الصمة ناتجة عن النظام نفسه؛ إذ إن مغادرة وظيفة واحدة تحفز العمل الإضافي للوظائف الأخرى.

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

لفهم كيفية عمل ذلك، عامل الباحث الطابور كسلسلة من الحالات. عندما يكون الطابور طويلاً بما يكفي، يمكن وصف النظام من خلال النظر في حالة أول شخصين في الصف: سواء كانا "نظيفين" أو "باطلين". وهذا يخلق نمطاً محدداً من الحركة بين الحالات المختلفة، والتي حللها الباحث باستخدام طريقة تُعرف باسم "عملية شبه ميلاد ووفاة" (quasi-birth-and-death process). سمح هذا النهج بحساب دقيق لاستقرار النظام وسلوكه على المدى الطويل. وأظهرت النتائج أن النظام يكون مستقراً فقط إذا كان معدل وصول الوظائف الجديدة منخفضاً بما يكفي ليتم موازنته بمعدل قدرة الخادم على تصفية كل من العمل الأصلي وأعمال المعالجة الإضافية الناتجة عن الصدمات.

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

تناولت الدراسة أيضاً ما يحدث عندما يتم دفع النظام إلى أقصى حدوده، وهي حالة تُعرف باسم "حركة المرور الكثيفة" (heavy traffic). ومن خلال توسيع الوصف الرياضي للنظام بالقرب من نقطة الانهيار هذه، استنتج الباحث معاملًا دقيقًا يصف كيفية نمو الطابور مع اقترابه من عدم الاستقرار. وعند مقارنة هذا النظام المدفوع بالصدمات بنظام قياسي حيث تكون الوظائف مستقلة ولكن لها متوسط وقت خدمة مماثل، وجد أن نظام الصدمات كان يؤدي بشكل سيء باستمرار. فالعمل الإضافي الناتج عن الصدمات يضيف عقوبة ملموسة على كفاءة النظام. وقد وُجد أن هذه العقوبة موجبة تماماً، مما يعني أن التبعية بين الوظائف تجعل الطابور أطول وأوقات الانتظار أعلى مما لو كانت الوظائف مستقلة، حتى لو ظل متوسط وقت إصلاح الوظيفة كما هو.

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

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