一种基于逃逸分析对象生命期分析方法.pdfVIP

∗ 一种基于逃逸分析的对象生命期分析方法 1,2 1,2 刘玉宇 , 张昱 1( 中国科学技术大学 计算机科学技术系，安徽 合肥 230027) 2(安徽省计算与通信软件重点实验室，安徽 合肥 230027) 摘 要: 基于区域的分配和显式的内存回收等研究是当前Java 内存管理优化的主要途径之一，它们希望尽可 能准确地获得对象的生命期信息。逃逸分析可以获得对象是否逃逸出某个方法或线程，但对对象生命期分析 还不够精确。文中提出一种基于逃逸分析的增量式过程间对象生命期分析方法，利用称为连接图的程序抽象 进行图上结点属性的过程内与过程间传播，设计数据流方程计算非全局对象的生命期在哪个方法中结束。实 验结果表明该方法精确性较高。 关键词: 对象生命期; 逃逸分析; 连接图; 属性; 传播算法 中图法分类号: TP314 文献标识码: A 1 引言 Java 这类面向对象的程序设计语言采用垃圾收集器（Garbage Collector, 简称 GC ）在堆（Heap ）上动态 管理对象的分配与回收。这种内存管理方式不仅使分配和回收具有灵活性，还使得内存管理对程序员透明 并保证编程工作的简易性，然而它也为整个系统运行带来了额外的开销，是影响 Java 虚拟机性能的重要因 素之一。为降低 GC 管理内存的时空开销，除了进一步改进 GC 本身的算法外，一些研究者还提出两种不同 的解决途径：一种是将一部分对象在堆以外的内存空间中分配，如在运行栈上分配[3]~[7] ，或者采用基于区 域（Region-based ）的内存分配方式[1][11] ；另一种是由即时编译器(Just-in-time compiler, 简称 JIT)在代码中 安插显式的内存回收指令[13] ，从而减轻 GC 自动回收的负担。不论是实现对象在堆外空间分配还是显式的 内存回收，首先需要解决的问题是确定哪些对象可以采用这类分配回收方式。 为了分析哪些对象可以在堆外分配或者何时能被显式回收，必须引入与对象生命期相关的数据流分析 技术，如逃逸分析 （Escape Analysis ）和指针分析 （Points-to Analysis ）等，其中逃逸分析是现有研究工作[4]~[12] 中主要的一种分析技术。现有的逃逸分析算法可以识别对象能否被分配在堆以外的空间或被显式回收，但 是在确定对象的生命期上精度不够，不能很好地指导显式内存回收优化工作。 本文在现有工作的基础上，重点研究：1)如何识别一个对象能否在堆以外的空间分配以及能否被显式回 收；2)对于能被显式回收的对象，其生命期会在哪个方法调用中结束，从而为对象显式回收提供依据。 本文的主要贡献如下： 1) 针对 Java 语言，提出一种基于逃逸分析的对象生命期分析方法，它利用称为连接图（Connection [7] 的程序抽象，并结合属性（Property ）的过程内与过程间的传播算法，识别对象的逃逸状态并分析 Graph ） 非全局对象的生命期。 2) 提出一个基于连接图的、增量式的、过程间的属性传播算法，以获得对象在部分或全部程序中的相 ∗ Supported by the National Natural Science Foundation of China under Grant No. 国家自然科学基金; the Foundation of Intel Corporation, Intel 公司研究基金 作者简介: 刘玉宇(1984),女,江西吉安人,硕士研究生,主要研究领域为程序设计语言理论与实现；张昱(1972),女,安徽肥 东人,博士,副教授,主要研究领域为程序设计语言理论与实现等. Corresponding author: Phn: +86-551-3603804, Fax: +86-551-3607043, E-mail: yuzhang@ 刘玉宇,张昱: 一种基于逃逸分析的对象生命期分析方法 2 关信息。 3) 将对象的生命期结束时期对应到某个方法调用的生命期结束时期，提出一个计算在方法调用内可能 结束生命期的对象集合的数据流方程，并结合连接图中结点的属性进一步判断实际结束生命期的对象集合。 文中通过实验与[11]中的分析结果进行对比，实验结果表明本文的算法