2. Kubernetes 故障域基础：节点、可用区、区域的概念，以及Pod调度与拓扑分布约束

2.1 故障域层次模型

Kubernetes 集群的物理或逻辑基础设施天然存在故障边界。理解这些边界是设计高可用应用交付的前提。故障域从下至上分为三个层级：节点、可用区、区域。

2.2 节点级故障域与 Pod 调度基础

节点是 Kubernetes 中最小的调度单元。Pod 调度器默认基于节点资源（CPU、内存）进行打分与绑定，但并未感知故障域分布。以下机制用于控制 Pod 在节点间的分布：

• nodeSelector：基于节点标签的简单硬约束，用于将 Pod 定向到特定节点池。
• nodeAffinity：支持 requiredDuringSchedulingIgnoredDuringExecution（硬约束）和 preferredDuringSchedulingIgnoredDuringExecution（软约束）两种语义。
• Pod 反亲和性（podAntiAffinity）：强制或偏好将同一应用的多个副本调度到不同节点上。

# 示例：使用 podAntiAffinity 确保每个节点最多运行一个副本
apiVersion: apps/v1
kind: Deployment
metadata:
  name: web-app
spec:
  replicas: 5
  template:
    spec:
      affinity:
        podAntiAffinity:
          requiredDuringSchedulingIgnoredDuringExecution:
          - labelSelector:
              matchExpressions:
              - key: app
                operator: In
                values:
                - web-app
            topologyKey: kubernetes.io/hostname

2.3 可用区与区域：拓扑分布约束

Kubernetes 1.19+ 引入 Pod Topology Spread Constraints（Pod 拓扑分布约束），这是实现故障域隔离的推荐方式。它允许用户定义 Pod 在多个拓扑域（如节点、可用区、区域）之间的分布策略。

# 示例：将副本均匀分布到 3 个可用区
apiVersion: apps/v1
kind: Deployment
metadata:
  name: distributed-app
spec:
  replicas: 9
  template:
    spec:
      topologySpreadConstraints:
      - maxSkew: 1
        topologyKey: topology.kubernetes.io/zone
        whenUnsatisfiable: DoNotSchedule
        labelSelector:
          matchLabels:
            app: distributed-app

2.4 故障域隔离的架构视图

下图展示了跨区域、跨可用区、跨节点的三层故障域隔离架构，以及 Pod 在拓扑约束下的分布效果。

2.5 故障域隔离的容量规划公式

在进行故障域隔离演练的容量规划基准测试时，需要预先计算以下关键指标：

1. 单节点最大 Pod 数：min(节点可分配IP数, 节点可分配CPU/Pod, 节点可分配内存/Pod)
2. 单可用区最大 Pod 数：单节点最大Pod数 × 该可用区节点数
3. 全局最大副本数（maxSkew=1）：单可用区最大Pod数 × 可用区数量
4. 单故障域失效后剩余容量：全局最大副本数 - 单可用区最大Pod数

2.6 常见配置错误与避坑指南