-
题名面向收敛的并发程序执行轨迹静态简化方法
被引量：1
- 1
-
-
作者
常曦
薛建新
张卓
毛晓光
-
机构
上海第二工业大学软件工程系
国防科学技术大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2017年第5期1107-1117,共11页
-
基金
国家自然科学基金(61502296
61379054
+1 种基金
61672529)
上海市自然科学基金(15ZR1417000)~~
-
文摘
轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此,提出了面向收敛的合并算法致力于这个问题.该算法的基本思想是:不断地随机选择一线程执行区间作为中心,在同一线程内,采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验结果表明,该方法可以高品质地减少执行轨迹中的线程切换数量,进而有助于程序员快速发现引发错误的线程交错.
-
关键词
并发程序
执行轨迹
轨迹等价
轨迹简化
调试
-
Keywords
concurrency program
execution trace
trace equivalence
trace simplification
debugging
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
