摘要
基于实时任务错误分析,提出一种具有纠错能力的最早截止期调度算法FR EDF,并给出该算法的充要条件,证明了已有相关结果是该充要条件的自然推论.所提出的算法适合处理周期性实时任务,又能兼顾处理非周期性实时任务,同时还可以纠正两个错误发生的时间间隔大于某一常数的单个错误.
Based on the fault analysis of real-time tasks, an improved version of EDF algorithm, named (FR-EDF), is proposed, the necessary and sufficient condition of which is given. It is thus proved that the current research result on fault tolerant EDF is a nature consequence of the necessary and sufficient condition. The proposed algorithm is targeted at periodic tasks primarily and applicable to aperiodic tasks at the same time. It can also rectify a single fault which occurs beyond a fixed interval.
出处
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
2005年第1期49-52,共4页
Journal of Jilin University:Science Edition
基金
国家自然科学基金(批准号:60373099).
关键词
最早截止期优先调度
实时系统
纠错
周期性任务
非周期性任务
硬实时
软实
时
earliest deadline first scheduling
real-time system
fault rectify
periodic tasks
aperiodic tasks
hard real-time
soft real-time