| 并行程序验证的调度策略 |
| |
| 引用本文： | 肖增良,何锫,康立山.并行程序验证的调度策略[J].计算机工程与应用,2009,45(11):39-41. |
| |
| 作者姓名： | 肖增良 何锫 康立山 |
| |
| 作者单位： | 1. 长沙理工大学,计算机与通信工程学院,长沙,410076
2. 武汉大学,软件工程国家重点实验室,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金，武汉大学软件工程国家重点实验室资助项目 |
| |
| 摘 要： | 针对形式化程序验证中的并行调度问题,提出了基于依赖集的算法。通过引入依赖图和依赖集概念,以形式化方式描述程序语句间的依赖关系,然后给出了从语法分析树构造依赖图和依赖集的算法;最后在此基础上设计了并行调度算法并应用于计算机辅助程序验证系统。实验结果表明,该方法具有较高的并行效率。
|
| 关 键 词： | 程序验证 并行调度 语法分析树 依赖图 依赖集 |
| 收稿时间： | 2008-11-28 |
| 修稿时间： | 2009-2-4
|
Parallel scheduling strategy for program verification |
| |
| XIAO Zeng-liang,HE Pei,KANG Li-shan.Parallel scheduling strategy for program verification[J].Computer Engineering and Applications,2009,45(11):39-41. |
| |
| Authors: | XIAO Zeng-liang HE Pei KANG Li-shan |
| |
| Affiliation: | XIAO Zeng-liang1,HE Pei1,KANG Li-shan21.Institute of Computer , Communication Engineering,Changsha University of Science , Technology,Changsha 410076,China 2.State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072,China |
| |
| Abstract: | A algorithm based on the dependency set is proposed for parallel scheduling problem in the formal program verification.In order to formalize the dependence relations of statements,dependency graph and dependency set is introduced,then construction algorithm of dependency graph and dependency set by parser tree is put forward.Finally,a parallel scheduling algorithm is de-signed,and applies it to program verification system.The result shows that this method has more parallel efficiency. |
| |
| Keywords: | program verification parallel scheduling parser tree dependency graph dependency set |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
