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

发布时间：2019-06-25 18:44

【摘要】：轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难以有效地发现可简化的线程切换.为此,提出了面向收敛的合并算法致力于这个问题.该算法的基本思想是:不断地随机选择一线程执行区间作为中心,在同一线程内,采用面向收敛的合并算法迭代地寻找可与其合并的前置执行区间和后置执行区间.实验结果表明,该方法可以高品质地减少执行轨迹中的线程切换数量,进而有助于程序员快速发现引发错误的线程交错.
[Abstract]:The static simplification technology of trajectory is to improve the efficiency of programmer debugging concurrent program by randomly reducing the number of thread switching in program execution on the premise of ensuring the equivalence with the original trajectory. However, the distribution of thread switching that can be reduced in the trajectory is often uneven, so it is difficult to find the simplified thread switching effectively by random simplification strategy. Therefore, a convergence oriented merging algorithm is proposed to solve this problem. The basic idea of the algorithm is that a thread execution interval is randomly selected as the center, and a convergence-oriented merging algorithm is used to iteratively find the pre-execution interval and the post-execution interval that can be merged with it. The experimental results show that this method can reduce the number of thread switching in the execution trajectory with high quality, which is helpful for programmers to quickly find the thread interlacing that caused the error.
【作者单位】： 上海第二工业大学软件工程系;国防科学技术大学计算机学院;
【基金】：国家自然科学基金(61502296,61379054,61672529) 上海市自然科学基金(15ZR1417000)~~
【分类号】：TP311

【共引文献】

相关期刊论文 前6条

1 郭德贵;王冠成;吕帅;刘磊;;peC语言的部分求值器及在编译器测试中的应用[J];软件学报;2017年05期

2 赫枫龄,刘磊,张孝志;用有向图法解决公式循环依赖问题[J];计算机工程与设计;2004年02期

3 赫枫龄,刘磊,张孝志;报表系统中的公式循环依赖问题[J];计算机工程;2004年03期

4 赫枫龄,刘磊,张孝志;用有向图法确定报表系统中的公式计算顺序[J];计算机工程与应用;2003年36期

5 袁琦,张长海,刘磊,张宗来;动静态结合的部分求值技术[J];吉林大学自然科学学报;1999年04期

6 张长海,袁琦,刘磊;最优合并算法及证明[J];吉林大学自然科学学报;1997年04期

【相似文献】

相关期刊论文 前10条

1 张泉,陈涵生;并发程序的调试问题[J];计算机工程;1998年10期

2 张广泉;并发程序执行的一种粒度分析方法[J];计算机工程与应用;2000年05期

3 肖健宇;张德运;郑卫斌;;并发程序内部表示及静态切片算法的改进[J];西安交通大学学报;2005年12期

4 曾奕;;基于确定性重演的并发程序调试[J];计算机与数字工程;2005年12期

5 肖健宇;张德运;陈海诠;董皓;;一种改进的并发程序静态切片算法[J];计算机工程;2006年14期

6 戚晓芳;徐宝文;周晓宇;;一种基于程序可达图的并发程序依赖性分析方法[J];电子学报;2007年02期

7 刘震;缪力;;互斥并发程序的程序切片算法研究[J];计算机工程与科学;2007年01期

8 缪力;张大方;;过程间并发程序分析不可判定的一个新证明方法[J];计算技术与自动化;2007年02期

9 李小国;张迎周;张卫丰;周国强;;并发程序切片方法综述[J];南京邮电大学学报(自然科学版);2008年06期

10 罗清宙;;基于回放机制的并发程序中的错误重现方法[J];计算机工程与设计;2010年13期

相关会议论文 前3条

1 缪力;张大方;杨学东;;计算有互斥机制的并发程序的程序切片[A];第十届全国容错计算学术会议论文集[C];2003年

2 缪力;张大方;杨金民;;过程间并发程序分析不可判定的一个新证明方法[A];第四届中国测试学术会议论文集[C];2006年

3 周志远;张大方;缪力;赵丹;黄谷;;基于Java内存模型的并发程序模型检测[A];第五届中国测试学术会议论文集[C];2008年

相关博士学位论文 前2条

1 常曦;基于预测分析的并发程序错误检测技术研究[D];上海交通大学;2015年

2 卢超;并发软件测试理论与技术研究[D];华中科技大学;2007年

相关硕士学位论文 前10条

1 李超;基于序列模式挖掘的并发程序缺陷检测技术研究[D];华中师范大学;2015年

2 周华杨;基于变体的并发程序测试技术研究[D];东南大学;2015年

3 吴俞伯;面向并发程序数据竞争故障的变异策略研究[D];北京化工大学;2016年

4 周敏敏;基于约束求解的并发程序错误探测[D];东南大学;2016年

5 王静;基于事件约束的并发程序测试方法研究[D];华中科技大学;2007年

6 左赋斌;基于重放的并发程序调试技术研究[D];东南大学;2005年

7 曾奕;并发程序调试的追踪/重演机制研究[D];东南大学;2005年

8 丁宁;异步消息通信环境下并发程序的可达性测试研究[D];华中科技大学;2006年

9 吴熳娜;一个自适应的并发程序测试框架[D];浙江大学;2010年

10 朱一清;并发程序原子图挖掘及违背检测[D];上海交通大学;2012年

，

本文编号：2505913