基于逃逸分析的Java同步優(yōu)化研究.pdf

1、編寫正確的程序并不容易,而編寫正確的并發(fā)程序就更難了。與順序執(zhí)行的程序相比,并發(fā)程序中顯然更加容易出現(xiàn)錯誤。同時,伴隨著處理器數(shù)量的增加,有效地采用并發(fā)會變得越來越重要。為支持并發(fā)編程,Java語言提供了強大的多線程技術,能夠幫助編程人員生成比較高效健壯安全可靠的并發(fā)程序。為了保證每個線程都能夠正常執(zhí)行原子操作,Java語言還引入了線程同步機制,主要是通過對共享數(shù)據(jù)加鎖,來實現(xiàn)多個線程對共享資源的互斥訪問。
　　 雖然粗粒度的保

2、守鎖機制能夠比較容易地寫出正確的代碼,但是同步操作本身開銷很大,加之過于悲觀保守,在實際應用中會出現(xiàn)大量不必要的同步操作,這樣對整個程序的運行效率會產(chǎn)生極大的負面影響。為保證并發(fā)程序的正確性,同時降低程序運行時的同步負載,本文重點提出一種新的基于逃逸分析的同步優(yōu)化算法,并在開源的Java字節(jié)碼優(yōu)化框架--Soot工具上,實現(xiàn)了該算法。圍繞同步優(yōu)化,本文主要探討并完成以下工作:
　　 (1)提出一種基于points-to分析的上下

3、文相關、流不敏感、過程間的逃逸分析法該方法是以points-to分析為基礎,利用線程逃逸判定規(guī)則和逃逸狀態(tài)合并規(guī)則,過程內和過程間傳播靜態(tài)字段和線程對象及其字段的逃逸信息,并在此基礎上,鑒別出整個Java應用程序和Java類庫中線程局部的對象,進而將其上的同步操作做安全刪除。對于算法的具體描述,主要集中在論文的第三章。
　　 (2)在“封閉世界”中實現(xiàn)逃逸分析。本文利用Soot框架,實現(xiàn)了上述基于points-to分析的逃逸分析