计算机科学 ›› 2015, Vol. 42 ›› Issue (Z11): 454-459.

• 软件工程与数据库技术 • 上一篇    下一篇

T-Minicore嵌入式时间可预测操作系统的设计与实现

李晓飞,陈香兰,刘杰,李曦   

  1. 中国科学技术大学计算机科学与技术学院 合肥230000,中国科学技术大学计算机科学与技术学院 合肥230000,中国科学技术大学计算机科学与技术学院 合肥230000,中国科学技术大学计算机科学与技术学院 合肥230000
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(61379040,1),江苏省自然科学基金(SBK2012194)资助

T-Minicore:A Time Predictable Embedded Operating System

LI Xiao-fei, CHEN Xiang-lan, LIU Jie and LI Xi   

  • Online:2018-11-14 Published:2018-11-14

摘要: 目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务粒度时间可预测操作系统T-Minicore。之后通过理论分析证明了改进的通信方式具有时间可预测性,最后通过实验证明运行在该操作系统上的应用具有时间可预测性特性。

关键词: 嵌入式操作系统,时间可预测性,逻辑执行时间,服务体执行流

Abstract: Evidence to date indicates that there is no set definition of time predictability in academia.Most researches on time predictability focus on architecture and programming language.In this paper,referring to the more recognized definition of time predictability,granularity division was applied to time predictable systems.And T-Minicore,a service-grained operation system based on servant/exe-flow model,was proposed.T-Minicore meets the demand for time predictability in LET (Logical Execution Time) Model.Its time predictability in the communication module was justified by theory and experiments illustrate that applications running on T-Minicore operating system are time predictable.

Key words: Embedded OS,Timing predictability,Logical execution time,Servant/exe-flow model

[1] Grund,Daniel,Reineke J,et al.A Template for Predictability Definitions with Supporting Evidence[C]∥PPES.2011
[2] Edwards,Stephen A,Lee E A.The case for the precision timed (PRET) machine[C]∥Proceedings of the 44th annual Design Automation Conference.ACM,2007
[3] Hao N J,Edwards S A.A processor extension for cycle-accurate real-time software[C]∥Embedded and Ubiquitous Computing.2006:449-458
[4] Lickly B,et al.Predictable programming on a precision timed architecture[C]∥Proceedings of the 2008 International Conference on Compilers,Architectures and Synthesis for Embedded Systems.ACM,2008
[5] Liu,Isaac,et al.A PRET microarchitecture implementation with repeatable timing and competitive performance[C]∥2012 IEEE 30th International Conference on Computer Design (ICCD).IEEE,2012
[6] Zimmer M,et al.FlexPRET:A processor platform for mixed-criticality systems:UCB/EECS-2013-172[R].California Univ Berkeley Dept of Electrical Engineering and Computer Sciences,2013
[7] Benveniste,Albert,Berry G.The synchronous approach to reactive and real-time systems[J].Proceedings of the IEEE,1991,79(9):1270-1282
[8] Kirsch,Christoph M,Sokolova A.The Logical Execution Time Paradigm[C]∥Advances in Real-Time Systems.Springer Berlin Heidelberg,2012:103-120
[9] Henzinger,Thomas A,Horowitz B,et al.Giotto:A time-trig-gered language for embedded programming[M]∥Embedded Software.Springer Berlin Heidelberg,2001
[10] Lee E A.The problem with threads [J].Computer,2006,39(5):33-42
[11] https://webhome.csc.uvic.ca/~mcheng/research/predictable.html
[12] Wilhelm,Reinhard,Grund D.Computation takes time,but how much?[J].Communications of the ACM,2014,57(2):94-103
[13] Lv M,Guan N,Zhang Y,et al.A survey of WCET analysis of real-time operating systems[C]∥International Conference on Embedded Software and Systems,2009(ICESS’09).IEEE,2009:65-72
[14] Gustafsson J,Ermedahl A,Sandberg C,et al.Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution[C]∥Proceedings of the 27th IEEE International Real-Time Systems Symposium ( IEEECS).Washington,DC,2006:57-66
[15] Healy C,Sjdin M,Rustagi V,et al.Supporting timing analysis by automatic bounding of loop iterations[J].Real-Time Systems,2000(18):129-156
[16] Lee E A.Computing needs time[J].Communication of the ACM,2009,52(5):70-79
[17] Rashid,Richard F,Tokuda H.Mach:a system software kernel[J].Computing Systems in Engineering,1990,1(2):163-169
[18] http://ptolemy.eecs.berkeley.edu/
[19] 龚育昌,张晔,李曦,等.一种新型的构件化操作系统的内核设计[J].小型微型计算机系统,2009,0(1)
[20] 吴明桥,陈香兰,张晔,等.一种基于服务体/执行流的新型操作系统构造模型[J].中国科学技术大学学报,2006,36(2):230-236
[21] 陈香兰,龚育昌,张晔,等.基于服务体/执行流模型的操作系统[J].计算机工程,2008,34(11):1-3

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!