%0 Journal Article
%T Effective Synchronization Removal in Concurrent Java Programs<br>并发Java程序同步操作的有效删除
%A WU Ping
%A CHEN Yi-Yun
%A ZHANG Jian
%A <br>吴萍
%A 陈意云
%A 张健
%J 软件学报
%D 2005
%I 
%X Synchronization operations make a huge expense for concurrent Java programs. This paper proposes an effective and precise static analysis algorithm for the redundant synchronization removal. The algorithm consists of two phases-basic analysis and inter-thread temporal analysis. Both phases take the effect of control flow relation and thread control relation into count. This paper also constructs a Java compiler-JTool and implements the algorithm on it. To deterministic single-threaded programs, the removal ratio reaches 100% and to multi-threaded programs, the removal ratio is higher than the existing analysis tools.
%K concurrent program
%K program analysis
%K escape analysis
%K synchronization removal<br>并发程序
%K 程序分析
%K escape分析
%K 同步删除
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=996D0CA95620F793&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=F3090AE9B60B7ED1&sid=387FB6C3BA4B6547&eid=ADAF655E679AEBA1&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=17