版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認(rèn)領(lǐng)
文檔簡介
1、隨著多核處理器的發(fā)展和多線程程序的普及,多線程技術(shù)的應(yīng)用越來越廣泛。但是在多線程程序中,當(dāng)多個線程之間運行推進順序不合適時,就可能造成死鎖。死鎖會導(dǎo)致多線程程序無法運行,甚至軟件系統(tǒng)崩潰。因此如何有效地檢測多線程程序死鎖是軟件測試和開發(fā)領(lǐng)域的重要研究課題之一。目前主流的靜態(tài)死鎖檢測方法主要包括基于并發(fā)模型分析和基于數(shù)據(jù)流分析?;跀?shù)據(jù)流分析的死鎖檢測結(jié)果因為保守分析容易造成誤判,基于并發(fā)模型分析不能很好地支持多線程程序建模,并且大部分研
2、究主要針對Java程序的死鎖檢測,對使用Posix線程庫開發(fā)的C多線程程序研究不多。
針對這些問題,本文基于Posix線程庫開發(fā)的C多線程程序,在調(diào)研現(xiàn)有死鎖檢測技術(shù)的基礎(chǔ)上,結(jié)合程序靜態(tài)分析技術(shù)提出一種基于Petri網(wǎng)模型的多線程死鎖檢測方法,該方法適用于兩個或者多個線程的死鎖檢測。論文的主要工作如下:
1)對多線程程序進行指針別名分析。在Linux平臺上使用GCC編譯器對程序預(yù)處理,得到控制流圖CFG、SSA形式
3、的中間代碼和函數(shù)依賴關(guān)系。然后基于SSA形式的中間代碼進行指針別名分析,得到鎖、函數(shù)指針的可能值和所有線程的函數(shù)調(diào)用圖。
2)描述多線程程序轉(zhuǎn)換為Petri網(wǎng)模型的方法。在得到函數(shù)調(diào)用圖的基礎(chǔ)上對函數(shù)調(diào)用圖進行優(yōu)化,目的是減少程序Petri網(wǎng)的規(guī)模。優(yōu)化過程包括刪除與鎖操作無關(guān)的函數(shù)、函數(shù)內(nèi)的優(yōu)化和使用lockset技術(shù)分析鎖相關(guān)函數(shù)等。然后對鎖操作函數(shù)和優(yōu)化后的函數(shù)調(diào)用圖進行Petri網(wǎng)建模,這樣得到一個與源程序并發(fā)語義等價
4、的Petri網(wǎng)模型。
3)設(shè)計一種基于Petri網(wǎng)的死鎖檢測算法。首先根據(jù)多線程程序中鎖的使用特點,定義一個用來描述互斥鎖、自旋鎖和讀寫鎖操作的特殊Petri網(wǎng)。然后分析這個特殊Petri網(wǎng)的動態(tài)性質(zhì),并提出基于混合整數(shù)規(guī)劃的死鎖檢測算法,通過求解該算法來檢測程序是否存在死鎖。最后從理論上證明算法是否有解與多線程程序是否死鎖之間的等價關(guān)系。
4)基于上述方法的實現(xiàn),本文對Apache、OpenLDAP、FastDFS
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于Petri網(wǎng)的智能機器人系統(tǒng)死鎖檢測.pdf
- 面向?qū)ο驪etri網(wǎng)的約簡和系統(tǒng)死鎖的檢測.pdf
- Petri網(wǎng)死鎖迭代控制算法研究.pdf
- 基于信標(biāo)迭代控制的Petri網(wǎng)死鎖預(yù)防策略.pdf
- 基于Petri網(wǎng)的自動制造系統(tǒng)的死鎖分析.pdf
- 基于多核多線程技術(shù)的通信網(wǎng)仿真算法研究.pdf
- 基于MIP算法的系統(tǒng)Petri網(wǎng)模型中的死鎖預(yù)防.pdf
- 基于Petri網(wǎng)的柔性制造系統(tǒng)死鎖預(yù)防策略.pdf
- 基于一般Petri網(wǎng)的死鎖迭代控制策略的研究.pdf
- 基于Petri網(wǎng)的一類并發(fā)程序死鎖預(yù)防策略.pdf
- 基于無死鎖初始標(biāo)識的Petri網(wǎng)控制器設(shè)計.pdf
- Petri網(wǎng)死鎖迭代控制中若干問題研究.pdf
- 柔性制造系統(tǒng)中基于petri網(wǎng)的死鎖預(yù)防策略.pdf
- 基于uEFI BIOS的多線程研究與實現(xiàn).pdf
- 基于Petri網(wǎng)的網(wǎng)絡(luò)入侵檢測研究.pdf
- 存在不可控變遷的Petri網(wǎng)死鎖避免策略.pdf
- 多線程程序數(shù)據(jù)競爭靜態(tài)檢測方法研究.pdf
- linux多線程編程
- 基于Petri網(wǎng)的柔性制造系統(tǒng)設(shè)備故障建模及死鎖預(yù)防.pdf
- POSIX多線程程序中數(shù)據(jù)競爭錯誤的檢測.pdf
評論
0/150
提交評論