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

Damien Doligez 1, 2 Xavier Leroy 1, 3
1 ENS Paris - École normale supérieure - Paris
2 PARA - Parallélisme
Inria Paris-Rocquencourt
3 CRISTAL - Typed programming, modularity and compilation
Inria Paris-Rocquencourt
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 : Friday, May 25, 2018 - 12:02:05 PM
Long-term archiving on : Sunday, July 2, 2017 - 1:00:56 PM

File

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

Identifiers

Collections

ENS-PARIS | INRIA | PSL | INRIA-ROCQ

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

250

Files downloads

251

Contact


archive-ouverte@inria.fr