并发Java程序同步操作的有效删除

作者：吴萍; 陈意云; **

来源：软件学报, 2005, (10): 1708-1716.

• 并发程序
• 程序分析
• escape分析
• 同步删除 concurrent program
• program analysis
• escape analysis
• synchronization removal

同步操作是并发Java程序非常大的一部分开销.在现有程序分析方法的基础上,提出了一种精确而有效的冗余同步操作的静态删除方法.该方法分为基本处理和线程间时序分析两个阶段,充分考虑了控制流结构和线程交互时序对同步删除的影响.构造了一个Java编译器JTool,并在其上实现了同步删除算法.对于确定的单线程程序,同步删除率达到100%;对于多线程程序,同步删除率高于现有的分析工具.

• 单位
  中国科学技术大学; 计算机科学国家重点实验室; 中国科学院软件研究所