[论文解读] Sufficient FTP Schedulability Test for the Non-Cyclic Generalized Multiframe Task Model

Vandy Berten, Joël Goossens|arXiv (Cornell University)|Oct 26, 2011

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

一句话总结

本文提出了一种针对非循环广义多帧（nc-gmf）任务在固定优先级调度（FTP）下的充分可调度性测试，基于关键时刻分析和基于请求边界函数的算法。主要贡献是一种伪多项式时间算法，通过使用最大请求边界函数（mrbf）来约束工作量，确保可行性，同时理论分析了悲观程度，并可通过检测周期性模式实现优化。

ABSTRACT

Our goal is to provide a sufficient schedulability test -ideally polynomial- for the scheduling of Non-Cyclic Generalized Multiframe Task Model using Fixed-Task-Priority schedulers. We report two first results: (i) we present and prove correct the critical instant for the Non-Cyclic Generalized Multiframe Task Model then (ii) we propose an algorithm which provides a sufficient (but pseudo-polynomial) schedulability test.

研究动机与目标

• 为非循环广义多帧（nc-gmf）任务在固定优先级调度（FTP）下缺乏充分可调度性测试的问题提供解决方案。
• 将关键时刻概念扩展至nc-gmf模型，其中任务配置是非循环的，且在设计时无法预先知晓。
• 开发一种时间复杂度多项式有界的伪多项式可调度性测试，确保所有作业在FTP下满足截止时间。
• 量化并界定由固定优先级模型引入的悲观程度，相较于动态优先级方法。
• 探索向有向图实时任务模型的未来扩展，并通过在工作量函数中检测周期性模式来提升算法效率。

提出的方法

• 提出关键时刻分析，表明任何nc-gmf任务的最坏响应时间出现在所有高优先级任务同步释放且尽可能早释放的场景下。
• 引入最大请求边界函数（mrbf_i(t)），作为每个任务τ_i的工作量上界，其计算基于所有可能的配置序列。
• 定义一种与偏移无关的场景模型，其中作业序列独立于初始释放时间，从而支持最坏情况分析。
• 设计一种算法，通过探索所有有效配置序列至时间t来计算mrbf_i(t)，并利用工作量上下界进行剪枝。
• 应用剪枝条件：若t′ × U_max < v′ + C_max 且 (t′, v′) 不在队列中，则忽略该点，以减少搜索空间。
• 使用直线U_max × t作为下界（lb_i(t)），并采用U_max × t + (C_max − C_U_max)作为改进的下界，以引导搜索并减少悲观程度。

实验结果

研究问题

• RQ1 在固定优先级调度下，非循环广义多帧任务模型中的最坏响应时间场景是什么？
• RQ2 能否为nc-gmf任务在FTP下构建一种既正确又计算可行的充分可调度性测试？
• RQ3 如何利用最大请求边界函数（mrbf）对nc-gmf任务的工作量进行边界约束，以涵盖任意配置序列？
• RQ4 FTP可调度性测试中悲观程度的来源是什么？能否对其进行量化或减少？
• RQ5 能否利用mrbf_i(t)的周期性结构来优化可调度性测试的时间复杂度？

主要发现

• 任何nc-gmf任务的最坏响应时间发生在所有高优先级任务同步释放且尽可能早释放的场景下。
• 最大请求边界函数mrbf_i(t)始终位于直线U_max × t之上，该直线可作为所有可能工作量场景的有效下界。
• 计算mrbf_i(t)的算法在时间和空间上均为伪多项式时间，其复杂度受Δ和n_i限制，通过工作量边界剪枝有效减少搜索空间。
• 若t′ × U_max < v′ + C_max 且 (t′, v′) 不在队列中，则可安全忽略点(t′, v′)，从而显著降低计算量。
• 工作量函数mrbf_i(t)最终呈现出大小为C_i^{U_max} × T_i^{U_max}的周期性模式，表明可通过模式检测实现潜在优化。
• 与动态优先级模型相比，该方法引入了悲观程度，但这种悲观程度可被量化，并可通过进一步优化加以控制。