跳到主要内容
10.1145/1141277.1141607acm会议文章/章节视图摘要出版物页面会议记录会议集合
第条

同步删除的退出分析

出版:2006年4月23日出版历史

摘要

本文介绍了我们的Java逃逸分析框架,它是一种流敏感、过程间和上下文敏感的数据流分析。我们还提出了一种有效的静态过程内算法,用于推断每个对象在运行时可能出现的类型集。利用过程内类型信息,实现了虚拟方法解析、被调用存根内联、异常分析和线程分配位置分析。虚拟方法解析和被调用存根内联有效地减少了调用图和SCC(强连接组件)。在异常分析中,我们提出了一种更精确的分析算法,特别是在SCC的过程间异常中。我们的转义分析可以应用于整个Java程序和Java库,以识别Java中不必要的同步并删除它们。我们已经在Intel的Open Runtime Platform上开发了一个实现。对于我们的基准测试,消除了7.3%到99%(平均54%)的同步操作。

工具书类

  1. J.Aldrich、C.Chambers、E.G.Sirer和S.Eggers。用于消除java程序中不必要同步的静态分析。静态分析研讨会,第19-38页,意大利威尼斯,1999年9月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  2. B.布兰切特。针对java#8482;的转义分析:理论与实践。《美国计算机学会编程语言与系统汇刊》,25(6):713--7752003年11月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  3. J.Bogda和U.Holzle。删除java中不必要的同步。1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录,第20-34页,科罗拉多州丹佛,1999年11月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  4. J.D.Choi、M.Gupta、V.C.Sreedhar和S.Midkiff。java转义分析。1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录,第1-19页,科罗拉多州丹佛,1999年11月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  5. A.Diwan、J.E.B.Moss和K.S.McKinley。静态类型面向对象程序的简单有效分析。《1996年ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集》,第292-305页,1996年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  6. E.Gagnon和L.Hendren。java字节码静态类型的过程内推断。技术报告,Sable技术报告,No.1999--1.]]谷歌学者谷歌学者
  7. 英特尔。开放运行时平台。http://orp.sourceforge.net/。]]谷歌学者谷歌学者
  8. T.Lindholm和F.Yellin。Java虚拟机规范,第二版。Addison-Wesley出版公司,马萨诸塞州雷丁,1999年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  9. J.Plevyak和A.A.Chien。面向对象语言的精确具体类型推理。《1994年ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集》,第324-340页,美国俄勒冈州波特兰,1999年10月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  10. M.P.Robillard和G.C.Murphy。静态分析,支持面向对象系统中异常结构的演变。ACM软件工程与方法汇刊,12(2):191--2212003。]]谷歌学者谷歌学者数字图书馆数字图书馆
  11. E.鲁夫。针对java的有效同步删除。2000年ACM SIGPLAN编程语言设计与实现会议,第208-218页,加拿大温哥华,2000年6月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  12. E.鲁夫。提高基于等式的数据流分析的精度。静态分析研讨会,第247-262页,西班牙马德里,2002年9月。]]谷歌学者谷歌学者数字图书馆数字图书馆
  13. X.Shi、G.Wu和G.Y.Lueh。逃避分析拥抱开放的世界。技术报告,英特尔中国研究中心,2003年。]]谷歌学者谷歌学者
  14. S.Sinha和M.J.Harrold。使用异常处理结构分析和测试程序。IEEE软件工程汇刊,26(9):849--8712000。]]谷歌学者谷歌学者数字图书馆数字图书馆
  15. 十、周日。对不必要的java同步删除进行转义分析。北京航空航天大学计算机科学学院硕士论文,2005年。]]谷歌学者谷歌学者
  16. J.Whaley和M.Rinard。java程序的组合指针和分析。1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录,第187-206页,科罗拉多州丹佛,1999年11月。]]谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 同步删除的退出分析

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图片ACM会议
        SAC’06:2006年ACM应用计算研讨会会议记录
        2006年4月
        1967页
        国际标准图书编号:1595931082
        内政部:10.1145/1141277

        版权所有©2006 ACM

        允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用,但不收取任何费用,前提是复制品的制作或分发不是为了盈利或商业利益,并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2006年4月23日

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 第条

        接受率

        总体验收率1,650属于6,669提交文件,25%
      • 文章指标

        • 下载次数(过去12个月)4
        • 下载次数(最近6周)0

        其他指标

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器