比べ続ける者と、呼ばれたときだけ比べる者 — コントローラと plan

「望む状態を書けば、あとは道具がそうしてくれる」。半分だけ正しい言い方です。書いた時点で起きるのは記録だけで、世界を動かすのは、記録と世界を比べて差を埋める誰かです。

Kubernetes の公式文書は、この「誰か」をサーモスタットで説明します。

When you set the temperature, that's telling the thermostat about your desired state. The actual room temperature is the current state. The thermostat acts to bring the current state closer to the desired state, by turning equipment on or off.

設定温度が望む状態、室温が現在の状態です。そして In Kubernetes, controllers are control loops that watch the state of your cluster, then make or request changes where needed. と続きます。コントローラとは、望む状態と現在の状態を比べて差を埋めようとし続ける制御ループのことです。

この期で繰り返し出てくる資源を先に定義します。

• Pod: Pods are the smallest deployable units of computing that you can create and manage in Kubernetes. 1つ以上のコンテナの組です。
• ReplicaSet: A ReplicaSet's purpose is to maintain a stable set of replica Pods running at any given time. 同じ Pod を指定した数だけ保ちます。
• Deployment: A Deployment provides declarative updates for Pods and ReplicaSets. 公式は、通常は Deployment を定義して ReplicaSet を自動で管理させる、と書きます。

どれも望む状態の記録です。Pod はノードの kubelet が、ReplicaSet・Deployment はそれぞれのコントローラが差を埋めます。

比べる材料は変化の出来事ではなく今の状態です。API 規約はこれを the system's behavior is level-based rather than edge-based と呼び、値が 2→5→3 と書き換えられても 5 を経る必要はないと例示します。理由は This enables robust behavior in the presence of missed intermediate state changes. です。

Terraform も望む状態を書く道具ですが、比べる時点が違います。plan の文書は、plan を作るときの既定の動作をこう書きます。

By default, Terraform performs the following operations when it creates a plan: Reads the current state of any already-existing remote objects to make sure that the Terraform state is up-to-date. Compares the current configuration to the prior state and noting any differences.

state の文書にも Prior to any operation, Terraform does a refresh to update the state with the real infrastructure. とあります。つまり比べるのは plan や apply を始めたときです。操作と操作の間に見張っているかどうかを文書は直接書いていませんが、次の実演で、見張っていないことは確かめられます。

ここで両向きの誤りを避けます。「Terraform も常に見張っている」は誤りです。逆に「Terraform は差分を見ない」も誤りで、呼ばれれば実物を読み直して比べます。Kubernetes 側も、「宣言すれば必ず落ち着く」とは公式が書いていません。potentially, your cluster never reaches a stable state と認めたうえで、コントローラが動いていれば安定しなくても構わない、という立場です。