Heap architectures for concurrent languages using message passing

Authors:
Erik Johansson;Konstantinos Sagonas;Jesper Wilhelmsson
Affiliations:
Uppsala University, Sweden;Uppsala University, Sweden;Uppsala University, Sweden
Venue:
Proceedings of the 3rd international symposium on Memory management
Year:
2002

Citing 21
Cited 9

Escape analysis on lists

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Real-time replication garbage collection

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
A concurrent copying garbage collector for languages that distinguish (im)mutable data

PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
A concurrent, generational garbage collector for a multithreaded implementation of ML

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
Garbage collection: algorithms for automatic dynamic memory management

Garbage collection: algorithms for automatic dynamic memory management
Generational stack collection and profile-driven pretenuring

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
A compacting incremental collector and its performance in a production quality compiler

Proceedings of the 1st international symposium on Memory management
Escape analysis for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Escape analysis for object-oriented languages: application to Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Effective synchronization removal for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A high performance Erlang system

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Profile-guided optimization across process boundaries

DYNAMO '00 Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization
Thread-specific heaps for multi-threaded programs

Proceedings of the 2nd international symposium on Memory management
A nonrecursive list compacting algorithm

Communications of the ACM
Sapphire: copying GC without stopping the world

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande
Java without the coffee breaks: a nonintrusive multiprocessor garbage collector

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
A parallel, real-time garbage collector

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
One Pass Real-Time Generational Mark-Sweep Garbage Collection

IWMM '95 Proceedings of the International Workshop on Memory Management
Uniprocessor Garbage Collection Techniques

IWMM '92 Proceedings of the International Workshop on Memory Management
Processes in KaffeOS: isolation, resource management, and sharing in java

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4

On reducing interprocess communication overhead in concurrent programs

Proceedings of the 2002 ACM SIGPLAN workshop on Erlang
A study of Erlang ETS table implementations and performance

Proceedings of the 2003 ACM SIGPLAN workshop on Erlang
Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language

Proceedings of the 4th international symposium on Memory management
Atom garbage collection

Proceedings of the 2005 ACM SIGPLAN workshop on Erlang
Message analysis for concurrent programs using message passing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient memory management for concurrent programs that use message passing

Science of Computer Programming - Special issue on five perspectives on modern memory management: Systems, hardware and theory
Message analysis for concurrent languages

SAS'03 Proceedings of the 10th international conference on Static analysis
ErLLVM: an LLVM backend for Erlang

Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
A survey of support for structured communication in concurrency control models

Journal of Parallel and Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss alternative heap architectures for languages that rely on automatic memory management and implement concurrency through asynchronous message passing. We describe how interprocess communication and garbage collection happens in each architecture, and extensively discuss the tradeoffs that are involved. In an implementation setting (the Erlang/OTP system) where the rest of the runtime system is unchanged, we present a detailed experimental comparison between these architectures using both synthetic programs and large commercial products as benchmarks.