基础设施即代码(IaC)核心：声明式与命令式、不可变基础设施、IaC工具选型

在事件驱动架构与 Error Budget 联动体系中，基础设施即代码（IaC）是承载自动化与可靠性的基石。本章将深入剖析 IaC 的三大核心支柱：声明式与命令式的范式差异、不可变基础设施的设计哲学，以及主流工具（Terraform / Pulumi / Crossplane）的选型策略。理解这些概念，是构建可自愈、可审计、与 Error Budget 深度耦合的部署流水线的关键前提。

1. 声明式 vs 命令式：两种范式的对决

IaC 的两种核心范式决定了基础设施的管理方式与故障恢复路径。命令式关注“如何做”，声明式关注“最终状态”。在 Error Budget 消耗场景中，声明式系统能更快地从漂移状态自动收敛，减少人工干预导致的预算消耗。

2. 不可变基础设施：从“修补”到“替换”

不可变基础设施（Immutable Infrastructure）是云原生时代的核心部署模式。其核心理念是：一旦部署，绝不修改运行中的实例；任何变更都通过构建新版本并替换旧实例来完成。这种模式与声明式 IaC 天然契合，并能显著降低 Error Budget 的消耗风险。

• 消除配置漂移： 每次部署都是全新的、经过验证的镜像或容器，不存在“雪花服务器”。
• 快速回滚： 只需将流量切回上一个版本的实例，回滚时间从分钟级降至秒级。
• 可审计性： 每个部署版本都有唯一的 Artifact（如 AMI、容器镜像），变更历史清晰可追溯。
• 与 Error Budget 联动： 当部署失败或导致 SLO 违规时，不可变架构支持立即执行“蓝绿部署”或“金丝雀回滚”，快速止损，避免预算被持续消耗。

3. IaC 工具选型：Terraform / Pulumi / Crossplane

在事件驱动与 Error Budget 的上下文中，工具选型直接影响变更的原子性、状态管理的可靠性以及多集群编排的能力。以下从三个关键维度进行对比：

4. 实战代码示例：声明式 IaC 与 Error Budget 联动

以下是一个使用 Terraform 的示例，展示如何在部署前检查 Error Budget 剩余量，并决定是否执行变更。该逻辑可通过 Terraform Cloud 的 Run Task 或外部脚本实现。

# 假设从监控系统获取 Error Budget 剩余百分比
variable "error_budget_remaining" {
  description = "当前 Error Budget 剩余百分比"
  type        = number
}

# 策略：仅当 Error Budget 充足时允许部署
locals {
  deployment_allowed = var.error_budget_remaining > 20 # 剩余超过 20% 才允许
}

resource "aws_instance" "web" {
  count = local.deployment_allowed ? 1 : 0

  ami           = "ami-0c55b159cbfafe1f0"
  instance_type = "t3.micro"

  tags = {
    Name = "web-server-${count.index}"
  }
}

# 输出部署状态
output "deployment_status" {
  value = local.deployment_allowed ? "部署已执行" : "Error Budget 不足，部署已阻断"
}