版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、隨著多核硬件的不斷普及,并發(fā)程序編程的使用也越來(lái)越頻繁,如何解決并發(fā)程序中出現(xiàn)的錯(cuò)誤也越來(lái)越受到人們關(guān)注。在并發(fā)程序執(zhí)行過程中,由于線程調(diào)度的隨機(jī)性,使得人們對(duì)并發(fā)調(diào)試技術(shù)有了更高的要求。
本文主要實(shí)現(xiàn)了一種新的方法用于檢測(cè)并發(fā)程序中是否存在潛在死鎖。如果程序在某次執(zhí)行過程中沒有發(fā)生死鎖,但是存在一條特定的調(diào)度序列,程序按照此調(diào)度序列執(zhí)行必定會(huì)發(fā)生死鎖,就稱該程序存在潛在死鎖。這條特定的調(diào)度序列就稱為潛在死鎖調(diào)度序列。
2、 潛在死鎖分析主要是在并發(fā)程序執(zhí)行沒有發(fā)生死鎖的前提下,通過對(duì)記錄的執(zhí)行序列進(jìn)行分析,判斷程序是否存在潛在死鎖。如果檢測(cè)到程序存在潛在死鎖,那么就需要進(jìn)行路徑合成來(lái)驗(yàn)證潛在死鎖分析的準(zhǔn)確性。路徑合成就是以潛在死鎖分析的結(jié)果為基礎(chǔ),合成出一條新的執(zhí)行序列,改變線程之間的調(diào)度順序,控制程序的執(zhí)行流程。這條合成序列本質(zhì)上就是一條潛在死鎖調(diào)度序列,程序按照此合成序列執(zhí)行必定會(huì)發(fā)生死鎖。
當(dāng)檢測(cè)到程序存在潛在死鎖之后,還需要規(guī)避死鎖的
溫馨提示
- 1. 本站所有資源如無(wú)特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- C源碼程序死鎖靜態(tài)檢測(cè)系統(tǒng)的設(shè)計(jì)與研究.pdf
- 基于Petri網(wǎng)的一類并發(fā)程序死鎖預(yù)防策略.pdf
- 基于重放的并發(fā)程序調(diào)試技術(shù)研究.pdf
- 二死鎖的檢測(cè)與解除
- 嵌入式多核環(huán)境下的并發(fā)程序調(diào)試研究.pdf
- 并發(fā)進(jìn)程及死鎖問題
- Java并發(fā)程序的模型提取與模型檢測(cè)技術(shù)研究.pdf
- 并發(fā)程序原子圖挖掘及違背檢測(cè).pdf
- 基于模型檢測(cè)結(jié)果的CSP并發(fā)系統(tǒng)調(diào)試技術(shù)研究.pdf
- 多線程程序并發(fā)錯(cuò)誤檢測(cè)與重放系統(tǒng)研究.pdf
- 05eclipse中的java程序調(diào)試
- 05eclipse中的java程序調(diào)試
- 05eclipse中的java程序調(diào)試
- 基于預(yù)測(cè)分析的并發(fā)程序錯(cuò)誤檢測(cè)技術(shù)研究.pdf
- TD類漏洞及死鎖檢測(cè)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf
- 并發(fā)程序切片系統(tǒng)的研究與實(shí)現(xiàn).pdf
- vc程序調(diào)試
- 基于Petri網(wǎng)的多線程死鎖檢測(cè)研究.pdf
- 程序調(diào)試方法
- 基于死鎖的并發(fā)類單元測(cè)試用例自動(dòng)生成研究.pdf
評(píng)論
0/150
提交評(píng)論