| 并发Java程序同步操作的有效删除 |
| |
| 引用本文： | 吴萍,陈意云,张健.并发Java程序同步操作的有效删除[J].软件学报,2005,16(10):1708-1716. |
| |
| 作者姓名： | 吴萍 陈意云 张健 |
| |
| 作者单位： | 1. 中国科学技术大学,计算机科学技术系,安徽,合肥,230027
2. 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.60173049,60421001(国家自然科学基金);the National Science Fund for Distinguished Young Scholars of China under Grant No.60125207(国家杰出青年科学基金) |
| |
| 摘 要： | 同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具.
|
| 关 键 词： | 并发程序 程序分析 escape分析 同步删除 |
| 收稿时间： | 05 18 2004 12:00AM |
| 修稿时间： | 03 11 2005 12:00AM |
Effective Synchronization Removal in Concurrent Java Programs |
| |
| WU Ping,CHEN Yi-Yun and ZHANG Jian.Effective Synchronization Removal in Concurrent Java Programs[J].Journal of Software,2005,16(10):1708-1716. |
| |
| Authors: | WU Ping CHEN Yi-Yun and ZHANG Jian |
| |
| Affiliation: | 1Department of Computer Science and Technology, University of Science and Technology of China, Hefei 230027, China; 2Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China |
| |
| 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. |
| |
| Keywords: | concurrent program program analysis escape analysis synchronization removal |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
