準安定障害に対する原理的な解決策の探求は、私を自己安定化へと連れ戻した。最近の論文はこの問題を自己安定化システムの構成に関連付けたが、文献検索では有用なものは何も得られなかった。層状安定化は2000年代初頭にはすでに存在しており、それ以来根本的なものは何も追加されていないようだ。

私は具体的な例を用いて問題に取り組んだ。契約を持つ2つのコンポーネントとしてのリトライストームのrely-guarantee TLA+モデルである。そのモデルは準安定障害を再現する。なぜなら、構成は良好な状態からは機能したが、大きな衝撃が基底ケースを除去すると失敗したからである。あらゆる状態からのrely-guarantee構成を探したところ、Kim、Arcak、Seshiaによる2017年の制御理論論文「A Small Gain Theorem for Parametric Assume-Guarantee Contracts」が見つかった。この論文はおおよそ私が望むことを行う。層やブロッキングなしで2つのコンポーネント間の循環推論を放電する。しかし、深刻な限界がある。コンポーネントは信号上の入出力関係であり、契約は入力境界を出力境界に関連付ける。この無記憶の見方は、前のラウンドから蓄積されたバックログを表現できず、キューを排除する。また、安定化との関連もない。

それでも、自己安定化と準安定性の構成理論に向けていくつかの部分は盗む価値がある。以下で私はこれを解明しようと試みる...やや失敗している。

元のモデルでは、リトライヤの保証は条件付きだった。「キューが6未満なら、リトライを送らない」。パラメトリック仮定-保証論文の大きなアイデアは、どこでもカバーする契約の族を書くことである。定数：S=3サーバー容量、A_max=2新規到着、T=2タイムアウト、遅延閾値S·T=6。これによりλ(L) = ⌊(L-6)/2⌋が得られる。古い契約は最上行である：λ(6)=0。各行が約束を得るので、通常の契約の束が得られ、悪さレベルpごとに1つ：φ_a = ∨_p ψ_a(p); φ_g = ∧_p (ψ_a(p) ⇒ ψ_g(λ(p)))。仮定側は選言である。なぜならレベルは代替案だからである。保証側は連言であり、義務は累積的である。条件が偽の行は何もコストがかからない。ネストされたレベルは最も厳しいものが勝つことを意味する。

主要エンティティ：人物：Kim、Arcak、Seshia

FAQ：自己安定化のためのパラメトリック仮定-保証契約論文の主な限界は何か？

論文はコンポーネントの無記憶の見方を用いているため、前のラウンドから蓄積されたバックログを表現できず、キューを排除する。また、安定化や収束の推論との関連もない。

FAQ Q：自己安定化のためのパラメトリック仮定-保証契約論文の主な限界は何か？

FAQ A：論文はコンポーネントの無記憶の見方を用いているため、前のラウンドから蓄積されたバックログを表現できず、キューを排除する。また、安定化や収束の推論との関連もない。