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

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

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