跳到主要内容
10.1145/2259051.2259054acm会议文章/章节视图摘要出版物页面物理层数据接口会议记录会议集合
研究论文

快速逃逸滤波器的副作用分析

出版:2012年6月14日出版历史

摘要

副作用分析是一种基本的静态分析,用于确定每个程序实体修改或使用的内存位置。对于带有指针的程序,分析可能非常不精确。为了提高副作用分析的精度,许多方法设计了更精细的背景指针分析,以获得更小的副作用集,但很少有方法考虑通过改进副作用分析算法本身来获得更好的精度。为了解决这个问题,本文提出了一种新的副作用分析方法,该方法使用Gay和Steensgaard的快速逃逸分析来过滤多余的副作用。该方法不需要修改背景指针分析,可以在程序内和程序间级别过滤副作用。实验结果表明,该方法可以在较短的额外时间内有效地提高分析精度。

工具书类

  1. 灰烬套房系列。http://www.sable.mcgill.ca/software。谷歌学者谷歌学者
  2. SPEC JVM2008基准。http://www.spec.org/jvm2008/。谷歌学者谷歌学者
  3. M.Q.Beers、C.H.Stork和M.Franz。有效验证逃逸分析。在2004年欧洲面向对象编程会议(ECOOP)上,LNCS,第3086/2004卷,第60-81页。谷歌学者谷歌学者
  4. S.M.Blackburn、R.Garner和C.Hoffman等人。DaCapo基准测试:Java基准测试开发和分析。在2006年ACM SIGPLAN面向对象编程、系统、语言和应用会议上。谷歌学者谷歌学者数字图书馆数字图书馆
  5. B.布兰切特。面向对象语言的转义分析:Java应用程序。《面向对象编程系统、语言和应用(OOPSLA)ACM会议论文集》,1999年。谷歌学者谷歌学者数字图书馆数字图书馆
  6. J.Bogda和U.Hölzle。删除Java中不必要的同步。《面向对象编程系统、语言和应用(OOPSLA)ACM会议记录》,1999年,第35-46页。谷歌学者谷歌学者数字图书馆数字图书馆
  7. S.Cherem和R Rugina。一种实用的建筑轻量化逃逸和效果分析方法总结。在2007年国际编译器构造会议上。谷歌学者谷歌学者数字图书馆数字图书馆
  8. J.-D.Choi、M.Gupta、M.Serrano、V.C.Sreedhar和S.Midkiff。Java转义分析。《面向对象编程系统、语言和应用(OOPSLA)ACM会议论文集》,1999年,第1-19页。谷歌学者谷歌学者数字图书馆数字图书馆
  9. L.R.克劳森。使用副作用分析的java字节码优化器。并发:实践与经验,9(11):1031--10451997。谷歌学者谷歌学者交叉引用交叉引用
  10. C.单击。全球代码运动/全球值编号。1995年ACM SIGPLAN编程语言设计与实现会议进程。谷歌学者谷歌学者数字图书馆数字图书馆
  11. K.D.Cooper和K.Kennedy。线性时间内的硬膜外副作用分析。《美国计算机学会编程语言设计与实现会议论文集》,1988年,第57-66页。谷歌学者谷歌学者数字图书馆数字图书馆
  12. M.Edvinsson、J.Lundberg、W.Lowe。并行可达性和逃逸分析。第十届IEEE源代码分析和操作国际研讨会(SCAM),第125-1342010页。谷歌学者谷歌学者数字图书馆数字图书馆
  13. A.Flexeder、M.Petter和H.Seidl。汇编代码的副作用分析。在第18届国际静态分析研讨会(SAS)上,2011年。谷歌学者谷歌学者数字图书馆数字图书馆
  14. D.Gay和B.Steensgaard。基于对象程序的快速转义分析和堆栈分配。《第九届编译器建设国际会议论文集》,2000年,第82-93页。谷歌学者谷歌学者数字图书馆数字图书馆
  15. M.辛德。指针分析:我们还没有解决这个问题吗?2001年,在ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会上。谷歌学者谷歌学者数字图书馆数字图书馆
  16. A.Le、O.Lhoták和L.Hendren。在jit优化中使用过程间副作用信息。在2005年国际编译器构造会议上。谷歌学者谷歌学者数字图书馆数字图书馆
  17. K.Lee、X.Fang和S.P.Midkiff。实际逃生分析:它们有多好?《第三届虚拟执行环境国际会议论文集》,第180-190页,2007年。谷歌学者谷歌学者数字图书馆数字图书馆
  18. O.Lhoták和L.Hendren。Scaling java指向使用spark进行分析。在2003年国际编译器构造会议上。谷歌学者谷歌学者数字图书馆数字图书馆
  19. A.Milanova、A.Roundev和B.G.Ryder。java指向分析的参数化对象敏感性。ACM事务处理。《软件工程与方法论》,14(1):1-412005年。谷歌学者谷歌学者数字图书馆数字图书馆
  20. M.奈克。有效的Java静态竞争检测。斯坦福大学博士论文,2008年。谷歌学者谷歌学者数字图书馆数字图书馆
  21. N.Nystrom、M.R.Clarkson和A.C.Myers。Polyglot:一个可扩展的java编译器框架。在2003年国际编译器构造会议上。谷歌学者谷歌学者数字图书馆数字图书馆
  22. J.Qian、B.Xu和H.Min.Interstatement必须使用别名来分析堆位置的数据相关性。2007年,在ACM SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会上。谷歌学者谷歌学者数字图书馆数字图书馆
  23. J.Qian、Y.Zhou、B.Xu。通过延迟访问路径解析改进副作用分析。2009年IEEE第九届源代码分析和操作国际工作会议,第35-44页。谷歌学者谷歌学者数字图书馆数字图书馆
  24. C.拉扎菲马赫法。java副作用分析研究。麦吉尔大学硕士论文,1999年12月。谷歌学者谷歌学者
  25. A.Rountev。准确识别java中的无副作用方法。2004年第20届软件维护国际会议论文集。谷歌学者谷歌学者数字图书馆数字图书馆
  26. B.G.Ryder、W.Landi、P.Stocks、S.Zhang和R.Altucher。使用指针别名进行过程间修改副作用分析的模式。美国计算机学会程序设计语言与系统学报,23(2):105--1862001。谷歌学者谷歌学者数字图书馆数字图书馆
  27. A.Sălcianu和M.Rinard。java程序的纯度和副作用分析。2005年,在验证模型检查和抽象解释国际会议上。谷歌学者谷歌学者数字图书馆数字图书馆
  28. R.Vallée-Rai、L.Hendren、V.Sundaresan、P.Lam、e.Gagnon和P.Cot.Soot——一种java优化框架。IBM高级研究中心会议(CASCON),1999年。谷歌学者谷歌学者
  29. J.Whaley和M.Rinard。Java程序的组合指针和转义分析。《第14届ACM面向对象编程系统、语言和应用(OOPSLA)会议论文集》,1999年,第187-206页。谷歌学者谷歌学者数字图书馆数字图书馆
  30. J.Xue、P.H.Nguyen和J.Potter。不完整面向对象软件模块的过程间副作用分析。《系统与软件杂志》,80(1):92-1052007。谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. 快速逃逸滤波器的副作用分析

    建议

    评论

    登录选项

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

    登录

    完全访问权限

    • 发布于

      封面图片ACM会议
      SOAP'12:ACM SIGPLAN Java程序分析最新技术国际研讨会会议记录
      2012年6月
      58页
      国际标准图书编号:9781450314909
      内政部:10.1145/2259051

      版权所有©2012 ACM

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

      发布者

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2012年6月14日

      权限

      请求有关此文章的权限。

      请求权限

      检查更新

      限定符

      • 研究论文

      接受率

      总体验收率11属于11提交文件,100%

      即将召开的会议

      PLDI’24
      ACM SIGPLAN编程语言设计与实现会议
      2024年6月24日至28日
      哥本哈根,丹麦
    • 文章指标

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

      其他指标

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器