principle-make-operations-idempotent

オペレーションを冪等にする

実行回数や実行開始時の状態にかかわらず、正しい状態に収束するようにオペレーションを設計します。状態を変更するすべてのオペレーションで、次の点に答えられるようにしてください。「これが2回実行されたらどうなるか？ 前回の実行が途中でクラッシュしたらどうなるか？」

理由： コマンド、ライフサイクルオペレーション、処理ループが実行される環境では、クラッシュ、再起動、再試行が日常的に発生します。状態が部分的に変更されたことで次回の実行結果が変わると、再起動のたびにデバッグが必要になります。

パターン：

• 収束する起動処理：既存の状態をスキャンし、古いアーティファクトをクリーンアップして、稼働中のセッションを引き継ぎます
• コンテンツに基づくクリーンアップ：作成順ではなく、コンテンツの同等性を比較します
• 自己修復ロック：PID に基づいて古いロックを検出します
• 冪等なスケジューリング：失敗した処理を適切に再生成し、各サイクル後に新しい入力を再生成します

テスト：

1. これが連続して2回実行されたらどうなるか？
2. 前回の実行があらゆる可能な時点でクラッシュしたらどうなるか？
3. 再実行すると、同じ最終状態に収束するか？

いずれかの答えが「残された状態によります」であれば、そのオペレーションには調整ステップが必要です。