北京航空航天大学学报 ›› 2011, Vol. 37 ›› Issue (10): 1282-1287.doi: CNKI:11-2625/V.20111020.1127.011

• 论文 • 上一篇    下一篇

基于动态优先级的核心处理安全分区优化设计

何锋, 顾健, 熊华钢   

  1. 北京航空航天大学 电子信息工程学院, 北京 100191
  • 收稿日期:2010-05-25 出版日期:2011-10-30 发布日期:2011-11-03
  • 作者简介:何 锋(1980-),男,湖北利川人,博士后,robinleo@buaa.edu.cn.
  • 基金资助:

    国家自然科学基金资助项目(60879024)

Optimal safety partition design for integrated core processor under dynamical priority

He Feng, Gu Jian, Xiong Huagang   

  1. School of Electronics and Information Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
  • Received:2010-05-25 Online:2011-10-30 Published:2011-11-03

摘要: 在分区管理模型应用于航空电子核心处理系统的研究中,合理的分区参数设计是保障航空电子系统任务关键和安全关键的一个重要因素.在标准模型的基础上,建立了上层调度器采用动态优先级调度策略的分区管理模型;通过对处理器忙周期进行考察,提出了给定请求时间长度下分区最大抢占影响的计算算法,能从微观的角度解释动态优先级下原子时间抢占行为的影响;通过对分区内任务集的计算负载进行计算,并考虑到计算负载在分区最后一次执行时间内的请求执行时间长度带来的抢占影响,得到了下层调度器采用固定优先级和动态优先级策略下的分区安全设计方法;通过计算仿真评估,结果表明提出的安全分区设计方法比基于虚拟处理资源方法具有更优的设计结果.

Abstract: During the research on the application of partition management model into avionic integrated core processor (ICP), the reasonable partition parameters design is an important factor to ensure the mission-critical and safety-critical guarantee for the whole system. Based on the standard model, the extended model that the upper scheduler adopts the dynamical priority scheduling strategy was proposed. Through observing partition behavior during the processing busy period, the worst-case preemptive effect calculating algorithm for any given requested time length was obtained, which explains the atomic preemption behavior under the dynamical priority in detail from a more microscopic aspect. By calculating the task load for task set and considering the preemptive influence caused by the requested time length which extends to the last partition execution window for the task load, the safe partition parameters design solutions were also established for the priority based scheduling strategy in the lower scheduler. The simulation experiment shows that the safe partition parameters design algorithms have a higher efficiency than the virtual processing resource method.

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发