期刊文献+

支持多核处理器的星载分区操作系统设计 被引量:7

Design of Onboard Partition Operating System Supporting Multi-core Processor
在线阅读 下载PDF
导出
摘要 针对星载处理器由单核向多核发展的趋势和当前没有针对航天应用的星载多核操作系统、卫星无法发挥多核处理器性能优势的问题,文章研究了适用于航天任务的星载多核分区操作系统。设计了一种支持多核处理器的星载操作系统结构,采用多核处理器动态调度和静态调度相结合的方法,实现了星载多核处理器高效实时调度与确定性调度。通过分区管理设计,实现分区间隔离与保护,避免软件问题扩散影响其他功能。该系统还具有支持星载应用(APP)动态加载、通过软件构件技术实现星载应用快速组装与集成的特点,可为航天任务应用多核处理器提供安全可靠的软件运行平台,满足未来航天新型任务和多核处理器的需求。 Aiming at the development trend of onboard processor from single-core to mutil-core and the problem that threre is no multi-core operating system for space applications and that satellites can not give full play to the performance advantages of multi-core processors, the onboard multi-core partition operating system suitable for space missions is studied. A structure design of onboard operating system supporting multi-core processors is proposed. By combining dynamic scheduling with static scheduling of multi-core processors, efficient real-time scheduling and deterministic scheduling of onboard multi-core processors are realized. Through the design of partition management, partition spearation and protection can be realized to avoid the spread of software problems affecting other functions. It also supports dynamic loading of onboard APP(Application)and realizes rapid assembly and integration of onboard applications through software component technology. Onboard multi-core partition operating system provides a safe and reliable software platform for the application of multi-core processors in space missions, and meets the needs of new space missions and multi-core processors in the future.
作者 詹盼盼 齐征 张翠涛 何熊文 郭坚 ZHAN Panpan;QI Zheng;ZHANG Cuitao;HE Xiongwen;GUO Jian(Beijing Institute of Spacecraft System Engineering,Beijing 100094,China)
出处 《航天器工程》 CSCD 北大核心 2020年第1期47-53,共7页 Spacecraft Engineering
关键词 星载操作系统 多核处理器 分区管理 应用动态加载 软件构件 onboard operating system multi-core processor partition management APP dynamic loading software component
  • 相关文献

参考文献6

二级参考文献29

  • 1赵俊艺,何兵哲.基于SpaceWire总线的星载数据系统[J].飞行器测控学报,2009,28(2):13-17. 被引量:13
  • 2陈斐.L4微内核技术浅析[C].第二届江苏计算机大会,南京,2006年11月.
  • 3Liedtke J. On ix-Kernel construction [ C ]. The 15th ACM Symposium on Operating Systems, Coper Mountain, Colorado, Dec 1995.
  • 4Liedtke J. Toward real microkernels [ J]. Communications of the ACM, 1996, 39(9) :70-77.
  • 5Klein G, Elphinstone K, Heiser G,et al. SeL4 : formal verification of an OS kernel[ C]. The 22nd ACM Symposium on Operating Systems Principles, MT, USA, Oct 2009.
  • 6Klein G, Derrin P, Elphinstone K. Experience report seL4 -- formally verifying a nel[C]. The 14th ICFP, 2009 high-performance microker- Edinburgh, Scotland, Aug.
  • 7Swift M, Annamalai M, Bershad B, et al. Recovering device drivers [ C]. The Sixth Syrup. on Oper. Syst. Design and Impl. , San Francisca, USA, 2004.
  • 8Dang Pham K, Jain AK, Cui J. Microkemel Hypervisor for a Hybrid ARM-FPGA Platform [ C ]//Washington: The George Washington University,2013.
  • 9Nalini Vasudevan, Stephen A Edwards. D2C : Deterministic, Deadlock- free Concurrency [ R ]. New York : Columbia Uni- versity,2010.
  • 10李运喜,梁小虎,叶宏,王蜜蜂.时间分区的设计与实现[J].航空计算技术,2010,40(4):76-79. 被引量:14

共引文献38

同被引文献65

引证文献7

二级引证文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部