摘要
针对包含多处理器、多分区结构的复杂实时系统存在的可调度性判定问题,提出一种基于仿真方法的任务集可调度性判定工具。通过设定时钟变量模拟任务调度过程,依据纯周期任务集的特性确定仿真区间,调用优化的判定算法,判定任务集的可调度性。测试结果及实例分析表明,该工具能自动、准确、快速地判定任务集的可调度性,并以甘特图的方式绘制任务调度过程,较现有工具更为高效、直观。
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.
出处
《计算机工程》
CAS
CSCD
2013年第1期270-274,共5页
Computer Engineering
基金
国家自然科学基金资助项目(60903131)
教育部科学技术研究基金资助重点项目(210210)
云南省应用基础研究计划基金资助面上项目(2009ZC0052M)
云南省学术技术后备人才基金资助项目(2010CI042)
关键词
多处理器
多分区
实时系统
可调度性判定
仿真方法
时钟变量
multi-processor
multi-partition
real-time system
schedulability determination
simulation method
clock variable
