%0 Journal Article %T 单调速率及其扩展算法的可调度性判定 %A 王永吉? %A 陈秋萍? %J 软件学报 %P 799-814 %D 2004 %X 任务可调度性判定是实时系统调度理论研究的核心问题.单调速率(rm)算法是实时调度的重要算法,自其提出以来已被广泛研究.然而到目前为止,尚缺乏专题性的文章来系统而深入地探讨rm及其扩展算法的可调度性判定,以及各种现实条件和实现方式(包括任务调度的时间开销和任务同步问题等)对可调度性的影响.围绕rm算法下的可调度性判定问题,由浅入深,系统性地讨论各种不同假设和实现方式对可调度性的影响,具体为下述3大类问题:(1)理想的rm算法下的可调度性判定的cpu利用率最小上界最小及可调度的充分必要条件;(2)考虑调度时间开销情况下的可调度性判定条件;(3)优先级反转协议及其对可调度性的影响.给除了具体实例来叙述上述问题,并从算法复杂度和可检测率两方面比较各种算法的优劣。 %K 实时系统 %K 实时操作系统 %K 实时调度 %K rm算法 %K 可调度性判定 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20040602&flag=1