东北大学学报:自然科学版 ›› 2017, Vol. 38 ›› Issue (2): 190-194.DOI: 10.12068/j.issn.1005-3026.2017.02.008

• 信息与控制 • 上一篇    下一篇

实时系统可变工作量建模及计算方法

黄迎春, 邓庆绪   

  1. (东北大学 信息科学与工程学院, 辽宁 沈阳110819)
  • 收稿日期:2015-07-28 修回日期:2015-07-28 出版日期:2017-02-15 发布日期:2017-03-03
  • 通讯作者: 黄迎春
  • 作者简介:黄迎春(1976-),男,辽宁瓦房店人,东北大学博士研究生; 邓庆绪(1970-),男,河南南阳人,东北大学教授,博士生导师.
  • 基金资助:
    国家自然科学基金资助项目(61472072); 国家重点基础研究发展计划项目(2014CB360509).

A Variable Workload Model and Algorithm for Real-Time Systems

HUANG Ying-chun, DENG Qing-xu   

  1. School of Information Science & Engineering, Northeastern University, Shenyang 110819, China.
  • Received:2015-07-28 Revised:2015-07-28 Online:2017-02-15 Published:2017-03-03
  • Contact: HUANG Ying-chun
  • About author:-
  • Supported by:
    -

摘要: 传统实时系统性能分析以最差情况下执行时间(worst-case execution time, WCET)作为主要输入,导致分析过于保守.针对实时系统设计时预留冗余过大的问题,建立了以到达事件类型、数量和分布为决策变量,包括工作量曲线(workload curves)、逆工作量曲线(inverse workload curves)、工作量比率曲线(workload ratio curves)在内的实时系统可变工作量模型,给出了相关计算方法.基于可变工作量模型分析了其在混合调度中的应用,结果表明:采用可变工作量模型和算法可显著减少任务所需的执行工作量,降低了实时系统的资源需求.

关键词: 可变工作量模型, 实时系统, 形式化方法, 工作量曲线, 最差情况下执行时间

Abstract: The traditional performance analysis of real-time systems relied on the input variable of worst-case execution time, which turned to be too pessimistic.Aiming at the problem of remarkably redundant design in real-time, a new model to characterize variable workload was created including workload curves, inverse workload curves and workload ratio curves. In the proposed model, event type, number and distribution were used as decision-variable, and relevant algorithm was proposed to solve the above model. In addition, the realistic applications were analyzed in mix scheduling based on VWM (variable workload model). The result indicates that the VWM can remarkably reduce execution workload of tasks, thus reducing the resource requirement of real-time systems.

Key words: variable workload model, real-time system, formal method, workload curve, worst-case execution time

中图分类号: