并发Java程序同步操作的有效删除-软件学报.PDFVIP

1000-9825/2005/16(10)1708 ©2005 Journal of Software 软 件 学 报 Vol.16, No.10 ∗ 并发Java 程序同步操作的有效删除 1+ 1 2 吴 萍 , 陈意云 , 张 健 1( 中国科学技术大学 计算机科学技术系,安徽 合肥 230027) 2( 中国科学院 软件研究所 计算机科学重点实验室,北京 100080) Effective Synchronization Removal in Concurrent Java Programs 1+ 1 2 WU Ping , CHEN Yi-Yun , ZHANG Jian 1(Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China) 2(Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China) + Corresponding author: Phn: +86- 10 E-mail: cynthia@, Received 2004-05-18; Accepted 2005-03-11 Wu P, Chen YY, Zhang J. Effective synchronization removal in concurrent Java programs. Journal of Software, 2005,16(10):1708−1716. DOI: 10.1360/jos161708 Abstract: 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. Key words: concurrent program; program analysis; escape analysis; synchronization removal 摘 要: 同步操作是并发 Java 程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效 的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程 交互时序对同步删除的影响.构造了一个Java 编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序, 同步删除率达到100%;对于多线程程序, 同步删除率高于现有