3. 制品误差预算模型：SLI、SLO、Error Budget 定义与计算逻辑

在制品交付链中，误差预算（Error Budget）是连接可靠性目标与变更风险的量化桥梁。本章定义 SLI、SLO、Error Budget 三个核心概念，并给出在 Terraform 审计日志场景下的计算逻辑与台账映射方式。

3.1 核心概念定义

3.2 SLI 定义与测量维度

针对 Terraform 驱动的制品审计日志采集，SLI 应覆盖以下三个维度：

• 可用性 SLI： 日志采集端点健康检查通过率。测量方式：每分钟探活，成功响应数 / 总探活数。
• 完整性 SLI： 成功写入存储的日志条数 / 制品侧实际产生的日志条数。需在制品侧埋点记录“应发数”。
• 时效性 SLI： 日志从产生到可查询的时间差（P99 延迟）。测量方式：日志时间戳 vs 存储接收时间戳。

3.3 SLO 设定与误差预算计算逻辑

以月为窗口期，定义典型 SLO 及对应的 Error Budget 计算公式：

通用计算模型：

Error Budget = 总测量单位数 × (1 - SLO)

# 示例：完整性预算
total_logs_30d = 10_000_000  # 预估月日志总量
slo_completeness = 0.9995
error_budget = total_logs_30d * (1 - slo_completeness)
# error_budget = 5_000 条允许丢失

3.4 误差预算消耗与剩余量计算

实际消耗量由 SLI 测量值与 SLO 阈值的差值累加得到：

# 每日消耗计算
daily_budget_consumption = max(0, sli_actual - slo_target) * 总测量数

# 剩余预算
remaining_budget = error_budget - sum(daily_budget_consumption)

# 预算耗尽阈值触发
if remaining_budget <= 0:
    trigger_terraform_freeze()

3.5 制品误差预算台账结构

在 Terraform 审计日志采集系统中，Error Budget 台账应作为独立索引存储，结构如下：

3.6 SLI → SLO → Error Budget 流转关系

下图展示从原始日志到预算决策的完整数据流：

3.7 误差预算状态机与 Terraform 联动

Error Budget 状态直接驱动 Terraform 部署策略：

3.8 计算逻辑代码示例（伪代码）

# 误差预算计算与状态判定
class ErrorBudgetCalculator:
    def __init__(self, slo_target: float, window_seconds: int, total_units: int):
        self.slo = slo_target
        self.window = window_seconds
        self.total_budget = total_units * (1 - slo_target)
        self.consumed = 0.0

    def record_sli(self, sli_value: float, measurement_count: int):
        """记录一次 SLI 测量并更新消耗"""
        if sli_value < self.slo:
            deficit = self.slo - sli_value
            self.consumed += deficit * measurement_count

    @property
    def remaining(self) -> float:
        return max(0.0, self.total_budget - self.consumed)

    @property
    def status(self) -> str:
        ratio = self.remaining / self.total_budget if self.total_budget > 0 else 0
        if ratio > 0.30:
            return "healthy"
        elif ratio > 0:
            return "warning"
        else:
            return "exhausted"