Kendini Stabilize Etmenin Bileşimsel Bir Teorisi Peşinde

21 Eylül 2026'da Metadata blogunda yayımlanan bir yazı, kendini stabilize etmenin bileşimsel bir teorisi olup olmadığını soruyor. Metastabil arızalara ilkeli bir açıklama arayışı yazarı kendini stabilize etme konusuna geri götürüyor; kendini stabilize eden sistemlerin bileşimi üzerine literatür taraması ise işe yarar bir şey bulamıyor. Test örneği, sözleşmeli iki bileşenden kurulu rely-guarantee tarzı bir TLA+ yeniden deneme fırtınası modeli: büyük bir şok temel durumu kaldırınca metastabil arıza yeniden üretiliyor.

Tek vaatten bir sözleşme ailesine

Arayış Kim, Arcak ve Seshia'nın 2017 tarihli kontrol teorisi makalesine çıktı. Makale iki bileşen arasındaki döngüsel akıl yürütmeyi katmanlama ve bloklama olmadan çözüyor; ama bileşeni sinyaller üzerinde belleksiz bir girdi-çıktı ilişkisi olarak alıyor: birikmiş iş ifade edilemiyor, kuyruklar kapsam dışı ve stabilizasyona değinilmiyor.

Ana fikir yine de ödünç alınmaya değer. Ön koşullu tek vaat yerine — "kuyruk 6'nın altındaysa hiç deneme göndermem" — her durumu kapsayan bir sözleşme ailesi yazılıyor: kuyruk uzunluğu L ne olursa olsun bileşen en fazla λ(L) deneme gönderir. Modelin sabitleriyle tablo "kuyruk en fazla 6 → 0 deneme"den "kuyruk en fazla 18 → 6 deneme"ye uzanıyor; varsayım tarafı ayrışım, garanti tarafı birleşim.

Küçük kazanç kestirmesi neden çöküyor

Küçük kazanç teoremi, bir geri besleme döngüsünün kazanç çarpımı birden küçük kaldığında oturacağını söyler. Burada iki şey engelliyor: düz çizgiler gerekiyor, ama sabit eğim yalnızca yeniden deneme bileşeninde (1/2), sunucunun payı f/(f+d) gibi davranıyor; ve kötülüğün tek sayı olduğu varsayılıyor, oysa iki kuyruk var — taze iş ve kopyalar.

İkisini birlikte izlemek (8,4) sabit noktasını ve dört eğimi veriyor. Köşegen üzerindekiler, 11/12 ve 5/6, bellek: kuyruğun sonraki tura kalan payı. Köşegen dışındakiler, 7/12 ve 1/6, kuyruklar arası bağlaşım. Yalnızca bağlaşımı çarpmak 7/72 ≈ 0.1 veriyor — "on kat emniyetli kararlılık" — ve bu yanlış, çünkü belleği yok sayıyor. Doğru kararlılık analizi 1.19 ve 0.56 veriyor: biri birden büyük, dolayısıyla neredeyse her bozulma büyüyor.

Bilinen düzeltmeler ve işe yaramayan tavan

Aritmetik, kullanılan düzeltmeleri açıklıyor. Yeniden deneme bütçesi 7/12'yi, "önce taze" hizmet 1/6'yı sıfırlıyor. O zaman çarpanlar 0.92 ve 0.83'e dönüyor ve birikmiş iş turda %19 büyümek yerine %8 azalıyor. Kuyruk tavanı da aynı hamle: M tavanı en fazla (M−6)/T denemeye izin veriyor. M=7'de deneme yok; M=8'de bir deneme var ve başka çekiciler beliriyor. 8'in üzerinde tavan ıraksaklığı sınırlıyor ama arızayı önlemiyor. M=40'ta sistem (39,38)'de duruyor: turda hizmet edilen üç birimden biri faydalı işe gidiyor, ikisi yoldaki isteklerin kopyalarına — metastabilitenin tanımı bu.

Sonuç kısmi. Makale, bileşenin vaadini sözleşme ailesi olarak yazmanın daha iyi bir yolunu verdi, ama bileşim tarifi vermedi ve belleksiz skaler modeli örneğe uymuyor. Dört eğimi yazar iki kuyruğu birlikte yazarak elde etti — o adımda bileşimden vazgeçti. Yine de tablodaki her terim tek bileşene ait: 7/12, yeniden deneme bileşeninin 1/2'si artı sunucunun 1/12'si.