本文選題：動態(tài)分析　切入點：軟件測試　出處：《計算機研究與發(fā)展》2017年07期

【摘要】：死鎖難以暴露、重演和調(diào)試.一旦發(fā)生,將導(dǎo)致多線程程序響應(yīng)時間增長、吞吐量下降甚至宕機崩潰.現(xiàn)有死鎖檢測技術(shù)每次只能檢測一個互斥鎖死鎖.為一次性檢測由多個線程和多個互斥鎖或讀寫鎖造成的所有類型死鎖,首先提出混合鎖分配圖的概念和構(gòu)建方法,然后提出一種利用混合鎖分配圖動態(tài)檢測混合死鎖的方法.通過劫持所有互斥鎖和讀寫鎖的加鎖解鎖操作,以動態(tài)構(gòu)建和實時更新一個反映目標(biāo)程序同步狀態(tài)的混合鎖分配圖.通過在鎖分配圖上檢測環(huán)并判定該環(huán)是否為死鎖環(huán)來檢測死鎖.當(dāng)檢測到死鎖時,輸出死鎖信息來輔助調(diào)試.死鎖檢測實驗、性能影響實驗和可擴展性實驗結(jié)果表明:該方法成功檢測出所有13個共5種類型的死鎖缺陷,檢測能力強;給openldap-2.2.20帶來至多10.15%的性能下降幅度,對目標(biāo)程序造成的性能影響較小;性能開銷隨線程數(shù)目指數(shù)級增大而平緩增長,擴展性良好.
[Abstract]:Deadlocks are difficult to expose, repeat and debug.Once that happens, the multithread program response time increases, throughput drops and even crashes.Existing deadlock detection techniques can detect only one mutex lock at a time.In order to detect all types of deadlocks caused by multiple threads and mutex locks or read and write locks at one time, the concept of mixed lock allocation graph and its construction method are proposed first, and then a method to dynamically detect hybrid deadlock by using mixed lock allocation graph is proposed.By hijacking lock unlocking operations of all mutex and read / write locks, a hybrid lock allocation graph reflecting the synchronization state of the target program is constructed and updated in real time.The deadlock is detected by detecting the ring on the lock allocation diagram and determining whether the ring is a deadlock ring.When a deadlock is detected, the deadlock information is output to assist debugging.The results of deadlock detection experiment, performance impact experiment and extensibility experiment show that the proposed method successfully detects all 13 deadlock defects of 5 types and has strong detection ability, and brings up to 10.15% performance degradation to openldap-2.2.20.It has little effect on the performance of the target program, and the performance overhead increases slowly with the increase of the number of threads exponentially, and the expansibility is good.
【作者單位】： 哈爾濱工業(yè)大學(xué)計算機科學(xué)與技術(shù)學(xué)院;
【基金】：國家自然科學(xué)基金項目(61173021,61672191)~~
【分類號】：TP311.53

【參考文獻】

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

1 蘇小紅;禹振;王甜甜;馬培軍;;并發(fā)缺陷暴露、檢測與規(guī)避研究綜述[J];計算機學(xué)報;2015年11期

【共引文獻】

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

1 禹振;蘇小紅;邱景;;使用鎖分配圖動態(tài)檢測混合死鎖[J];計算機研究與發(fā)展;2017年07期

2 蔣炎巖;許暢;馬曉星;呂建;;獲取訪存依賴:并發(fā)程序動態(tài)分析基礎(chǔ)技術(shù)綜述[J];軟件學(xué)報;2017年04期

3 禹振;蘇小紅;齊鵬;馬培軍;;基于未來鎖集的死鎖規(guī)避[J];計算機研究與發(fā)展;2017年02期

【二級參考文獻】

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

1 亢麗蕓;王效岳;白如江;;MapReduce原理及其主要實現(xiàn)平臺分析[J];現(xiàn)代圖書情報技術(shù);2012年02期

2 李建江;崔健;王聃;嚴林;黃義雙;;MapReduce并行編程模型研究綜述[J];電子學(xué)報;2011年11期

3 王珊;王會舉;覃雄派;周p，

本文編號：1729525