(m,k)-firm 约束与 DBP 调度：初始 k-序列的影响与精确可调度性测试
操作系统
2008-09-08 v2
摘要
本文研究了使用基于距离的优先级调度器对 (m,k)-firm 同步周期性任务系统进行调度。我们首先展示了三个现象： 选择每个任务的初始 k-序列 并非最优； 我们甚至可以从一个（虚拟的）错误状态（相对于初始 k-序列）开始调度； 可行 DBP 调度的周期不一定是任务超周期。然后我们证明任何可行的 DBP 调度都是周期性的，并给出了该周期的长度上限。最后，基于我们的周期性结果，提供了一种精确的可调度性测试。
引用
@article{arxiv.0805.0200,
title = {(m,k)-firm constraints and DBP scheduling: impact of the initial k-sequence and exact schedulability test},
author = {Joël Goossens},
journal= {arXiv preprint arXiv:0805.0200},
year = {2008}
}