作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2013, Vol. 39 ›› Issue (1): 270-274. doi: 10.3969/j.issn.1000-3428.2013.01.059

• 工程应用技术与实现 • 上一篇    下一篇

复杂实时系统可调度性判定工具的研究与实现

张永悦 1,孙 瑜 1,李 允 3,徐建华 2   

  1. (1. 云南师范大学信息学院,昆明 650500;2. 西南交通大学信息科学与技术学院,成都 610031; 3. 电子科技大学计算机科学与工程学院,成都 610054)
  • 收稿日期:2012-02-28 修回日期:2012-05-13 出版日期:2013-01-15 发布日期:2013-01-13
  • 作者简介:张永悦(1984-),女,硕士研究生,主研方向:嵌入式系统;孙 瑜、李 允,教授;徐建华,硕士研究生
  • 基金资助:
    国家自然科学基金资助项目(60903131);教育部科学技术研究基金资助重点项目(210210);云南省应用基础研究计划基金资助面上项目(2009ZC0052M);云南省学术技术后备人才基金资助项目(2010CI042)

Research and Implementation of Schedulability Determination Tools in Complex Real-time System

ZHANG Yong-yue 1, SUN Yu 1, LI Yun 3, XU Jian-hua 2   

  1. (1. School of Information, Yunnan Normal University, Kunming 650500, China; 2. School of Information Science and Technology, Southwest Jiaotong University, Chengdu 610031, China; 3. School of Computer Science and Engineering, University of Electronic Science and Technology, Chengdu 610054, China)
  • Received:2012-02-28 Revised:2012-05-13 Online:2013-01-15 Published:2013-01-13

摘要: 针对包含多处理器、多分区结构的复杂实时系统存在的可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量模拟任务调度过程,依据纯周期任务集的特性确定仿真区间,调用优化的判定算法,判定任务集的可调度性。测试结果及实例分析表明,该工具能自动、准确、快速地判定任务集的可调度性,并以甘特图的方式绘制任务调度过程,较现有工具更为高效、直观。

关键词: 多处理器, 多分区, 实时系统, 可调度性判定, 仿真方法, 时钟变量

Abstract: Depending on schedulability problem of the complex real-time system including periodic tasks in multi-processor and multi-partition structure, this paper proposes a tool based on simulation method of schedulability in the task set. Through the setting of clock variables, the tool can simulate task scheduling process, determine the simulation interval according to the characteristics of periodic task set, and optimize the algorithm to determine the schedulability. Test results and analysis verify that this tool has automatic, accurate and fast advantages to describe task scheduling process by Gantt chart. Compared with the other existing tools, it is more accurate and efficient.

Key words: multi-processor, multi-partition, real-time system, schedulability determination, simulation method, clock variable

中图分类号: