计算机科学 ›› 2015, Vol. 42 ›› Issue (Z11): 454-459.
李晓飞,陈香兰,刘杰,李曦
LI Xiao-fei, CHEN Xiang-lan, LIU Jie and LI Xi
摘要： 目前学术界对时间可预测性尚无统一定义,而时间可预测系统研究也主要集中在体系结构层和编程语言层。根据目前认可度较高的时间可预测性定义,提出对时间可预测性系统进行粒度划分,并基于执行流服务体操作系统模型提出满足LET模型的服务粒度时间可预测操作系统T-Minicore。之后通过理论分析证明了改进的通信方式具有时间可预测性,最后通过实验证明运行在该操作系统上的应用具有时间可预测性特性。
| [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,Sjdin 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! |
|
||