基于Soot框架Java同步優(yōu)化研究.pdf

1、利用Java字節(jié)碼文件中的屬性，本文提出了一種用于Java程序優(yōu)化的方法。該方法利用前置改良同步逃逸分析算法，將待優(yōu)化Java程序中冗余同步操作對(duì)象找出，然后將這些信息通過(guò)標(biāo)簽形式附加在框架中間語(yǔ)句表示上，接著將得到的優(yōu)化的信息轉(zhuǎn)化到字節(jié)碼文件屬性(Attribute)中，最后通過(guò)改進(jìn)的Jasmin匯編器生成用于執(zhí)行的字節(jié)碼。本文算法以Soot為基礎(chǔ)完成實(shí)現(xiàn);Soot是一種支持和轉(zhuǎn)換Java字節(jié)碼的框架。
　　完成以下工作:

2、>　　(1)提出改良的逃逸分析算法。以指針?lè)治?points-to)為基礎(chǔ)，針對(duì)過(guò)程間靜態(tài)字段、線程對(duì)象以及線程字段逃逸分析操作，將其上具體分析操作放在同一單while循環(huán)體內(nèi)，從而有效降低分析算法功耗。利用已有的逃逸分析準(zhǔn)則和逃逸狀態(tài)結(jié)合準(zhǔn)則，進(jìn)行相應(yīng)迭代操作，將整個(gè)Java應(yīng)用程序線程局部對(duì)象標(biāo)注出來(lái)，通過(guò)標(biāo)簽操作將信息標(biāo)注到字節(jié)碼屬性上，最終該程序在執(zhí)行的時(shí)候虛擬機(jī)會(huì)依據(jù)字節(jié)碼上的屬性信息，做出相應(yīng)的優(yōu)化，刪除多余的同步操作。

3、r>　　(2)利用Soot框架實(shí)現(xiàn)上述提出的算法。本文算法的最終是基于開(kāi)源的Soot框架來(lái)實(shí)現(xiàn)的。利用Soot內(nèi)置的points-to分析框架——Soot Pointer AnalysisResearch Kit(SPARK)，進(jìn)行必要的指針圖分析;在此基礎(chǔ)上，通過(guò)本文擴(kuò)展Soot工具的流分析框架，實(shí)現(xiàn)該逃逸分析算法。具體實(shí)現(xiàn)最主要的地方是加入了前人研究中忽視的循環(huán)流中不必要同步操作的刪除判斷，同時(shí)擴(kuò)展利用Soot中的注解框架(anno