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

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

作　　者：张永悦[1] 孙瑜[1] 李允[2] 徐建华[3] 

机构地区：[1]云南师范大学信息学院,昆明650500 [2]电子科技大学计算机科学与工程学院,成都610054 [3]西南交通大学信息科学与技术学院,成都610031

出　　处：《计算机工程》2013年第1期270-274,共5页Computer Engineering

基　　金：国家自然科学基金资助项目(60903131);教育部科学技术研究基金资助重点项目(210210);云南省应用基础研究计划基金资助面上项目(2009ZC0052M);云南省学术技术后备人才基金资助项目(2010CI042)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]