3、分区调度核心概念：分区（Partition）定义、预算（Budget）与周期（Period）、关键时间参数解析
好，咱们今天聊聊分区调度的几个核心概念。说实话，这些概念看起来简单，但我在项目里见过太多人栽在细节上。你想想看，如果连分区、预算、周期这些基本概念都没吃透，后面做系统设计肯定要出问题。
3.1 分区（Partition）到底是什么？
分区，说白了就是把CPU时间切分成若干块，每块分配给一个独立的执行环境。我习惯把分区理解成「时间上的虚拟机」——每个分区有自己的时间片，互不干扰。
在QNX Adaptive Partitioning中，分区是一个逻辑容器，它包含：
- 一组线程或进程：这些任务被绑定到该分区中运行
- 时间预算：分区在周期内能占用的最大CPU时间
- 调度属性：包括关键性等级、预算类型等
举个例子，我在一个车载项目中，把系统分成了三个分区：
- 安全分区：运行制动控制、转向控制等安全关键任务
- 信息娱乐分区：运行导航、音乐播放等非安全任务
- 诊断分区：运行系统监控、日志记录等后台任务
每个分区就像一个小王国，有自己的「时间领土」。一个分区里的任务再忙，也不能侵占其他分区的时间。这就是分区调度的核心价值——时间隔离。
关键点：分区不是物理隔离，而是时间上的逻辑隔离。所有分区共享同一个CPU核心，但通过调度器保证每个分区获得预定的时间份额。
3.2 预算（Budget）与周期（Period）
这两个参数是分区调度的灵魂。我刚开始接触时也搞混过，后来才明白它们的关系。
3.2.1 预算（Budget）
预算，就是分区在一个周期内能使用的最大CPU时间。单位通常是微秒（μs）或毫秒（ms）。
举个例子：
// 创建一个分区，预算为5ms，周期为20ms
partition_attr_t attr;
partition_attr_init(&attr);
partition_attr_set_budget(&attr, 5000); // 5ms预算
partition_attr_set_period(&attr, 20000); // 20ms周期这意味着，这个分区每20ms内最多只能跑5ms。剩下的15ms要留给其他分区。
我在一个项目中遇到过这样的坑：有个同事把预算设成了10ms，周期设成了10ms。你猜怎么着？分区占满了整个周期，其他分区根本拿不到时间。这其实就变成了一个独占CPU的分区，失去了分区的意义。
注意：预算不能超过周期。如果预算等于周期，这个分区就变成了一个「独占分区」，其他分区只能等它空闲才能运行。
3.2.2 周期（Period）
周期，就是分区调度的时间窗口。每个周期开始时，分区获得预算；周期结束时，未用完的预算会被清零（除非配置了预算累积）。
周期的作用是：
- 保证响应时间：分区最坏情况下，等待时间不会超过一个周期
- 控制调度频率：周期越短，调度越频繁，但开销也越大
- 实现公平分配：所有分区在各自的周期内获得公平的CPU时间
我个人习惯把周期设成所有分区周期的最大公约数。比如：
- 安全分区：周期20ms
- 信息娱乐分区：周期40ms
- 诊断分区：周期100ms
那么系统的基础周期就是20ms（最大公约数）。这样调度器每20ms检查一次，确保所有分区都能按时获得CPU时间。
3.3 关键时间参数解析
除了预算和周期，还有几个时间参数你必须要懂。我当年就是没搞懂这些，导致系统调度出了大问题。
| 参数 | 含义 | 典型值 | 注意事项 |
|---|---|---|---|
| Budget | 分区在周期内可用的最大CPU时间 | 1ms ~ 100ms | 不能超过周期 |
| Period | 分区调度的时间窗口 | 10ms ~ 1000ms | 影响响应时间 |
| Critical Time | 关键分区的最坏情况响应时间 | 取决于系统 | 必须小于周期 |
| Budget Replenishment | 预算补充的时间点 | 周期开始时刻 | 支持预算累积时例外 |
| Idle Time | 所有分区空闲时的CPU时间 | 剩余时间 | 可用于非关键任务 |
3.3.1 关键时间（Critical Time）
关键时间，是指关键分区在最坏情况下，从任务就绪到开始执行的最大延迟。这个参数决定了系统的实时性。
我曾经在一个工业控制项目中，把关键时间设成了5ms。结果实际测试时，发现有时候延迟能达到8ms。查了半天，原来是另一个分区的预算设得太高，导致关键分区被阻塞了。
经验之谈：关键时间一定要留有余量。我一般会留20%~30%的余量。比如要求5ms响应，我就按3.5ms~4ms来设计。
3.3.2 预算补充（Budget Replenishment）
预算补充，就是分区在每个周期开始时重新获得预算的过程。默认情况下，周期结束时未用完的预算会被清零。
但QNX支持预算累积模式：如果分区在某个周期内没用完预算，剩余部分可以累积到下一个周期。这个特性很有用，但也要小心使用。
举个例子：
// 启用预算累积
partition_attr_set_flags(&attr, PARTITION_FLAG_BUDGET_CARRYOVER);启用后，分区可以累积最多两个周期的预算。这样，如果某个周期任务较少，省下的时间可以在下一个周期用于处理突发任务。
警告：预算累积可能导致关键分区的时间被非关键分区占用。我曾经见过一个系统，因为预算累积设置不当，导致安全分区在关键时刻拿不到足够的CPU时间。所以，关键分区建议不要启用预算累积。
3.3.3 空闲时间（Idle Time）
空闲时间，就是所有分区都空闲时，CPU的剩余时间。这部分时间可以分配给非关键任务，或者用于后台处理。
在QNX中，空闲时间默认分配给空闲分区。空闲分区可以运行一些低优先级的任务，比如日志记录、系统监控等。
我习惯把空闲时间利用起来：
- 运行系统健康检查
- 执行性能统计
- 处理非实时的后台任务
但要注意，空闲时间是不保证的。如果所有分区都在忙，空闲时间就是0。所以，不要把关键任务放在空闲分区里。
3.4 实际配置示例
说了这么多，咱们看一个完整的配置示例。这是一个车载系统的分区配置：
// 安全分区：制动控制
partition_attr_t safe_attr;
partition_attr_init(&safe_attr);
partition_attr_set_budget(&safe_attr, 8000); // 8ms预算
partition_attr_set_period(&safe_attr, 20000); // 20ms周期
partition_attr_set_critical(&safe_attr, true); // 关键分区
// 信息娱乐分区：导航、音乐
partition_attr_t media_attr;
partition_attr_init(&media_attr);
partition_attr_set_budget(&media_attr, 6000); // 6ms预算
partition_attr_set_period(&media_attr, 40000); // 40ms周期
partition_attr_set_critical(&media_attr, false);
// 诊断分区：日志、监控
partition_attr_t diag_attr;
partition_attr_init(&diag_attr);
partition_attr_set_budget(&diag_attr, 2000); // 2ms预算
partition_attr_set_period(&diag_attr, 100000); // 100ms周期
partition_attr_set_critical(&diag_attr, false);这个配置中：
- 安全分区每20ms获得8ms的CPU时间，占比40%
- 信息娱乐分区每40ms获得6ms的CPU时间，占比15%
- 诊断分区每100ms获得2ms的CPU时间，占比2%
- 剩余43%的时间是空闲时间，可用于非关键任务
嗯，这里要注意：所有分区的预算总和不能超过100%。否则，调度器会报错，系统可能无法正常启动。
3.5 避坑指南
最后，分享几个我踩过的坑：
- 预算设得太紧：我曾经把预算设成刚好够用，结果系统负载一波动，分区就超时了。建议留10%~20%的余量。
- 周期设得太短：周期越短，调度开销越大。我见过有人把周期设成1ms，结果调度开销占了CPU的30%。一般建议周期在10ms以上。
- 忽略空闲时间：有些新手把所有时间都分配给分区，不留空闲时间。这样系统一旦有突发任务，就没地方跑了。
- 关键分区不设关键标志：如果不设关键标志，关键分区在预算用完后会被挂起，可能导致系统崩溃。
好了，分区调度的核心概念就讲到这里。下一章咱们聊聊分区调度器的内部工作机制，看看调度器是怎么在分区之间切换的。