优先级受限系统中可调度判定方法

摘要：

在通信、雷达、导航以及各种消费类电子产品等民用和军事领域,嵌入式实时调度已逐渐成为电子电气系统的控制核心.针对同优先级任务使用FIFO调度的静态优先级系统,使用反例指出给定同优先级任务初始执行顺序的前提下,Katcher可调度判定条件的必要性不成立,提出并解析证明了FP可调度的充要条件.随机实验表明,对于高利用率下任务间执行时间差异较大的情况,约有15%的可调度任务集会被Katcher条件错判为不可调度.进一步的仿真和实例分析表明,Liu、Lehoczky、Bini等提出的条件不能判定相同优先级的情况,Katcher条件的必要性不成立,论文提到的条件能够正确判定任务集的可调度性.提出方法为实时系统调度的顶层设计提供了快速离线工具.

关键词：实时系统、静态优先级、先入先出(FIFO)、优先级受限、可调度性分析、高利用率

所属期刊栏目：45

分类号：TP316(计算技术、计算机技术)

资助基金：新世纪优秀人才支持计划Supponed by Program for New Century Excellent Talents in University under Grant NCET-04-0995

在线出版日期：2009-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：32-35,52