[论文解读] Evaluate and Compare Two Utilization-Based Schedulability-Test Frameworks for Real-Time Systems

Jian-Jia Chen, von der Brüggen, Georg+2 more|arXiv (Cornell University)|May 8, 2015

Real-Time Systems Scheduling参考文献 17被引用 3

一句话总结

本文评估并比较了两种多项式时间可调度性测试框架——k2U 和 k2Q——在实时系统中的应用。k2U 框架基于任务优先级使用双曲利用率边界，而 k2Q 框架则采用同时包含利用率和执行时间的二次形式。主要贡献在于全面比较表明，当适用时 k2U 能够提供更紧致的边界，但 k2Q 在复杂或指数时间测试中更具通用性，能够在单处理器和多处理器系统中实现高效分析，并已证明具有加速因子和利用率边界。

ABSTRACT

In this paper, we take a careful look at speedup factors, utilization bounds, and capacity augmentation bounds. These three metrics have been widely adopted in real-time scheduling research as the de facto standard theoretical tools for assessing scheduling algorithms and schedulability tests. Despite that, it is not always clear how researchers and designers should interpret or use these metrics. In studying this area, we found a number of surprising results, and related to them, ways in which the metrics may be misinterpreted or misunderstood. In this paper, we provide a perspective on the use of these metrics, guiding researchers on their meaning and interpretation, and helping to avoid pitfalls in their use. Finally, we propose and demonstrate the use of parametric augmentation functions as a means of providing nuanced information that may be more relevant in practical settings.

研究动机与目标

• 为实时系统中的两种通用可调度性测试框架 k2U 和 k2Q 提供详细评估与比较。
• 阐明 k2U 与 k2Q 在单处理器与多处理器调度中各自的应用场景、数学基础及性能权衡的差异。
• 证明当适用时 k2U 能够提供更紧致的利用率边界，而 k2Q 可在指数时间可调度性测试中实现多项式时间分析。
• 确立两种框架均不可或缺且互为补充：k2U 在精度方面表现卓越，而 k2Q 在复杂模型中展现出更强的通用性与鲁棒性。

提出的方法

• k2U 框架基于任务利用率和优先级排序，使用双曲边界推导出充分的可调度性条件。
• k2Q 框架使用一种二次形式，同时整合任务利用率和最坏情况执行时间，以限制响应时间并确保可调度性。
• 两种框架均通过 k 点测试策略，将伪多项式或指数时间的可调度性测试转化为多项式时间测试。
• 框架应用于单处理器和多处理器全局调度环境下的传统突发任务模型，采用固定优先级调度。
• 理论结果通过强制前向传播与有界携带进分析技术推导得出，用于计算利用率和加速因子的紧致边界。
• 评估包括理论比较与在合成任务集上的实验测试，以衡量不同测试变体下的接受率与性能表现。

实验结果

研究问题

• RQ1 k2U 与 k2Q 框架在数学公式与基本假设上存在哪些差异？
• RQ2 在哪些场景下 k2U 比 k2Q 更具优势（在可调度性测试精度与计算效率方面），反之亦然？
• RQ3 k2Q 是否能有效将指数时间可调度性测试转化为多项式时间测试，而 k2U 无法实现或表现不佳？
• RQ4 在具有隐式截止时间的多处理器全局调度中，应用 k2U 与 k2Q 后得到的加速因子与利用率边界分别是多少？
• RQ5 不同公式设计（如：有界携带进 vs. 强制前向传播）如何影响最终测试的性能与接受率？

主要发现

• k2U 框架在具有隐式截止时间的多处理器全局 RM 调度中，实现了约 2.823 的容量增强因子，与最佳已知伪多项式结果一致。
• k2Q 框架，特别是 QB-FF2，评估中表现出最高的接受率，在所有测试配置下均优于其他线性时间测试。
• 基于 k2U 的测试如 HP-BC-EP 和 HP-BC2 表现优于 BAK 与 BCL，其中 HP-BC-EP 几乎与 QB-BC 水平相当。
• 当任务利用率超过 1/2.84306 时，QB-FF 变体的表现劣于 QB-BC，这是由于在公式中用 U_k 替代 U_max_k 所引入的保守性所致。
• k2Q 框架即使在指数时间可调度性测试中也能实现多项式时间分析，如先前工作所展示，因此其适用范围比 k2U 更广。
• 两种框架均不可或缺：当适用时 k2U 提供更紧致的边界，而 k2Q 确保在 k2U 失效的复杂或模糊任务模型中仍具备可行性与性能。