[论文解读] Gang FTP scheduling of periodic and parallel rigid real-time tasks

Joël Goossens, Vandy Berten|arXiv (Cornell University)|Jun 14, 2010

Real-Time Systems Scheduling参考文献 16被引用 40

一句话总结

本文提出了一种针对同构多处理器上周期性与并行刚性实时系统中固定任务优先级（FTP）组调度器的精确可调度性测试。通过证明可行调度的周期性，并识别出可预测的子类——并行性单调、空闲、有限组与有限空闲回收，该方法能够在有界时间窗口内精确验证截止时间遵守情况，确保刚性、约束截止时间任务集的正确性。

ABSTRACT

In this paper we consider the scheduling of periodic and parallel rigid tasks. We provide (and prove correct) an exact schedulability test for Fixed Task Priority (FTP) Gang scheduler sub-classes: Parallelism Monotonic, Idling, Limited Gang, and Limited Slack Reclaiming. Additionally, we study the predictability of our schedulers: we show that Gang FJP schedulers are not predictable and we identify several sub-classes which are actually predictable. Moreover, we extend the definition of rigid, moldable and malleable jobs to recurrent tasks.

研究动机与目标

• 为周期性与并行刚性实时系统中的固定任务优先级（FTP）组调度器提供一种精确的可调度性测试。
• 分析并建立各种FTP组调度器子类的可预测性特性。
• 将刚性、可塑与可变作业的定义扩展至周期性（重复）任务。
• 通过周期性与可预测性验证在有界区间内满足截止时间约束。
• 支持在具有作业级并行性的多处理器平台上设计可预测且可分析的实时系统。

提出的方法

• 通过在任务集上使用归纳推理，证明了异步约束截止时间周期性任务集的可行调度具有周期性。
• 为每个任务子集定义首个时间点 $S_k$ 与周期 $P_k = \mathrm{lcm}\{T_1, \dots, T_k\}$，从该点起调度开始重复。
• 建立了特定FTP组变体的可预测性：并行性单调、空闲、有限组与有限空闲回收。
• 利用可预测性与周期性特性，基于在 $[0, S_n + P)$ 区间内验证截止时间合规性，构建了精确的可调度性测试。
• 引入一种无记忆、确定性的调度算法 $\mathcal{A}$，确保处理器可用性与任务执行模式的一致性。
• 结合周期性的归纳证明与可预测性，推导出可调度性的必要且充分条件。

实验结果

研究问题

• RQ1 能否为具有固定处理器分配的周期性刚性实时系统中的FTP组调度器开发一种精确的可调度性测试？
• RQ2 FTP组调度器的哪些子类是可预测的，哪些不是？
• RQ3 如何为异步约束截止时间周期性任务集的形式化证明可行调度的周期性？
• RQ4 可预测性与执行精确可调度性分析能力之间有何关系？
• RQ5 如何将刚性、可塑与可变作业的概念扩展至周期性任务？

主要发现

• 为FTP组调度器建立了精确的可调度性测试：当且仅当所有截止时间在 $[0, S_n + P)$ 区间内满足，且 $\theta(S_n) = \theta(S_n + P)$ 时，刚性、约束截止时间的周期性任务集在可预测算法 $\mathcal{A}$ 下是可调度的。
• 并行性单调、空闲、有限组与有限空闲回收变体被证明是可预测的，从而支持精确分析。
• 任何可行的、异步的、约束截止时间的周期性任务集的调度从 $S_n$ 起具有周期 $P = \mathrm{lcm}\{T_1, \dots, T_n\}$。
• 组FJP调度器不可预测，这使得在这些策略下无法进行精确分析。
• 每个任务 $\tau_{i+1}$ 的首次请求不早于 $S_i$，定义为 $S_{i+1} = \max\{O_{i+1}, O_{i+1} + \lceil (S_i - O_{i+1}) / T_{i+1} \rceil T_{i+1}\}$，从而支持调度的归纳构造。
• 该证明技术依赖于归纳周期性与可预测性，确保调度从 $S_n$ 起以周期 $P$ 重复，从而支持有界验证。