论文研究一种多核系统任务调度算法动态度量方法.pdf

任务调度算法的优劣直接影响系统的功能和性能，对其进行功能验证和性能评价具有很强的现实意义。改进了IMC构建多核系统任务调度算法的功能模型，扩展aCSL从逻辑层次上刻画任务调度算法的性能指标，并基于改进的IMC和扩展的aCSL提出了一种多核系统任务调度算法动态度量方法实现对任务调度算法的功能验证和性能评价。用例分析表明提出的动态度量方法能有效地对任务调度算法进行功能和性能的描述及度量，为多核系统任务调度算法的正确执行提供了有力支撑。