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

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

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

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