本文選題：并發(fā)缺陷　切入點(diǎn)：并發(fā)測試　出處：《計算機(jī)研究與發(fā)展》2017年02期 　論文類型：期刊論文

【摘要】：針對現(xiàn)有動態(tài)死鎖規(guī)避方法存在能力有限、被動盲目、開銷較大和影響目標(biāo)程序正確性等問題,提出一種基于未來鎖集的動靜結(jié)合死鎖規(guī)避方案Flider.基本思想是,對于一個加鎖操作,若其未來鎖集中的所有鎖都是空閑的,則執(zhí)行該加鎖操作不會導(dǎo)致死鎖.一個加鎖操作的未來鎖集包括當(dāng)前要加鎖的鎖和從該加鎖操作到與之相對應(yīng)的解鎖操作過程中遇到的所有加鎖操作所要加的鎖.通過靜態(tài)分析,計算鎖效應(yīng)信息并插樁到相應(yīng)的加鎖操作和函數(shù)調(diào)用操作前后.通過動態(tài)分析,劫持加鎖操作,根據(jù)其鎖效應(yīng)信息為之計算未來鎖集,只有當(dāng)未來鎖集中的所有鎖都未被鎖定才執(zhí)行該加鎖操作,否則等待.測評實(shí)驗和對比實(shí)驗表明Flider能智能主動地規(guī)避多種類型死鎖,開銷較小,擴(kuò)展性好,不影響程序正確性.
[Abstract]:Aiming at the problems of the existing dynamic deadlock avoidance methods, such as limited ability, passive blindness, large overhead and affecting the correctness of target program, a dynamic and static combined deadlock avoidance scheme based on the future lock set is proposed. The basic idea is:. For a lock operation, if all locks in its future lock set are free, The future set of locks for a lock operation includes the lock currently to be locked and all locks to be added from the lock operation to the corresponding unlock operation. Through static analysis, Calculate the lock effect information and insert the pile before and after the corresponding locking operation and function call operation. Through dynamic analysis, hijack lock operation, calculate the future lock set according to its lock effect information, Only when all the locks in the future lock set are not locked can the locking operation be performed or wait. The evaluation and comparison experiments show that Flider can intelligently avoid various types of deadlocks intelligently and initiatively, which has the advantages of low overhead, good expansibility and no influence on the correctness of the program.
【作者單位】： 哈爾濱工業(yè)大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;
【基金】：國家自然科學(xué)基金項目(61173021)~~
【分類號】：TP311.1

【相似文獻(xiàn)】

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

1 郝克剛,葉祖堯;分布式程序中固有死鎖的檢測[J];西北大學(xué)學(xué)報(自然科學(xué)版);1984年04期

2 鄢勇,劉鍵;一種新的分布式死鎖探測與解除方法[J];華中理工大學(xué)學(xué)報;1990年01期

3 孟章榮;死鎖的解法[J];計算機(jī)工程與設(shè)計;1990年01期

4 常忠;126系統(tǒng)用戶號死鎖故障的探討[J];天津通信技術(shù);1994年03期

5 楊英;超立方和其他網(wǎng)絡(luò)中的無死鎖全自適應(yīng)最小包路徑的選擇:算法和模擬[J];管理科學(xué)文摘;1996年02期

6 柯東林;;死鎖與事務(wù)優(yōu)化[J];鄂州大學(xué)學(xué)報;2007年02期

7 孫鐘秀;;防止死鎖的一種方法[J];南京大學(xué)學(xué)報(自然科學(xué)版);1978年02期

8 陸云升;關(guān)于計算機(jī)“死鎖”問題的探討——兼談九○五甲機(jī)死鎖問題[J];南通職大教學(xué)研究;1994年01期

9 王化冰;多資源復(fù)合共用FMS的死鎖研究[J];計算機(jī)集成制造系統(tǒng)-CIMS;2000年04期

10 茹雨,吳維敏;基于有限容量庫所方法的死鎖防止算法[J];系統(tǒng)仿真學(xué)報;2003年S1期

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

1 王商武;張長水;韓曾晉;;FMS運(yùn)行中死鎖的預(yù)測和避免[A];1993中國控制與決策學(xué)術(shù)年會論文集[C];1993年

2 張少潤;吳學(xué)軍;;分布式數(shù)據(jù)庫系統(tǒng)中探測及消除死鎖的算法[A];第十屆全國數(shù)據(jù)庫學(xué)術(shù)會議論文集[C];1992年

3 岳昊;;具有多資源需求和柔性加工路徑的順序資源分配系統(tǒng)Petri網(wǎng)模型的死鎖結(jié)構(gòu)特征[A];第二十九屆中國控制會議論文集[C];2010年

4 白哥樂;楊朝紅;王雅文;;多線程死鎖靜態(tài)檢測方法研究[A];第十四屆全國容錯計算學(xué)術(shù)會議(CFTC'2011)論文集[C];2011年

相關(guān)重要報紙文章 前1條

1 人民銀行吉林市中心支行科技處 劉志明;解決Sybase數(shù)據(jù)庫死鎖的方法[N];計算機(jī)世界;2001年

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

1 朱森;資源分配系統(tǒng)死鎖控制及其應(yīng)用研究[D];西安電子科技大學(xué);2009年

2 趙咪;基于一般Petri網(wǎng)的自動制造系統(tǒng)活性控制器設(shè)計[D];西安電子科技大學(xué);2009年

3 黃忠華;自動制造系統(tǒng)中的無死鎖調(diào)度與控制[D];上海交通大學(xué);2007年

4 韋娜;基于無死鎖初始標(biāo)識的Petri網(wǎng)控制器設(shè)計[D];西安電子科技大學(xué);2008年

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

1 齊鵬;基于未來鎖集的死鎖規(guī)避技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2015年

2 范景楊;基于時間調(diào)度的柔性制造系統(tǒng)控制器設(shè)計[D];西安電子科技大學(xué);2014年

3 韋娜;基于混合整數(shù)規(guī)劃的FMS活性控制器設(shè)計[D];西安電子科技大學(xué);2006年

4 周剛;一種柔性制造系統(tǒng)死鎖控制器的行為優(yōu)化研究[D];西安電子科技大學(xué);2007年

5 史文博;基于高級死鎖檢測的制造系統(tǒng)生產(chǎn)調(diào)度研究[D];上海交通大學(xué);2009年

6 翁東良;基于二型模糊邏輯的死鎖與數(shù)據(jù)競爭檢測方法研究[D];蘇州大學(xué);2012年

7 郝林;基于Petri網(wǎng)的自動制造系統(tǒng)的死鎖分析[D];西安電子科技大學(xué);2002年

8 王心宇;基于一般Petri網(wǎng)的死鎖迭代控制策略的研究[D];西安電子科技大學(xué);2011年

9 汪世勇;Petri網(wǎng)死鎖迭代控制中若干問題研究[D];西安電子科技大學(xué);2010年

10 馬元飛;基于時間著色Petri網(wǎng)的SIP協(xié)議形式化驗證與分析[D];內(nèi)蒙古大學(xué);2012年

，

本文編號：1626187