## Memo ## Memo with LLM ## Abstract ソフトウェアデプロイメントの設定ミスはしばしば発生し、サービス中断を引き起こすデプロイメント失敗の主な原因の1つとなっている。しかし、デプロイの失敗を自動的に修復する既存のアプローチは現在のところ存在しない。我々は、動的に変化するデプロイメント環境において、制約解法によってソフトウェアデプロイメントの失敗を自動的に修復するDeployFixを提案する。DeployFixはまず、異なる構文を持つスケジューラからの異種仕様の変換を実現する統一中間表現としてDeployIRを定義する。DeployFixは、デプロイ失敗の根本原因分析を命題論理におけるコンフリクト解決に還元することで、デプロイ失敗の根本原因であるコンフリクト制約の自動的な特定と診断を実現するために、市販の制約ソルバを使用する。DeployFixは最終的に競合する制約を解決し、実用的な要件の観点から修復された配備構成を生成する。DeployFixをAlibabaの数万ノードのシミュレーション環境と本番環境の両方で評価しました。実験結果は、DeployFixが最先端の技術を凌駕し、大規模な本番データセンターでも数分でデプロイメント障害を正しく修復することを示しています。