CODEREBUILDER：一種自動(dòng)化Java并發(fā)程序重構(gòu)工具的研究與實(shí)現(xiàn).pdf

1、作為一種重要的支持技術(shù),并發(fā)程序演化技術(shù)能夠持續(xù)地改進(jìn)并發(fā)代碼的品質(zhì),提高軟件開發(fā)與維護(hù)的效率。重構(gòu)是軟件演化的一種重要手段,它在不改變軟件外在行為的情況下,修改程序的內(nèi)在結(jié)構(gòu),從而改善代碼的可讀性、可維護(hù)性、可擴(kuò)展性等。
　　面向并發(fā)的代碼重構(gòu)研究大體上可以分為兩個(gè)方面:順序代碼的并行化重構(gòu)以及并發(fā)代碼的自身優(yōu)化重構(gòu)。目前這兩個(gè)方面的工作仍有很多不足之處。在并行化重構(gòu)方面,現(xiàn)有研究在處理包含容器使用的循環(huán)時(shí),常常受制于容器自身使

2、用造成的數(shù)據(jù)依賴,而不能識(shí)別許多并行化契機(jī)。針對(duì)這種問(wèn)題,本文對(duì)Java程序提出了基于順序無(wú)關(guān)容器標(biāo)注的動(dòng)態(tài)循環(huán)級(jí)可并行性識(shí)別方法,該方法首先對(duì)程序中順序無(wú)關(guān)的容器類型屬性域和變量進(jìn)行手工標(biāo)注,而后插樁并運(yùn)行程序以獲取依賴信息,收集順序無(wú)關(guān)容器對(duì)象,最后過(guò)濾掉順序無(wú)關(guān)容器造成的依賴,即可發(fā)現(xiàn)更多并行化重構(gòu)契機(jī),進(jìn)而實(shí)施更多針對(duì)性的重構(gòu)。
　　在并發(fā)代碼自身優(yōu)化重構(gòu)方面,雖然已有很多重構(gòu)技術(shù),但是對(duì)于屬性域原子化、保護(hù)區(qū)分解、鎖分解

3、等一些已知的針對(duì)同步的重構(gòu)模式,還缺少自動(dòng)挖掘值得重構(gòu)代碼片段的手段,也缺少安全自動(dòng)的代碼轉(zhuǎn)換方法。為此,本文針對(duì)Java代碼提出了鎖分解、保護(hù)區(qū)分解以及屬性域原子化三個(gè)重構(gòu)模式的自動(dòng)化重構(gòu)方法。該方法根據(jù)類屬性域在不同保護(hù)區(qū)內(nèi)的使用情況來(lái)推斷它們之間的同步需求,然后根據(jù)同步需求分析結(jié)果來(lái)進(jìn)行重構(gòu)轉(zhuǎn)換,整個(gè)過(guò)程除最終確認(rèn)外無(wú)需用戶手工干預(yù),比現(xiàn)有工作更加自動(dòng)化。
　　最后,我們?cè)贓clipse LTK框架平臺(tái)下基于Soot字節(jié)碼分