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

来源：软件学报杂志2017年第5期北京时间：

作者：常曦,薛建新,张卓,毛晓光

单位：常曦，上海第二工业大学 软件工程系, 上海 20120911,薛建新，上海第二工业大学 软件工程系, 上海 201209;国防科学技术大学 计算机学院, 湖南 长沙 41007302,张卓，国防科学技术大学 计算机学院, 湖南 长沙 41007303,毛晓光，国防科学技术大学 计算机学院, 湖南 长沙 41007304

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

关键词：并发程序;执行轨迹;轨迹等价;轨迹简化;调试

基金资助：国家自然科学基金（61502296，61379054，61672529）；上海市自然科学基金（15ZR1417000）