بحثًا عن نظرية تركيبية للاستقرار الذاتي

يسأل منشور نُشر في 21 سبتمبر 2026 على مدونة Metadata إن كانت نظرية الاستقرار الذاتي تقبل التركيب. أعاد البحث عن تفسير مبدئي للفشل شبه المستقر الكاتب إلى الاستقرار الذاتي، ولم يُثمر مسح الأدبيات عن تركيب الأنظمة المستقرّة ذاتيًا شيئًا. حالة الاختبار: نموذج TLA+ بأسلوب rely-guarantee لعاصفة إعادة المحاولة من مكوّنين بعقود، يعيد إنتاج الفشل شبه المستقر عندما تزيل صدمة كبيرة الحالة الأساسية التي كان الشرطان يتسانندان إليها.

من وعد واحد إلى عائلة من العقود

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

مع ذلك تستحق الفكرة الاقتباس. بدلًا من وعد واحد بشرط مسبق — "إن كان الطابور أقل من 6 فلن أرسل أي إعادة محاولة" — تُكتب عائلة عقود تغطي كل الحالات: أيًّا كان طول الطابور L، يرسل المكوّن على الأكثر λ(L) إعادة محاولة. ويمتد الجدول مع ثوابت النموذج من "الطابور 6 على الأكثر → صفر محاولة" إلى "الطابور 18 على الأكثر → ست محاولات"؛ جانب الافتراض فصل، وجانب الضمان وصل.

لماذا يفشل اختصار الكسب الصغير

تقول مبرهنة الكسب الصغير إن حلقة التغذية الراجعة تستقر عندما يبقى حاصل ضرب كسبي مكوّناتها دون الواحد. ويعوق ذلك هنا أمران: يحتاج الاختصار خطوطًا مستقيمة، لكن الميل الثابت لمكوّن إعادة المحاولة وحده (1/2)، أما نصيب الخادم فيتصرف مثل f/(f+d)؛ ويفترض أن "السوء" رقم واحد، بينما الطابوران اثنان: عمل جديد ونسخ مكرّرة.

تتبّع الاثنين يعطي نقطة ثابتة عند (8,4) وأربعة ميول. القيمتان على القطر، 11/12 و5/6، هما الذاكرة: نصيب الطابور الباقي. والقيمتان خارج القطر، 7/12 و1/6، هما الاقتران بين الطابورين. وضرب الاقتران وحده يعطي 7/72 ≈ 0.1 — "استقرار بهامش عشرة أضعاف" — وهو خطأ لأنه يتجاهل الذاكرة. أما التحليل الصحيح للاستقرار فيعطي 1.19 و0.56: مجموع القيمتين الذاتيتين 1.75، وإحداهما أكبر من واحد، لذا ينمو أي اضطراب تقريبًا.

الإصلاحات المعروفة والسقف الذي لا ينقذ

يفسر الحساب الإصلاحات المستخدمة. ميزانية إعادة المحاولة تُصفّر 7/12، وخدمة "الجديد أولًا" تُصفّر 1/6؛ فتعود العوامل إلى 0.92 و0.83 وينزف العمل المتراكم بنسبة 8% في الجولة بدل النمو بنسبة 19%. وسقف الطوابير هو الخطوة نفسها: M يسمح بـ (M−6)/T محاولة على الأكثر. عند M=7 لا محاولات؛ وعند M=8 محاولة واحدة وتظهر جاذبات أخرى. وفوق 8 تُظهر المحاكاة أن السقف يحدّ من التباعد ولا يمنع الفشل. وعند M=40 يستقر النظام عند (39,38): من ثلاث وحدات في الجولة واحدة تعمل عملًا مفيدًا واثنتان تذهبان إلى نسخ مكرّرة لطلبات في الطريق — وهذا تعريف شبه الاستقرار.

والخلاصة جزئية. أعطت الورقة طريقة أفضل لصياغة وعد المكوّن كعائلة عقود، لكن بلا وصفة تركيب، ونموذجها اللاذاكري لا يناسب المثال. وقد حصل الكاتب على الميول الأربعة بكتابة الطابورين معًا — أي تخلى عن التركيب في تلك الخطوة. ومع ذلك فكل حد في الجدول ينتمي إلى مكوّن واحد: 7/12 هو 1/2 لمكوّن إعادة المحاولة زائد 1/12 للخادم.