Özünü Stabilləşdirmənin Kompozisiya Nəzəriyyəsi Axtarışında

21 sentyabr 2026-cı ildə Metadata bloqundaki yazı soruşur: özünü stabilləşdirmənin kompozisiya nəzəriyyəsi varmı? Metastabil nasazlıqlara prinsipial izah axtarışı müəllifi özünü stabilləşdirməyə qaytardı, özünü stabilləşdirən sistemlərin kompozisiyası üzrə ədəbiyyat araşdırması isə faydalı heç nə vermədi. Sınaq nümunəsi müqaviləli iki komponentdən qurulmuş rely-guarantee TLA+ təkrar cəhdlər fırtınası modelidir: böyük zərbə iki şərtin dayaqını aradan qaldırdıqda metastabil nasazlıq təkrarlanır.

Tək vəddən müqavilələr ailəsinə

Axtarış Kim, Arcak və Seshia-nın 2017-ci il tarixli idarəetmə nəzəriyyəsi məqaləsinə gətirdi. Məqalə iki komponent arasındakı dövri mülahizəni qatlaşdırma və bloklama olmadan həll edir, lakin komponent yaddaşsız giriş-çıxış münasibətidir: yığım ifadə oluna bilmir, növbələr kənarda qalır və stabilləşdirməyə toxunulmur.

Əsas ideyanı götürməyə dəyər. Ön şərtli tək vəd yerinə — "növbə 6-dan azdırsa, təkrar cəhd göndərmirəm" — hər halı əhatə edən müqavilələr ailəsi yazılır: növbənin uzunluğu L nə olursa olsun, komponent ən çoxu λ(L) təkrar cəhd göndərir. Modelin sabitləri ilə cədvəl "növbə ən çoxu 6 → 0 cəhd"dən "növbə ən çoxu 18 → 6 cəhd"ə uzanır; fərziyyə tərəfi dizyunksiya, zəmanət tərəfi konyunksiyadır.

Kiçik qazanc qısayolu niyə iflas edir

Kiçik qazanc teoremi deyir ki, əks əlaqə dövrəsi komponentlərin qazanclarının hasili birdən kiçik qaldıqda oturur. Burada iki şey əngəlləyir: düz xətlər lazımdır, amma sabit meyil yalnız təkrar cəhd komponentindədir (1/2), serverin payı isə f/(f+d) kimi davranır; və pislıyin tək ədəd olduğu fərz edilir, halbuki iki növbə var — təzə iş və dublikatlar.

Hər ikisinin izlənməsi (8,4) sabit nöqtəsini və dörd meyili verir. Diaqonaldakı 11/12 və 5/6 yaddaşdır: növbənin növbəti raundda qalan payı. Diaqonaldan kənar 7/12 və 1/6 isə növbələr arasındakı əlaqədir. Yalnız əlaqəni vurmaq 7/72 ≈ 0.1 verir — "on qat ehtiyatla stabilik" — və bu yanlışdır, çünki yaddaşı nəzərə almır. Düzgün stabilik təhlili 1.19 və 0.56 qaytarır: biri birdən böyükdür, ona görə demək olar ki, hər pozuntu böyüyür.

Məlum düzəlişlər və kömək etməyən tavan

Hesab istifadə olunan düzəlişləri izah edir. Təkrar cəhd büdcəsi 7/12-ni, "əvvəlcə təzə" xidməti 1/6-nı sıfırlayır. Onda vuruqlar 0.92 və 0.83-ə qayıdır və yığım raundda 19% böyümək yerinə 8% azalır. Növbə tavanı da eyni addımdır: M tavanı ən çoxu (M−6)/T cəhdə icazə verir. M=7-də cəhd yoxdur; M=8-də biri var və başqa cazibə nöqtələri görünür. 8-dən yuxarıda tavan dağılmanı məhdudlaşdırır, amma nasazlığın qarşısını almır. M=40-da sistem (39,38)-də dayanır: raundda xidmət edilən üç vahiddən biri faydalı işə gedir, ikisi yolda olan sorğuların dublikatlarına — metastabilliyin tərifidir.

Nəticə qisməndir. Məqalə vədin müqavilələr ailəsi kimi yazılmasının daha yaxşı yolunu verdi, amma kompozisiya resepti vermədi və yaddaşsız skalyar modeli nümunəyə uyğun gəlmir. Dörd meyili müəllif iki növbəni birgə yazmaqla əldə etdi — həmin addımda kompozisiyadan imtina etdi. Yenə də cədvəldəki hər hədd bir komponentə aiddir: 7/12 təkrar cəhd komponentinin 1/2-si üstəgəl serverin 1/12-sidir.