ST-CRTS: Compiler and Run-Time Support for Memory Management Using Explicit Memory Reclamation

ST-CRTS：使用显式内存回收进行内存管理的编译器和运行时支持

• 批准号: 0541217
• 负责人: Andrew Myers
• 金额: --
• 依托单位: Cornell University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-02-01 至 2011-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0541217&HistoricalAwards=false
• 关键词: ST; CRTS; Compiler; Run; Time

BackgroundMemory management is a key component in the performance and reliability of virtually all softwaresystems. Explicit reclamation of memory is error-prone, but efficient in time and space. On the otherhand, automatic memory management via garbage collection eliminates memory errors, but requires aheavyweight run-time system that imposes a certain amount of run-time and memory overhead.The goal of this research is to explore novel compiler and run-time techniques for safe memorymanagement with explicit memory deallocation and without garbage collection.Intellectual Merit The PI will develop a system that will provide memory management support for Java in the following forms:- It will augment Java bytecodes with primitive instructions for explicit memory reclamation;- It will provide novel compiler analyses and transformations to automatically augment programs with explicit memory deallocation- It will provide appropriate run-time support for explicit memory deallocation in an extended Javavirtual machine.The proposed work will investigate two paradigms for memory management with explicit deallocation:- Region-based memory management, which groups data objects together into regions and deallocatesall of the objects in each region at once.- Individual object deallocation, which reclaims storage for one object at a time. This approachwill use a single operation free to deallocate one object instance at a time.-This research will leverage advanced static analyses such as pointer and shape analyses as key components of the proposed system to enable the accurate and safe reclamation of memory.Broader ImpactThis work proposes novel static analyses for pointer-based program structures, and their integrationwith novel program transformations, run-time techniques, and program verification approaches to addressthe memory management problem, an important problem in modern software systems. This research has the potential to lead to important advances in compiler technology. The PI proposes a broad dissemination of the developed tools, making them available to the public and to the research community; such tools have the potential to become useful to a broad class of consumers.In addition, he plans to use the results of this research to support several educational activities.First, it will serve as a research topic for his students, both graduate and undergraduate. Second, heintends to integrate the novel analyses developed as part of this research into the courses that he willteach: the undergraduate compiler course, and the advanced seminar on program analysis.

背景内存管理是几乎所有软件系统的性能和可靠性的关键组成部分。内存的显式回收容易出错，但在时间和空间上是有效的。另一方面，通过垃圾收集的自动内存管理可以消除内存错误，但需要一个重量级的运行时系统，这会带来一定的运行时和内存开销。时间技术，用于安全的内存管理，具有显式的内存重新分配，无需垃圾收集。智力优势PI将开发一个系统，为Java的形式如下：-它将增加Java字节码与原始指令显式内存回收;-它将提供新的编译器分析和转换，以自动增加程序与显式内存释放-它将提供适当的运行时支持显式内存释放在一个扩展的Java虚拟机。- 基于区域的内存管理，将数据对象分组到区域中，并一次性释放每个区域中的所有对象。单个对象释放，一次回收一个对象的存储。这种方法将使用一个单独的操作，每次释放一个对象实例。这项研究将利用先进的静态分析，如指针和形状分析的关键组成部分，建议的系统，使准确和安全的回收memory.Broader ImpactThis工作提出了新的静态分析指针为基础的程序结构，和他们的integrationwith新的程序转换，运行时技术，和程序验证方法来解决内存管理问题，现代软件系统中的一个重要问题。这项研究有可能导致编译器技术的重要进展。PI建议广泛传播开发的工具，使其可供公众和研究界使用;这些工具有可能成为对广大消费者有用的工具。此外，他计划使用这项研究的结果来支持几项教育活动。首先，它将作为他的学生的研究课题，包括研究生和本科生。第二，他打算将作为本研究的一部分开发的新颖分析整合到他将教授的课程中：本科编译器课程和程序分析高级研讨会。