Linux内核触发负载均衡的原理与实践
一 核心概念与触发时机
- 内核的“负载均衡”主要指CPU调度器在多核/SMP/NUMA系统上把运行队列（runqueue）中的任务在CPU之间迁移，使负载更公平、容量利用更充分。关键入口是sched_balance_trigger/rq->next_balance到期时发起SCHED_SOFTIRQ，由run_rebalance_domains驱动各层级的sched_domain/sched_group统计与迁移。触发时机包括：
- 周期性时钟中断中调用scheduler_tick → trigger_load_balance，若已到rq->next_balance则触发软中断；在NO_HZ空闲省电场景下，还会通过nohz_balancer_kick选择“空闲负载均衡器”CPU代为拉取任务。
- 主调度路径中，当CPU变为空闲时会进行idle_balance尝试从其他CPU拉任务。
- 进程**创建/执行（如sched_exec）与唤醒（try_to_wake_up）**时，为减少局部热点也会触发相应的再平衡逻辑。
- 在NO_HZ下，若本CPU忙而系统中存在停止时钟的空闲CPU，会**推选新的ILB（idle load balancer）**并执行跨CPU的空闲均衡。
二 关键函数与数据流
- 核心链路可概括为：
- scheduler_tick 发现已到rq->next_balance或需要ILB介入 → 调用trigger_load_balance → 触发SCHED_SOFTIRQ。
- 软中断执行run_rebalance_domains：先处理nohz_idle_balance（为停止时钟的空闲CPU拉任务），再在本地sched_domain层级执行rebalance_domains。
- 在每层域中，统计各sched_group负载与容量，找出“最忙组（busiest）”与“本地组（local）”，通过calculate_imbalance计算差额，定位到具体的busiest runqueue，再调用detach_tasks/attach_tasks迁移适量任务，必要时沿域层级向上迭代至DIE层级，完成全局大致均衡。
三 如何“利用”Trigger让均衡更及时更充分
- 调整内核触发参数（需root，建议先在测试环境验证）
- 缩短均衡间隔：调小**/proc/sys/kernel/sched_migration_cost_ns**（迁移成本阈值，单位纳秒）。较小的值会让迁移更容易发生，适用于短任务多、抖动敏感的场景；过大则抑制迁移，减少抖动但可能不均衡。
- 控制空闲均衡：调小**/proc/sys/kernel/sched_migration_cost**（旧接口，单位微秒，部分发行版仍保留）或在支持的版本上调整sched_nr_migrate（单次均衡最多迁移任务数），以加快空闲CPU“捡任务”的速度。
- 启用并观察NO_HZ相关行为：确保CONFIG_NO_HZ_COMMON=y，通过**/sys/devices/system/cpu/nohz_full配置全系统或按CPU的nohz_full**，减少不必要时钟中断；结合nohz_balance_kick机制观察ILB是否及时介入。
- 结合拓扑与调度类优化
- 在存在异构CPU（如大/小核）或跨NUMA的平台上，确保启用并正确配置sched_asym_cpucapacity/ASYM_PACKING等特性，使“misfit”任务及时上迁到更高容量CPU，避免小核过载。
- 对于**CPU绑定/独占（cgroups cpuset、isolcpus）**的工作负载，合理划分并保留少量“可迁移”CPU作为共享池，避免把均衡“堵死”在局部。
- 观测与验证
- 观察触发与迁移：用perf top/sched:sched_switch/sched_migrate_task跟踪迁移事件；用**/proc/schedstat查看各CPU的迁移、负载统计与next_balance**相关字段变化。
- 关注负载与容量：用lscpu/cpuid确认拓扑；用numactl -H查看NUMA距离；结合htop/mpstat -P ALL 1验证各CPU利用率是否趋于均衡。
- 实践建议
- 先明确目标：是降低尾时延（更积极迁移）还是减少抖动（更保守迁移）。
- 小步调整、闭环验证：每次只改一个参数，配合基准测试与线上A/B验证，观察P95/P99时延、吞吐、迁移次数与能耗的综合变化。
四 常见误区与排错
- 把“内核CPU调度均衡”与“网络/服务层负载均衡”混为一谈：前者是进程在CPU间迁移，后者是连接/请求在服务器间分发，目标与手段不同。
- 过度追求“完全均衡”：调度器追求的是公平与容量利用，不是把每个CPU的负载做成相同数值；频繁迁移会引入缓存失效与抖动。
- 在实时/低延迟或强CPU亲和场景盲目放宽迁移：可能导致优先级反转或抖动上升，应按SLA与抖动预算收紧迁移策略。
- 忽视NUMA/异构特性：未启用或误配置ASYM_PACKING/异构调度，会导致“misfit”任务滞留小核或跨NUMA迁移代价过高。
以上要点可帮助你理解并利用内核的“trigger”机制，让CPU负载均衡在合适的时机、以合适的力度发生，从而在多核与NUMA环境中获得更好的性能与能效。
