Object ownership profiling: a technique for finding and fixing memory leaks

Authors:
Derek Rayside;Lucy Mendel
Affiliations:
Massachusetts Institute of Technology, Cambridge, MA;Massachusetts Institute of Technology, Cambridge, MA
Venue:
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Year:
2007

Citing 29
Cited 16

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Static detection of dynamic memory errors

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Lag, drag, void and use—heap profiling and space-efficient compilation revisited

Proceedings of the first ACM SIGPLAN international conference on Functional programming
Garbage collection: algorithms for automatic dynamic memory management

Garbage collection: algorithms for automatic dynamic memory management
Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A static analyzer for finding dynamic programming errors

Software—Practice & Experience
Recursive functions of symbolic expressions and their computation by machine, Part I

Communications of the ACM
A method for overlapping and erasure of lists

Communications of the ACM
Heap profiling for space-efficient Java

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Bitter Java

Bitter Java
Estimating the impact of heap liveness information on space consumption in Java

Proceedings of the 3rd international symposium on Memory management
On the usefulness of type and liveness accuracy for garbage collection and leak detection

ACM Transactions on Programming Languages and Systems (TOPLAS)
Flexible Alias Protection

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
On the Usefulness of Liveness for Garbage Collection and Leak Detection

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
A practical flow-sensitive and context-sensitive C and C++ memory leak detector

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Ownership types for safe region-based memory management in real-time Java

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Low-overhead memory leak detection using adaptive statistical profiling

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
Context- and path-sensitive memory leak detection

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
An analysis and visualization for revealing object sharing

eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Static detection of leaks in polymorphic containers

Proceedings of the 28th international conference on Software engineering
A dynamic analysis for revealing object ownership and sharing

Proceedings of the 2006 international workshop on Dynamic systems analysis
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
The DaCapo benchmarks: java benchmarking development and analysis

Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Bell: bit-encoding online memory leak detection

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems
Cork: dynamic memory leak detection for garbage-collected languages

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Using Valgrind to detect undefined value errors with bit-precision

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Valgrind: a framework for heavyweight dynamic binary instrumentation

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Detecting and eliminating memory leaks using cyclic memory allocation

Proceedings of the 6th international symposium on Memory management
The runtime structure of object ownership

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Efficiently and precisely locating memory leaks and bloat

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Go with the flow: profiling copies to find runtime bloat

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Making Sense of Large Heaps

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Visualizing the Java heap

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
What can the GC compute efficiently?: a language for heap assertions at GC time

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
AllocRay: memory allocation visualization for unmanaged languages

Proceedings of the 5th international symposium on Software visualization
LeakChaser: helping programmers narrow down causes of memory leaks

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
MemRed: towards reliable web applications

Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management
Analyzing memory ownership patterns in C libraries

Proceedings of the 2013 international symposium on memory management
Performance problem diagnostics by systematic experimentation

Proceedings of the 18th international doctoral symposium on Components and architecture
Dynamically validating static memory leak warnings

Proceedings of the 2013 International Symposium on Software Testing and Analysis
Supporting swift reaction: automatically uncovering performance problems by systematic experiments

Proceedings of the 2013 International Conference on Software Engineering
Cachetor: detecting cacheable data to remove bloat

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Precise memory leak detection for java software using container profiling

ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
LeakChecker: Practical Static Memory Leak Detection for Managed Languages

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization
Ownership types: a survey

Aliasing in Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce object ownership profiling, a technique forfinding and fixing memory leaks in object-oriented programs. Object ownership profiling is the first memory profiling technique that reports both a hierarchy of allocated objects along with size and time information aggregated up that hierarchy. In addition, it reveals the cross-hierarchy interactions that areessential to pinpointing the source of the leak. We identify five memory management anti-patterns, including two that involve rich heap structure and object interactions, and are novel contributions of this work. We apply object ownership profiling to find and fix memory leaks in the Alloy IDE v3 that users had complained about for years, and that had eluded detection by code reviews and type-based commercial memory profilers.