期刊文献+

嵌入式多核操作系统确定性研究 被引量:8

Research on Deterministic Processing of Embedded Multi-core Operating System
下载PDF
导出
摘要 为解决嵌入式多核操作系统确定性问题,详细阐述了计算确定性,重点分析了多核结构引入的不确定性问题。通过研究嵌入式多核操作系统的结构,从共享存储的确定性访问、确定性任务调度、确定性通信等方面提出了解决多核结构带来的不确定性问题的方法。 This paper elaborates on the deterministic processing ,with the focus on analysis of non-determinism related with multi-core processors .By analyzing the architecture of multi-core embedded operating system , this paper presents a solution for determinacy of multi-core architecture in deterministic shared-memory access,deterministic scheduling and deterministic communication .
出处 《航空计算技术》 2014年第3期96-100,共5页 Aeronautical Computing Technique
基金 民用飞机专项科研技术研究项目资助(MJ-S-2012-05)
关键词 多核 嵌入式操作系统 确定性 内存访问 任务调度 multi-core embedded operating system determinism memory access task scheduling
  • 相关文献

参考文献4

  • 1Thomas A. Henzinger. Two Challenges in Embedded Systems Design: Predictability and Robustness [ R ]. Berkeley, USA, CA 94720 - 1770,2008.
  • 2Robert L. Bocchino Jr, Vikram S, Adve Danny Dig et al . A Type and Effect System for Deterministic Parallel Java[ R]. University of Illinois at Urbana-Champaign,2011.
  • 3何翔,任晓瑞.支持多核的嵌入式操作系统关键技术研究[J].航空计算技术,2013,43(4):86-90. 被引量:9
  • 4Nalini Vasudevan,Stephen A. Edwards. D2C: Deterministic, Deadlock-free Concurrency [ R ]. New York:Columbia Uni- versity,2010.

二级参考文献5

  • 1Kunle Olukotun, Basem A Nayfeh, Lance Hammond, et al. The Case for a Single Chip Multiprocessor[ C]. Proc 7th Int' l Conf Architectural Support for Programming Languages and Operating systems. New York : ACM Press,2011.
  • 2Krishna K Rangan, Wei Gu- Yeon. Thread Motion:Fine- grained Power Management for Multi - core Systems [ J ]. ACM SIGARCH Computer Architecture News, 2009, 37 (3) :302 -313.
  • 3Schneider S. Multiprocessor Support for the Fiasco Micro- kernel [ D ]. Chemnitz, Germany: Technical University of Chemnitz,2010.
  • 4David Wentzlaff, Anant Agarwal. Factored Operating Systems (Fos) :the Case for a Scalable Operating System for Mul- ticores [ J ]. ACM SIGOPS Operating Systems Review, 2009, 32(2) :76 -85.
  • 5任晓瑞,时磊.支持对称多处理器结构的操作系统设计[J].航空计算技术,2008,38(2):53-57. 被引量:1

共引文献8

同被引文献34

引证文献8

二级引证文献37

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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