 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
| 吴萍,陈意云,张健.并发Java程序同步操作的有效删除.软件学报,2005,16(10):1708-1716 |
| 并发Java程序同步操作的有效删除 |
| Effective Synchronization Removal in Concurrent Java Programs |
| 投稿时间：2004-05-18 修订日期：2005-03-11 |
| DOI： |
| 中文关键词: 并发程序 程序分析 escape分析 同步删除 |
| 英文关键词:concurrent program program analysis escape analysis synchronization removal |
| 基金项目: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(国家杰出青年科学基金) |
| 作者 | 单位 | | 吴萍 | 中国科学技术大学,计算机科学技术系,安徽,合肥,230027 | | 陈意云 | 中国科学技术大学,计算机科学技术系,安徽,合肥,230027 | | 张健 | 中国科学院,软件研究所,计算机科学重点实验室,北京,100080 |
|
| 摘要点击次数: 3377 |
| 全文下载次数: 3700 |
| 中文摘要: |
| 同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具. |
| 英文摘要: |
| 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. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
|
|
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
