偏序的周期任务间可调度性判定算法.docVIP

偏序的周期任务间可调度性判定算法* 于 晓1,2 王家礼1 (1. 西安电子科技大学机电工程学院, 西安710071; 2. 西安石油大学计算机学院, 西安710065) 摘 要: 在测试领域, 偏序的严周期任务和非周期任务很常见, 但迄今为止, 很少看到对这类系统的可调度性分析。使用有向循环图来描述任务间的偏序关系, 在以任务属性为参数的实时系统模型基础上, 通过理论分析了在非抢占的条件下, 这类系统中非周期任务和与之成偏序关系的严周期任务间的可调度性判定方法。结果表明: 在这类系统中, 非周期任务往往会继承与其成偏序关系的前趋或后继任务的周期。 关键词: 实时调度; 偏序; 可调度性判定; RM算法 中图分类号: TP316.2　　　文献标识码: A　　　国家标准学科分类代码: 460.40 Schedulability test algorithm for periodic tasks with partial order constraint Yu Xiao1,2 Wang Jiali1 (1. College of Mechanism and Electronics, Xi’dian University, Xi’an 710071, China; 2. College of Computer, Xi’an Shiyou University, Xi’an 710065, China) Abstract: There are many non-periodic tasks and hyper-period tasks with partial order constraints in measurements. It is known that there are few schedulability tests about this system. In this paper, using directed acyclic graph to represent the partial order constraints between these tasks in the system, a model of real time system is established with task attributes. A schedulability test algorithm for these tasks in the system is presented based on a series of theoretical analyses without preemption. The research shows that a non-periodic task in the system may inherit the period of its successors or predecessors. Keywords: real-time scheduling; partial order; schedulability test; RM algorithm 1 引 言 实时系统中, 计算的正确性不仅取决于计算的逻辑结果, 还取决于结果产生的时间。实时调度是实时系统中的核心部分。1973年, Liu和Layland在ACM上发表论文[1], 提出了一种静态固定优先级调度算 法—比例单调调度算法RMS, 并对其可调度性判定问题进行了研究。该论文奠定了实时系统所有现代调度理论的基础。该算法基于如下假设进行分析的: 1) 所有任务都是周期任务; 2) 任务的相对截止时间等于任务的周期; 3) 任务在每个周期的计算时间都相等, 并保持一个常量; 4) 任务之间相互独立, 不进行通信, 也不需要同步; 5) 任务可以在计算的任何位置被抢占, 不存在临界区。 在RM算法中, 任务优先级的设置与任务的周期表现为单调函数关系: 任务的周期越短, 任务的优先级越高, 反之, 则越低。RM是静态调度算法中的最优调度算法, 即如果一组任务能够被任何静态调度算法调度, 则这些任务在RM下也是可调度的。 在实际的测试领域内, 能满足RM算法的全部前提条件的任务系统并不多见。首先不是所有的任务都是周期任务; 其次测试领域内完全可抢占的操作系统也并不多, 而且一些任务(生产者)会产生数据, 而另一些任务(消费者)会处理该数据, 生产者必须在消费者之前被调度, 这些任务之间就形成了偏序关系, RM算法并没有考虑这些因素。 对于偏序的任务调度问题, 文献[2]提出了“first- to-last-rule”方案, 并证明是最优的; 如果任务的到达时刻不同, 文献[3]证明该问题成为NP-hard问题; 如果任务