2.7 نظرية قوائم الانتظار

نظرة عامة والدوافع

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

النتيجة الأكثر فائدة الوحيدة هي قانون ليتل، نظرية أثبتها باحث العمليات John Little عام 1961: متوسط عدد العناصر في نظام مستقر يساوي متوسط المعدل الذي تصل به العناصر، مضروبًا في متوسط الزمن الذي يقضيه كل عنصر في النظام. استخدم الموضوع 2.4 بالفعل هذه النتيجة تحت أسماء إطار عمل التدفق الخاصة، حمل التدفق يساوي معدل الوصول مضروبًا في زمن التدفق. في مفردات هذا الكتاب الأوسع، تُقرَأ أيضًا كالعمل قيد التنفيذ (الموضوع 2.5) يساوي معدل وصول العمل الجديد مضروبًا في زمن الدورة (الموضوع 2.6). هذه ليست قاعدة عملية تقريبية أو ارتباطًا مُلاحَظًا في بعض الدراسات. إنها إثبات يصمد لأي طابور مستقر، بغض النظر عما يعالجه الطابور أو كيف يقرر ما يعمل عليه بعد ذلك.

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

المبادئ الأساسية

قانون ليتل إثبات، لا استدلال تقريبي. العمل قيد التنفيذ يساوي معدل الوصول مضروبًا في زمن الدورة، لأي طابور مستقر، وهو فحص سريع لما إذا كانت مقاييس تسليمك متسقة داخليًا.
لا يتوسع الإشغال خطيًا مع وقت الانتظار. بينما يقترب مورد مشترك من الإشغال الكامل، ينمو تأخير قوائم الانتظار بحدة، لا تدريجيًا. مورد يعمل بإشغال 95% عادة ينتظر أطول بأضعاف من مورد يعمل بإشغال 80%، لا “أسوأ قليلًا” فقط.
متوسط طابور يُخفي أسوأ حالاته. الإبلاغ عن متوسط وقت الانتظار فقط يُخفي الذيل الطويل والمؤلم قرب السعة، بالضبط ما يحذّر منه الموضوع 1.6 بشأن استخدام المئينات بدلًا من المتوسطات.
يمكن التلاعب بكيفية تعريف طابور بسهولة مثل أي مقياس آخر. ما إذا كان شيء ما يُعدّ “وصل” أو “قيد التنفيذ” أو “خُدِم” اختيار، ويمكن ضبطه لتجميل لوحة معلومات دون تغيير ما يحدث للعمل فعليًا.
خط الأنابيب عادة طابور من الطوابير. يُسلسِل خط أنابيب تسليم عدة مراحل معًا، وتُحدِّد أبطأ مرحلة الوتيرة للسلسلة بأكملها بغض النظر عن سرعة تشغيل البقية.

التوصيات

استخدم قانون ليتل للتحقق من أرقامك الخاصة قبل الوثوق بها

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

تتبع الإشغال مباشرة لكل مورد مشترك ومقيد بالسعة

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

افصل معدل الوصول ومعدل النجاح ومعدل الفشل ومعدل التخطي

قاوم دمج كل ما يغادر طابورًا في رقم “إنتاجية” أو “معدل خدمة” واحد. تتبع أربعة أشياء بشكل منفصل: كم سرعة وصول العمل، وكم منه ينتهي بنجاح، وكم يفشل ويحتاج إعادة عمل، وكم يُتخلَّى عنه أو يُسقَط بهدوء قبل أن ينهيه أحد. خط أنابيب يبدو سريعًا لأن معدل تخطيه تصاعد بهدوء لا يُسلِّم فعليًا أكثر، وفقط تتبع هذه المعدلات الأربعة بشكل منفصل سيُظهر لك ذلك.

نمذج خطوط الأنابيب متعددة المراحل كطابور من الطوابير

عامل خط أنابيب تسليم، أو أي عملية متعددة المراحل، دورة حياة حادث، خط أنابيب توظيف، كسلسلة من الطوابير بدلًا من كتلة واحدة غير مُميَّزة من “الوقت.” يُحدِّد المرحلة الأولى معدل الوصول الإجمالي، وتُحدِّد المرحلة الأخيرة معدل الإكمال الإجمالي، وعدد أخطاء وتخطي خط الأنابيب الإجمالي هو مجموع أعداد كل مرحلة الخاصة. تُخبرك هذه الرؤية فورًا أي مرحلة تستحق الاستثمار: تلك بأسوأ مزيج من إشغال عالٍ ومعدل فشل أو تخطٍ عالٍ، لا تلك التي يصادف أنها الأسهل تركيبًا.

حدد التوظيف وحدود العمل قيد التنفيذ مع مراعاة الإشغال، لا الإنتاجية فقط

عندما تقرر كم مُراجِعًا أو مُشغِّل تكامل مستمر يحتاجه فريق، لا تُحجِّم السعة لتطابق معدل الوصول المتوسط بالضبط. طابور يعمل بإشغال 100% في المتوسط له وقت انتظار لانهائي فعليًا في الممارسة، لأن الوصول الحقيقي غير منتظم، لا سلس تمامًا. خطط عن قصد لهامش احتياطي، وعامل “مُراجِعونا مشغولون دائمًا تقريبًا” كعلامة تحذير عن أوقات انتظار آتية، لا كدليل على تخصيص موارد فعال.

المفاضلات: الإيجابيات والسلبيات

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

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

أسئلة للنقاش مع فريقك

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

منظور القطاع

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

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

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

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

أمثلة

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

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

الحالة التجارية: الدوافع والعائد على الاستثمار وإجمالي تكلفة الملكية

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

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

الأنماط المضادة والمزالق

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

نموذج النضج

المستوى 1، البدء: لا يُقاس أي طابور صراحة؛ يُناقَش وقت الانتظار حكائيًا كـ”الأمور تشعر بالبطء.”
المستوى 2، التطوير: يُتتبَّع معدل الوصول والعمل قيد التنفيذ وزمن الدورة لخط أنابيب واحد على الأقل، لكن لا يُتحقَّق منها أبدًا مقابل قانون ليتل أو مقابل الإشغال على الموارد المشتركة.
المستوى 3، التوحيد القياسي: قانون ليتل فحص اتساق روتيني عبر خطوط أنابيب التسليم، ويُتتبَّع الإشغال صراحة لأهم الموارد المشتركة.
المستوى 4، الإدارة: يُتتبَّع معدل النجاح والفشل والتخطي بشكل منفصل لكل طابور مهم، وتستخدم قرارات السعة أهداف إشغال، لا الطلب المتوسط فقط.
المستوى 5، التنسيق الشامل: تُنمذج المنظمة خطوط أنابيبها الرئيسية كطوابير من الطوابير، وتحدد أعناق الزجاجة الحقيقية منهجيًا، وتستطيع الإشارة إلى تغييرات سعة أو عملية محددة أُجريت بسبب تحليل قوائم الانتظار، مع تحسن وقت انتظار مقيس لإظهاره.

أفكار للنقاش

اختر أحد خطوط أنابيب تسليمنا وتحقق مما إذا كانت أرقامه تُحقق قانون ليتل اليوم.
سمِّ المورد المشترك الواحد في منظمتنا الذي سيتفق معظم الناس أنه “مشغول دائمًا”، وابحث عن رقم إشغاله الفعلي.
كيف سيبدو رسم إنتاجيتنا لو قسّمناه إلى معدلات نجاح وفشل وتخطٍ للربع الماضي؟
لو اضطررنا لإضافة سعة لمورد مشترك واحد بالضبط هذا العام، أيها، وما الدليل الذي سيبرر ذلك؟

أهم الاستنتاجات

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

المراجع وقراءات إضافية

Little, John D. C. “A Proof for the Queuing Formula: L = λW.” Operations Research, 1961.
Kleinrock, Leonard. Queueing Systems, Volume 1: Theory. Wiley-Interscience, 1975.
Wescott, Bob. The Every Computer Performance Book: How to Avoid and Solve Performance Problems on the Computer Systems You Work With. CreateSpace Independent Publishing Platform, 2013.
Reinertsen, Donald G. The Principles of Product Development Flow: Second Generation Lean Product Development. Celeritas Publishing, 2009.
Vacanti, Daniel S. Actionable Agile Metrics for Predictability. Actionable Agile Press, 2015.