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

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