多处理器任务调度算法TDS的建模与验证

• 作者: 李召妮 李永明 雷丽晖
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 多处理器调度算法 线性时序逻辑 模型检测 扩展Büchi自动机
• 年，卷（期）: 2012,（11）
• 所属期刊栏目: 体系结构
• 页码范围: 301-304,封3
• 分类号: TP301.1
• 字数: 5305字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.11.073

摘要

在多处理器系统中,一个应用所要完成的任务可以分配给同一个处理器处理,也可以分配给多个处理器处理,所以传统的测试方法难以满足多处理器任务调度算法的验证.在此,提出一个基于扩展Büchi自动机的形式化模型,并用该模型来描述多处理器任务调度算法TDS(Task Duplication based Scheduling)；用线性时序逻辑描述出算法TDS期望的一些性质；最后在该模型上验证了这些性质.该方法有效地克服了传统测试的局限性,保证了多处理器任务调度的可靠性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李永明	陕西师范大学计算机科学学院	165	505	12.0	16.0
2	雷丽晖	陕西师范大学计算机科学学院	9	25	4.0	4.0
3	李召妮	陕西师范大学计算机科学学院	2	8	1.0	2.0