3. Pod优先级与抢占机制：PriorityClass定义、优先级排序逻辑、抢占流程与代价分析

在Kubernetes调度系统中，Pod优先级与抢占机制是保障高优先级工作负载及时获得资源的核心手段。当集群资源紧张时，调度器通过优先级排序决定Pod的调度顺序，并在必要时驱逐低优先级Pod以释放资源。本章深入剖析PriorityClass的定义、优先级排序逻辑、抢占触发流程及其性能代价。

3.1 PriorityClass定义与配置

PriorityClass是一个集群级别的资源对象，用于定义Pod的优先级数值。优先级数值越高，Pod在调度队列中的排序越靠前，抢占能力越强。

apiVersion: scheduling.k8s.io/v1
kind: PriorityClass
metadata:
  name: production-critical
value: 1000000
globalDefault: false
preemptionPolicy: PreemptLowerPriority
description: "生产环境关键业务Pod，允许抢占低优先级Pod"
---
apiVersion: v1
kind: Pod
metadata:
  name: critical-app
spec:
  priorityClassName: production-critical
  containers:
  - name: app
    image: nginx:latest
    resources:
      requests:
        cpu: "2"
        memory: "4Gi"

3.2 优先级排序逻辑

调度器维护多个调度队列，Pod的优先级直接影响其在队列中的位置。排序逻辑遵循以下规则：

1. 主排序键：优先级数值——数值越大，排序越靠前。
2. 次排序键：加入队列时间——相同优先级下，先加入队列的Pod排在前面。
3. 特殊处理：已调度但失败的Pod（如调度重试）会获得一个负向偏移，避免反复抢占同一资源。

排序逻辑的伪代码如下：

func less(p1, p2 *Pod) bool {
    // 1. 优先级高的Pod优先
    if p1.Priority != p2.Priority {
        return p1.Priority > p2.Priority
    }
    // 2. 相同优先级，先入队的优先
    if p1.Timestamp != p2.Timestamp {
        return p1.Timestamp.Before(p2.Timestamp)
    }
    // 3. 完全相同的Pod，按UID排序保证确定性
    return p1.UID < p2.UID
}

3.3 抢占流程详解

当高优先级Pod无法调度到任何节点时，调度器触发抢占流程。抢占不是立即驱逐，而是经过一系列步骤选出最优受害者集合。

3.3.1 受害者选择算法

受害者选择是抢占流程的核心，算法遵循以下优先级：

1. 优先级最低的Pod优先被驱逐——从目标节点上选出所有优先级低于抢占Pod的Pod。
2. 按优先级升序排序——优先级最低的Pod排在前面。
3. 逐级尝试驱逐——从最低优先级开始，累加释放的资源量，直到满足抢占Pod的资源需求。
4. 最小化受害者数量——在满足资源需求的前提下，优先驱逐更少的Pod。
5. 考虑Pod Disruption Budget (PDB)——如果驱逐某个Pod会违反PDB，则跳过该Pod，尝试下一个。

3.4 抢占代价分析

抢占机制虽然解决了资源争抢问题，但会带来显著的性能代价和运维风险。

3.4.1 抢占延迟分解

通过调度器性能剖析（pprof）可以分解抢占各阶段的耗时：

抢占总耗时 = 候选节点查找 + 受害者选择 + 模拟调度 + 驱逐执行 + 缓存更新

典型分布（1000节点集群，100个候选Pod）：
- 候选节点查找：   80ms  (40%)
- 受害者选择：     60ms  (30%)
- 模拟调度：       40ms  (20%)
- 驱逐执行：       15ms  (7.5%)
- 缓存更新：        5ms  (2.5%)

3.5 优先级与抢占的避坑指南

• 避免优先级数值过于密集：建议至少间隔100,000，防止排序不稳定。
• 系统组件优先级不要过高：kube-system中的组件优先级应低于用户关键业务，否则用户Pod可能被系统组件抢占。
• 抢占风暴防护：设置globalDefault优先级时，确保所有Pod都有明确的优先级归属，避免未定义优先级的Pod被误驱逐。
• 监控抢占事件：通过kubectl get events --field-selector reason=Preempting监控抢占频率，设置告警阈值。
• PDB与抢占的冲突：PDB只能保证最小可用副本数，但不能阻止抢占。如果PDB设置过于严格，可能导致高优先级Pod无法调度。