期刊文献+

考虑中断和上下文切换开销的响应时间分析 被引量:6

Response Time Analysis of Embedded Systems by Taking Interrupt and Context Switch Overheads into Account
下载PDF
导出
摘要 实时嵌入式系统多采用中断和上下文切换实现多任务间调度,在对此类系统进行可调度性分析时,在任务的最差响应时间计算中必须包含中断和上下文切换开销.现有包含这些开销的方法是将中断作为高优先级任务,同时将上下文切换开销加入到任务最差执行时间中进行分析,然而这些方法过于粗略,缺乏对实际系统细节的考虑,计算得到的最差响应时间并不精确.首先,对中断和上下文切换的机制和时间流程进行详细的阐述,进而分析中断和上下文切换对任务关键性时刻的影响;接着,给出包含上述开销的更加精确的响应时间计算方法;最后进行仿真验证.扩展了包含系统调度开销的响应时间计算方法,可用于资源受限的硬实时系统中需要精确计算响应时间的场合. Interrupt and context switch are basic mechanisms for multi-task scheduling in real-time and embedded systems. During schedulability analysis, the overheads of the interrupt and context switch should be considered in the calculation of tasks' worst-case response time. The current calculation methods of response time add interrupt as task with high priority, and simply add the overheads of context switch in the meantime. However, these methods neglect the details of practical systems and roughly give an inaccurate worst-case response time. In this paper, the mechanisms and time flow of interrupt and context switch are thoroughly described. In addition, their influence on tasks' critical instant is discussed. More importantly, a much more accurate calculation method for response time is presented. At last, simulations is conducted to validate the improvement in accuracy of this new method. The response time analysis accounting for scheduling overheads is extended in this paper for the resource-constrained hard real-time systems which need to accurately calculate the response time.
作者 于广良 杨孟飞 YU Guang-Liang;YANG Meng-Fei(Beijing Institute of Control Engineering, Beijing 100190, China;China Academy of Space Technology, Beijing 100094, China)
出处 《软件学报》 EI CSCD 北大核心 2018年第6期1681-1698,共18页 Journal of Software
基金 国家自然科学基金(91118007 61502031 61632005)~~
关键词 实时系统 嵌入式系统 可调度性 最差响应时间 中断 上下文切换 real-time systems embedded systems sehedulability worst-ease response time interrupt context switch
  • 相关文献

参考文献3

二级参考文献25

  • 1Avizienis A, Laprie J C, Randell B, et al. Basic concepts and taxonomy of dependable and secure computing. IEEE T Depend Secure, 2004, 1:11-33.
  • 2Abrial J R. Formal methods in industry: Achievements, problems, future. ICSE, 2006, 5:761-768.
  • 3Henzinger T A, Sifakis J. The embedded systems design Challenge. Lect Notes Comput Sc, 2006, 4085:1-15.
  • 4Wilhelm R, Engblom J, Ermedahl A, et al. The worst-case execution-time problem-overview of methods and survey of tools [ J ]. ACM Transactions on Embedded Computing Systems, 2008, 7 (3) : 1-53.
  • 5Layland L J. Seheduling Algorithms for Multi- Progra- ming in a Hard Real-Time Environment [ J ]. Journal of ACM, 1973, 20(1) : 46-61.
  • 6Garrido J, Zamorano J, Juan A de la Puente. Static Analy- sis of WCET in a Satellite Software Subsystem [ C ]. The 13th International Workshop on Worst-Case Execution Time Analysis. Paris, France, OASICS, 2013: 87-96.
  • 7Bound-T time and stack analyzer reference manual Issue 6.4[Z]. Tidorum Ltd. , 2013.
  • 8The SPARC Architecture Manual Version 8 [ Z ]. SPARC International Inc. , 1992.
  • 9Engblom J, Ermedahl A, Sj0din M, Gustafsson J, Han- sson H. Worst-case execution-time analysis for embed- ded real-time systems [ J ]. Int J Softw Tools Teehnol Transfer. 2003, 4: 437-455.
  • 10Lee E A, Seshia S A . Introduction to Embedded Sys- tems-A Cyber-Physieal Systems Approach [ M ]. LeeS- eshia, org, 2011.

共引文献15

同被引文献61

引证文献6

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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