בחיפוש אחר תיאוריה קומפוזיציונית של ייצוב עצמי

פוסט מ-21 בספטמבר 2026 בבלוג Metadata שואל אם קיימת תיאוריה קומפוזיציונית לייצוב עצמי. החיפוש אחר הסבר עקרוני לכשלים מטא-יציבים החזיר את המחבר לייצוב עצמי, וסקירת ספרות על הרכבה של מערכות מייצבות לא העלתה דבר שימושי. מקרה המבחן: מודל TLA+ בסגנון rely-guarantee של סערת ניסיונות חוזרים משני רכיבים עם חוזים, שמשחזר כשל מטא-יציב כשזעזוע מסיר את מקרה הבסיס שהחזיק את שני התנאים.

מהבטחה אחת למשפחת חוזים

החיפוש הוביל למאמר תורת בקרה מ-2017 מאת Kim, Arcak ו-Seshia. הוא מפרק היסק מעגלי בין שני רכיבים בלי שכבות ובלי חסימה, אבל מתייחס לרכיב כיחס קלט-פלט נטול זיכרון: אי אפשר לבטא צבירת עבודה, תורים מחוץ לתחום, ואין בו דבר על ייצוב.

הרעיון המרכזי בכל זאת שווה אימוץ. במקום הבטחה עם תנאי מקדים — "אם התור קטן מ-6, לא אשלח ניסיונות" — נכתבת משפחת חוזים לכל מקרה: יהיה אורך התור L אשר יהיה, הרכיב ישלח לכל היותר λ(L) ניסיונות חוזרים. עם קבועי המודל הטבלה נעה מ"תור של עד 6 → 0 ניסיונות" עד "תור של עד 18 → 6 ניסיונות"; צד ההנחה דיסיונקציה, צד ההתחייבות קוניונקציה.

למה קיצור הדרך של ההגבר הקטן נכשל

משפט ההגבר הקטן קובע שלולאה מתייצבת כשמכפלת ההגברים קטנה מאחת. כאן שני דברים חוסמים: נדרשים קווים ישרים, אבל שיפוע קבוע יש רק לרכיב הניסיונות (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 של השרת.