事件触发关键级提升的实时任务可调度性分析
本文选题:关键级 + 事件触发 ; 参考:《计算机研究与发展》2017年01期
【摘要】:混合关键级(mixed criticality,MC)系统能够同时保证高效地资源利用与高关键任务的正确执行.当前,对混合关键级系统的研究多认为,从低关键级提升到高关键级的时机是高关键级任务执行超过其低关键级模式下时间预算的时刻.但在实际应用的嵌入式系统中,关键级模式的提升是由诸如所处环境变化、控制切换等系统外部事件触发的,即关键级的提升可能发生在任务执行过程中的任何时刻.在单处理器平台上,针对使用固定优先级调度策略的周期任务集,当外部事件触发关键级提升后,基于响应时间分析得出了可调度高关键级任务的必要条件;并对关键级提升后,高关键级任务可能通过优先级交换满足截止时限的条件进行了分析,得出了相应的优先级交换算法.仿真实验验证了事件触发关键级提升时高关键级任务的可调度性及优先级交换算法的有效性.
[Abstract]:The mixed criticality MC system can ensure the efficient resource utilization and the correct execution of high critical tasks at the same time. At present, most researches on hybrid critical level systems think that the time from low critical level to high critical level is the time when the task execution of high critical level exceeds the time budget under its low critical level mode. But in the practical embedded system, the promotion of the critical level mode is triggered by the external events such as the change of the environment in which the system is located and the control switch. That is to say, the promotion of the critical level may occur at any time during the task execution. On the single processor platform, for the periodic task set with fixed priority scheduling strategy, when external events trigger the critical level upgrade, the necessary conditions for scheduling high critical level tasks are obtained based on response time analysis. After the key level is promoted, the high critical level task may meet the deadline by priority exchange, and the corresponding priority exchange algorithm is obtained. Simulation results demonstrate the schedulability of high critical level tasks and the effectiveness of the priority exchange algorithm.
【作者单位】: 湖南大学信息科学与工程学院;
【基金】:国家自然科学基金项目(61173036)~~
【分类号】:TP301.6
【相似文献】
相关期刊论文 前10条
1 徐建华;李允;;基于单调速率的可调度性判定改进算法[J];计算机工程;2011年22期
2 牛云;戴冠中;梁亚琳;;基于时间需求迭代和排队模型的开放式实时系统可调度性分析算法研究[J];计算机科学;2009年01期
3 于晓;王家礼;;偏序的周期任务间可调度性判定算法[J];电子测量与仪器学报;2009年04期
4 张永悦;孙瑜;李允;徐建华;;复杂实时系统可调度性判定工具的研究与实现[J];计算机工程;2013年01期
5 郭锐锋;刘娴;丁万夫;李杰;王鸿亮;;回卷恢复模型下容错实时系统的可调度性分析[J];小型微型计算机系统;2013年06期
6 毛羽刚,张拥军,金士尧,胡华平;一种改进的分布强实时系统可调度性分析算法[J];软件学报;2001年02期
7 王高才;李伟;;基于随机模型的软实实时时系统的任务期望可调调度度性[J];控制理论与应用;2012年01期
8 谢拴勤;潘姿君;;实时多任务系统可调度性工程评估方法研究[J];计算机测量与控制;2007年12期
9 李俊,阳富民,卢炎生;一种可行的容错实时系统可调度性分析[J];软件学报;2005年08期
10 陈劲林,杨士元,胡东成;基于确定周期性任务的进程管理及可调度性分析[J];计算机研究与发展;2000年03期
相关会议论文 前3条
1 周美娇;应启戛;张凤登;萧伟;冯治宝;;带有空闲帧的FIP总线可调度性分析[A];第六届全国信息获取与处理学术会议论文集(3)[C];2008年
2 王宇;侯朝桢;;数字化操控系统中CAN总线的信息可调度性分析[A];《制造业自动化与网络化制造》学术交流会论文集[C];2004年
3 王宇;侯朝桢;;数字化操控系统中CAN总线的信息可调度性分析[A];先进制造技术论坛暨第三届制造业自动化与信息化技术交流会论文集[C];2004年
相关博士学位论文 前6条
1 王磊;容错实时系统可调度性分析研究[D];浙江大学;2005年
2 李俊;容错硬实时系统的可调度性分析[D];华中科技大学;2007年
3 窦强;分布式强实时系统中可调度性分析算法的研究[D];国防科学技术大学;2001年
4 姚兴华;资源供需进程演算的证明系统研究[D];华东师范大学;2014年
5 于晓;基于嵌入式Linux的仪器操作系统的研究[D];西安电子科技大学;2009年
6 钱之琳;基于服务的信息物理融合系统可信建模与分析[D];华东理工大学;2014年
相关硕士学位论文 前3条
1 王好;基于eM-Plant原油处理过程的可调度性分析[D];广东工业大学;2013年
2 余飞;基于Uppaal的多处理器实时系统的可调度性分析[D];上海交通大学;2011年
3 张永悦;基于仿真的实时系统可调度性分析工具的研究与实现[D];云南师范大学;2014年
,本文编号:2073714
本文链接:https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2073714.html