多核處理器的普遍化使得并發(fā)程序的需求日益提升,并發(fā)編程技術(shù)對于提高CPU的利用率有著不可或缺的作用。盡管Java已經(jīng)為多線程并發(fā)程序的設(shè)計(jì)提供了強(qiáng)大的語言支持,但并發(fā)程序內(nèi)部所固有的并發(fā)性和不確定性仍然會帶來一些難以避免的缺陷問題。并發(fā)缺陷主要包括死鎖、數(shù)據(jù)競爭、原子性違背和順序違背4類,并且它們都不容易被檢測、調(diào)試以及修復(fù)。數(shù)據(jù)競爭在所有種類的并發(fā)缺陷中占有較大的比例,而且常常是引起其他非死鎖類缺陷的根本原因。針對數(shù)據(jù)競爭檢測過程中的誤報(bào)和漏報(bào)現(xiàn)象,本文對產(chǎn)生誤報(bào)和漏報(bào)的原因進(jìn)行了進(jìn)一步的研究,提出以Soot軟件分析框架為基礎(chǔ)的靜態(tài)數(shù)據(jù)競爭檢測方法,該方法自動構(gòu)造線程內(nèi)和線程間函數(shù)調(diào)用圖,進(jìn)而收集線程內(nèi)變量訪問事件信息,分析并檢測出所有可能產(chǎn)生競爭的情況。檢測過程中對別名變量和別名鎖情況進(jìn)行分析以降低漏報(bào)率和誤報(bào)率;此外,通過控制流分析抽象訪問事件之間的時(shí)序約束關(guān)系,并結(jié)合程序切片技術(shù)判斷訪問事件之間的發(fā)生序關(guān)系,以此降低因線程交互帶來的誤報(bào)率。依據(jù)該方法,本文使用Java語言在Eclipse PDE環(huán)境下實(shí)現(xiàn)了一個(gè)數(shù)據(jù)競爭檢測工具。在實(shí)驗(yàn)中,對JGF和IBM Contest基準(zhǔn)測試... 

【文章來源】：河北科技大學(xué)河北省

【文章頁數(shù)】：70 頁

【學(xué)位級別】：碩士

【部分圖文】：

Soot對Java程序的中間變換

IR之間的轉(zhuǎn)換

圖 4-1 數(shù)據(jù)競爭檢測框架的數(shù)據(jù)競爭故障的檢測過程是以共享變量的訪問操作為中心的收集至關(guān)重要。通過控制流分析構(gòu)造線程內(nèi)和線程間的函的被調(diào)函數(shù)中收集該線程的所有訪問事件的相關(guān)信息。定義數(shù)據(jù)競爭產(chǎn)生的條件，并依據(jù)條件收集所有可能產(chǎn)生競提高檢測的精確度，對所有的競爭訪問事件進(jìn)行別名分析和分析不僅考慮了別名變量的現(xiàn)象，還考慮到了別名鎖現(xiàn)象帶；生序關(guān)系分析中，本文采用控制流分析抽象模擬線程內(nèi)和線系圖，然后對時(shí)序關(guān)系圖中的訪問事件進(jìn)行切片分析并定義，完成兩個(gè)訪問事件的發(fā)生序關(guān)系判斷，排除某些因線程交調(diào)用圖構(gòu)建

【參考文獻(xiàn)】：
期刊論文
[1]并行環(huán)境下Java哈希機(jī)制的對比及重構(gòu)[J]. 鄭雅潔,張冬雯,張楊,郭松,梁亞楠,魏萌萌,于欣.  河北工業(yè)科技. 2017(06)
[2]多線程程序數(shù)據(jù)競爭檢測和驗(yàn)證方法研究綜述![J]. 禹振,楊振,蘇小紅,王甜甜.  智能計(jì)算機(jī)與應(yīng)用. 2017(03)
[3]基于GCC關(guān)鍵變量數(shù)據(jù)流分析算法的程序切片技術(shù)[J]. 楊小川,姜軍,馬曉東,漆鋒濱.  計(jì)算機(jī)工程與應(yīng)用. 2017(24)
[4]基于并發(fā)程序數(shù)據(jù)競爭故障的變異策略[J]. 吳俞伯,郭俊霞,李征,趙瑞蓮.  計(jì)算機(jī)應(yīng)用. 2016(11)
[5]靜態(tài)軟件缺陷預(yù)測方法研究[J]. 陳翔,顧慶,劉望舒,劉樹龍,倪超.  軟件學(xué)報(bào). 2016(01)
[6]并發(fā)缺陷暴露、檢測與規(guī)避研究綜述[J]. 蘇小紅,禹振,王甜甜,馬培軍.  計(jì)算機(jī)學(xué)報(bào). 2015(11)
[7]基于BPEL的流程數(shù)據(jù)競爭問題研究[J]. 楊書新,李淑芝,張永進(jìn).  計(jì)算機(jī)應(yīng)用. 2010(07)
[8]軟件分析技術(shù)進(jìn)展[J]. 梅宏,王千祥,張路,王戟.  計(jì)算機(jī)學(xué)報(bào). 2009(09)
[9]Java程序數(shù)據(jù)競爭的增量式檢測[J]. 張昱,郝允允.  西安交通大學(xué)學(xué)報(bào). 2009(08)
[10]關(guān)于提高基于OpenSSL軟件性能的研究[J]. 張妍,許云峰,張煥生.  河北科技大學(xué)學(xué)報(bào). 2007(02)

碩士論文
[1]面向多線程機(jī)制的軟件重構(gòu)方法研究與實(shí)現(xiàn)[D]. 柳晨光.河北科技大學(xué) 2016
[2]多線程程序數(shù)據(jù)競爭檢測和驗(yàn)證方法研究[D]. 楊振.哈爾濱工業(yè)大學(xué) 2016
[3]基于Java字節(jié)碼的多線程數(shù)據(jù)競爭檢測方法研究及工具實(shí)現(xiàn)[D]. 史鵬宙.哈爾濱工業(yè)大學(xué) 2014
[4]基于Soot框架Java同步優(yōu)化研究[D]. 關(guān)義生.浙江師范大學(xué) 2013
[5]多線程程序數(shù)據(jù)競爭靜態(tài)檢測方法研究[D]. 簡道紅.大連理工大學(xué) 2013
[6]基于動態(tài)二進(jìn)制翻譯的多線程程序數(shù)據(jù)競爭檢測方法研究[D]. 徐超.上海交通大學(xué) 2010



本文編號：3302947