# 収束型システム管理 ## 定義 収束型システム管理とは、システムの現在状態を、ポリシーが定める「理想状態」へ繰り返し近づけ続ける調整的(regulative)な営みとしてシステム管理を捉える考え方である。[[Mark Burgess]] は CFEngine の実装で用いた「convergence(収束)」概念(ポリシーの再実行のたびにホスト状態が理想状態へ近づき、理想状態においては操作が冪等になる)を、[[@2000__LISA__Theoretical System Administration]](USENIX LISA 2000)において一般理論へ拡張した。同論文は、システムの状態を n 次元格子上の点として表現し、理想状態を格子の原点に置くことで、任意の偏差ベクトル d に対する「補正操作の候補数」H(d) = (Σj dj)! / Πk(dk!) がユークリッド距離に対して階乗的に増大する一方、実際に必要な補正操作数自体は距離に対して線形にしか増えないことを示した。この定式化により、「システムを理想状態の近傍に保ち続けることが、遠く離れた状態から回復するより本質的に安価である」という主張が数理的に基礎づけられる。(Source: [[@2000__LISA__Theoretical System Administration]]) 中心定理(Burgess 2000 が引用する自身の先行研究 [3] の要約): 十分に完全なシステムポリシーの仕様は「理想平均状態」の概念を導く。理想平均状態は時間とともに(ゆっくりと)劣化する。システム管理の目的は、システムをできるだけこの理想状態に近く保つことである。(Source: [[@2000__LISA__Theoretical System Administration]]) ## 横断的知見 - 本 concept は現時点で単一ソース([[@2000__LISA__Theoretical System Administration]])のみに基づく。今後、Kubernetes の reconciliation loop、Terraform/Ansible の宣言的インフラ管理、Chaos Engineering の定常状態仮説など、同じ「望ましい状態への収束」を扱う現代文献が ingest され次第、横断的な比較を蓄積する。 ## 未解決の問い - Burgess(2000)の格子モデル(離散的な primitive 操作の n 次元空間)は、今日の宣言的インフラ管理(Kubernetes Operator パターン、Terraform state)の理論的定式化とどこまで対応するか。現代の reconciliation loop 実装は、この論文の「補正操作候補数の指数爆発」問題をどのように回避しているか(例: 差分計算による決定的な単一の補正パスの選択)。 - 理想平均状態 S*(t) が「ゆっくり劣化する」という前提は、現代のマイクロサービス環境(頻繁なデプロイ、動的なオートスケーリング)でも成立するか。デプロイ頻度が Burgess の想定する「日次・週次周期」よりずっと速い環境では、理想状態と実際状態の分離という前提そのものが崩れる可能性がある。 - CFEngine の convergence 概念と、Chaos Engineering における「定常状態(steady state)」概念は、独立に発展したのか、それとも系譜上のつながりがあるか。 ## 関連 - [[@2000__LISA__Theoretical System Administration]] — 本概念の初出。CFEngine の convergence を一般理論化した中心論文。 - [[Mark Burgess]] — CFEngine の作者であり、本概念の提唱者。 - [[SREの工学化]] — 収束型システム管理は、坪内(2024)が言う「技芸から工学へ」の移行の具体的な数理実践例として位置づけられる。 - 既存資産(一方向参照): [[papers/1998__LISA__Computer Immunology|papers/1998__LISA__Computer Immunology]](同著者の前年 LISA 論文、免疫モデルの初出)、`structures/SRE - MOC.md` への一方向参照。 ## 出典 - [[@2000__LISA__Theoretical System Administration]](Mark Burgess, USENIX LISA 2000)