面向收敛的并发程序执行轨迹静态简化方法

轨迹静态简化技术是在确保与原轨迹等价的前提下，通过随机减少程序执行时线程切换的数量，达到提高程序员调试并发程序效率的目的.然而，轨迹中可减少的线程切换分布往往是不均匀的，因此，随机简化策略难以有效地发现可简化的线程切换.为此，本文提出面向收敛的合并算法致力于这个问题.该算法基本思想是不断地随机选择一线程执行区间作为中心，在同一线程内，采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验证明，本文提出的方法可以高品质地减少执行轨迹中的线程切换数量，进而有助于程序员快速发现引发错误的线程交错。

Convergence-Oriented Static Approach for Simplifying Execution Traces of Concurrent Programs

Static trace simplification technique is a technique which is to improve the efficiency of debugging through reducing the number of thread contexts in a buggy trace without changing the dependency information.However, the application of static trace simplification technique to simply a buggy trace still faces a strong challenge in that the distribution of reduced thread contexts are usually nonuniform, and therefore a random trace simplification technique is difficult to achieve.In this paper, we propose a convergence-oriended static trace simplification approach to address this challenge.The essntical idea of this approach is to build a static trace simplification model, and then repeatly adopt a convergence-oriended mergence algorithm to search the mergable previous interval and the merable succeeding intervals in the same thread.The experiment shows that the approach can simply the traces with high quality.It can help programers find the thread interleaves that cause the faults.