【摘要】：軌跡靜態(tài)簡化技術(shù)是在確保與原軌跡等價的前提下,通過隨機減少程序執(zhí)行時線程切換的數(shù)量,達(dá)到提高程序員調(diào)試并發(fā)程序效率的目的.然而,軌跡中可減少的線程切換分布往往是不均勻的,因此,隨機簡化策略難以有效地發(fā)現(xiàn)可簡化的線程切換.為此,提出了面向收斂的合并算法致力于這個問題.該算法的基本思想是:不斷地隨機選擇一線程執(zhí)行區(qū)間作為中心,在同一線程內(nèi),采用面向收斂的合并算法迭代地尋找可與其合并的前置執(zhí)行區(qū)間和后置執(zhí)行區(qū)間.實驗結(jié)果表明,該方法可以高品質(zhì)地減少執(zhí)行軌跡中的線程切換數(shù)量,進而有助于程序員快速發(fā)現(xiàn)引發(fā)錯誤的線程交錯.
[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.
【作者單位】： 上海第二工業(yè)大學(xué)軟件工程系;國防科學(xué)技術(shù)大學(xué)計算機學(xué)院;
【基金】：國家自然科學(xué)基金(61502296,61379054,61672529) 上海市自然科學(xué)基金(15ZR1417000)~~
【分類號】：TP311

【共引文獻】

相關(guān)期刊論文 前6條

1 郭德貴;王冠成;呂帥;劉磊;;peC語言的部分求值器及在編譯器測試中的應(yīng)用[J];軟件學(xué)報;2017年05期

2 赫楓齡,劉磊,張孝志;用有向圖法解決公式循環(huán)依賴問題[J];計算機工程與設(shè)計;2004年02期

3 赫楓齡,劉磊,張孝志;報表系統(tǒng)中的公式循環(huán)依賴問題[J];計算機工程;2004年03期

4 赫楓齡,劉磊,張孝志;用有向圖法確定報表系統(tǒng)中的公式計算順序[J];計算機工程與應(yīng)用;2003年36期

5 袁琦,張長海,劉磊,張宗來;動靜態(tài)結(jié)合的部分求值技術(shù)[J];吉林大學(xué)自然科學(xué)學(xué)報;1999年04期

6 張長海,袁琦,劉磊;最優(yōu)合并算法及證明[J];吉林大學(xué)自然科學(xué)學(xué)報;1997年04期

【相似文獻】

相關(guān)期刊論文 前10條

1 張泉,陳涵生;并發(fā)程序的調(diào)試問題[J];計算機工程;1998年10期

2 張廣泉;并發(fā)程序執(zhí)行的一種粒度分析方法[J];計算機工程與應(yīng)用;2000年05期

3 肖健宇;張德運;鄭衛(wèi)斌;;并發(fā)程序內(nèi)部表示及靜態(tài)切片算法的改進[J];西安交通大學(xué)學(xué)報;2005年12期

4 曾奕;;基于確定性重演的并發(fā)程序調(diào)試[J];計算機與數(shù)字工程;2005年12期

5 肖健宇;張德運;陳海詮;董皓;;一種改進的并發(fā)程序靜態(tài)切片算法[J];計算機工程;2006年14期

6 戚曉芳;徐寶文;周曉宇;;一種基于程序可達(dá)圖的并發(fā)程序依賴性分析方法[J];電子學(xué)報;2007年02期

7 劉震;繆力;;互斥并發(fā)程序的程序切片算法研究[J];計算機工程與科學(xué);2007年01期

8 繆力;張大方;;過程間并發(fā)程序分析不可判定的一個新證明方法[J];計算技術(shù)與自動化;2007年02期

9 李小國;張迎周;張衛(wèi)豐;周國強;;并發(fā)程序切片方法綜述[J];南京郵電大學(xué)學(xué)報(自然科學(xué)版);2008年06期

10 羅清宙;;基于回放機制的并發(fā)程序中的錯誤重現(xiàn)方法[J];計算機工程與設(shè)計;2010年13期

相關(guān)會議論文 前3條

1 繆力;張大方;楊學(xué)東;;計算有互斥機制的并發(fā)程序的程序切片[A];第十屆全國容錯計算學(xué)術(shù)會議論文集[C];2003年

2 繆力;張大方;楊金民;;過程間并發(fā)程序分析不可判定的一個新證明方法[A];第四屆中國測試學(xué)術(shù)會議論文集[C];2006年

3 周志遠(yuǎn);張大方;繆力;趙丹;黃谷;;基于Java內(nèi)存模型的并發(fā)程序模型檢測[A];第五屆中國測試學(xué)術(shù)會議論文集[C];2008年

相關(guān)博士學(xué)位論文 前2條

1 常曦;基于預(yù)測分析的并發(fā)程序錯誤檢測技術(shù)研究[D];上海交通大學(xué);2015年

2 盧超;并發(fā)軟件測試?yán)碚撆c技術(shù)研究[D];華中科技大學(xué);2007年

相關(guān)碩士學(xué)位論文 前10條

1 李超;基于序列模式挖掘的并發(fā)程序缺陷檢測技術(shù)研究[D];華中師范大學(xué);2015年

2 周華楊;基于變體的并發(fā)程序測試技術(shù)研究[D];東南大學(xué);2015年

3 吳俞伯;面向并發(fā)程序數(shù)據(jù)競爭故障的變異策略研究[D];北京化工大學(xué);2016年

4 周敏敏;基于約束求解的并發(fā)程序錯誤探測[D];東南大學(xué);2016年

5 王靜;基于事件約束的并發(fā)程序測試方法研究[D];華中科技大學(xué);2007年

6 左賦斌;基于重放的并發(fā)程序調(diào)試技術(shù)研究[D];東南大學(xué);2005年

7 曾奕;并發(fā)程序調(diào)試的追蹤/重演機制研究[D];東南大學(xué);2005年

8 丁寧;異步消息通信環(huán)境下并發(fā)程序的可達(dá)性測試研究[D];華中科技大學(xué);2006年

9 吳熳娜;一個自適應(yīng)的并發(fā)程序測試框架[D];浙江大學(xué);2010年

10 朱一清;并發(fā)程序原子圖挖掘及違背檢測[D];上海交通大學(xué);2012年

，

本文編號：2505913