Abstracting runtime heaps for program understanding

Mark Marron, Cesar Sanchez, Zhendong Su, Manuel Fahndrich

Research output: Contribution to journalArticlepeer-review

18 Scopus citations

Abstract

Modern programming environments provide extensive support for inspecting, analyzing, and testing programs based on the algorithmic structure of a program. Unfortunately, support for inspecting and understanding runtime data structures during execution is typically much more limited. This paper provides a general purpose technique for abstracting and summarizing entire runtime heaps. We describe the abstract heap model and the associated algorithms for transforming a concrete heap dump into the corresponding abstract model as well as algorithms for merging, comparing, and computing changes between abstract models. The abstract model is designed to emphasize high-level concepts about heap-based data structures, such as shape and size, as well as relationships between heap structures, such as sharing and connectivity. We demonstrate the utility and computational tractability of the abstract heap model by building a memory profiler. We use this tool to identify, pinpoint, and correct sources of memory bloat for programs from DaCapo.

Original languageEnglish
Article number6331492
Pages (from-to)774-786
Number of pages13
JournalIEEE Transactions on Software Engineering
Volume39
Issue number6
DOIs
StatePublished - 2013

Keywords

  • Heap structure
  • memory profiling
  • program understanding
  • runtime analysis

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Abstracting runtime heaps for program understanding'. Together they form a unique fingerprint.

Cite this