并发错误动态检测方法

摘要：

针对并发程序路径分支多、状态空间大导致并发错误检测时间长且效率低下的问题，在动态偏序化简算法的理论基础上，提出一种分布式的并发错误动态检测方法。该方法包括一个负载均衡节点和若干个计算节点，分别运行负载均衡算法和分布式动态偏序化简算法，依靠分布式系统强大的计算能力，提高并发错误检测的效率。实验结果表明，相对于动态偏序化简算法，该方法极大地缩短了并发错误的检测时间。

关键词：并发程序、分布式系统、动态偏序化简、负载均衡、回溯集

所属期刊栏目：37

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2016-04-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：670-674