计算机应用研究

作者：谢盈,吴尽昭,

单位：1.西南民族大学计算机科学与技术学院,成都610041；2.中国科学院成都计算机应用研究所,成都610041；3.中国科学院大学,北京100049；4.广西民族大学广西混杂计算与集成电路设计分析重点实验室,南宁530006；

关键词：交互式马尔可夫链(IMC),基于动作的时序逻辑(aCSL),多核系统,任务调度,调度模型,动态度量,

基金：西南民族大学中央高校基本科研业务费专项资金资助项目(2015NZYQN28)；国家自然科学基金资助项目(11371003,11461006)；广西自然科学基金资助项目(2012GXNSFGA060003)；广西教育厅科研资助项目(201012MS274)；；

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

来源：2019年第1期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2019年第1期