Lag, drag, void and use—heap profiling and space-efficient compilation revisited

Authors:
Niklas Röjemo;Colin Runciman
Affiliations:
Department of Computer Science, University of York, Heslington, York, YO1 5DD, UK;Department of Computer Science, University of York, Heslington, York, YO1 5DD, UK
Venue:
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Year:
1996

Citing 10
Cited 27

The Chalmers lazy ML-compiler

The Computer Journal - Special issue on Lazy functional programming
Unboxed values as first class citizens in a non-strict functional language

Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Implementing functional languages

Implementing functional languages
Report on the programming language Haskell: a non-strict, purely functional language version 1.2

ACM SIGPLAN Notices - Haskell special issue
Time and space profiling for non-strict, higher-order functional languages

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract models of memory management

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Highlights from nhc—a space-efficient Haskell compiler

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Efficient compilation of lazy evaluation

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Heap Profiling of a Lazy Functional Compiler

Proceedings of the 1992 Glasgow Workshop on Functional Programming
A compiler for lazy ML

LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming

Formally based profiling for higher-order functional languages

ACM Transactions on Programming Languages and Systems (TOPLAS)
A demand-driven set-based analysis

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Generational stack collection and profile-driven pretenuring

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Understanding memory allocation of scheme programs

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A model for comparing the space usage of lazy evaluators

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Heap profiling for space-efficient Java

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
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)
Functional programming, and where you can put it

ACM SIGPLAN Notices
Object equality profiling

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Field level analysis for heap space optimization in embedded java environments

Proceedings of the 4th international symposium on Memory management
Birrell's distributed reference listing revisited

ACM Transactions on Programming Languages and Systems (TOPLAS)
Generating object lifetime traces with Merlin

ACM Transactions on Programming Languages and Systems (TOPLAS)
Cork: dynamic memory leak detection for garbage-collected languages

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Profiling with AspectJ

Software—Practice & Experience
Object ownership profiling: a technique for finding and fixing memory leaks

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Exterminator: Automatically correcting memory errors with high probability

Communications of the ACM - Surviving the data deluge
Space profiling for parallel functional programs

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Efficiently and precisely locating memory leaks and 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
Understanding the impact of collection contracts on design

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Space profiling for parallel functional programs

Journal of Functional Programming
The runtime structure of object ownership

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Causality of optimized Haskell: what is burning our cycles?

Proceedings of the 2013 ACM SIGPLAN symposium on Haskell
Leaking space

Communications of the ACM
Leaking Space

Queue - Quality Assurance

Quantified Score

Hi-index	0.02

Visualization

Abstract

The context for this paper is functional computation by graph reduction. Our overall aim is more efficient use of memory. The specific topic is the detection of dormant cells in the live graph --- those retained in heap memory though not actually playing a useful role in computation. We describe a profiler that can identify heap consumption by such 'useless' cells. Unlike heap profilers based on traversals of the live heap, this profiler works by examining cells postmortem. The new profiler has revealed a surprisingly large proportion of 'useless' cells, even in some programs that previously seemed space-efficient such as the boot-strapping Haskell compiler nhc.