Skip to Main content Skip to Navigation
Conference papers

A concurrent, generational garbage collector for a multithreaded implementation of ML

Abstract : This paper presents the design and implementation of a "quasi real-time" garbage collector for Concurrent Caml Light, an implementation of ML with threads. This two-generation system combines a fast, asynchronous copying collector on the young generation with a non-disruptive concurrent marking collector on the old generation. This design crucially relies on the ML compile-time distinction between mutable and immutable objects .
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499969
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 7:47:54 PM
Last modification on : Tuesday, September 22, 2020 - 3:52:16 AM
Long-term archiving on: : Sunday, July 2, 2017 - 1:00:56 PM

File

concurrent-gc.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Damien Doligez, Xavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. POPL 1993: 20th symposium Principles of Programming Languages, Jan 1993, Charleston, United States. pp.113-123, ⟨10.1145/158511.158611⟩. ⟨hal-01499969⟩

Share

Metrics

Record views

300

Files downloads

510