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 .
Type de document :
Communication dans un congrès
POPL 1993: 20th symposium Principles of Programming Languages, Jan 1993, Charleston, United States. pp.113-123, 1993, 〈10.1145/158511.158611〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01499969
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 19:47:54
Dernière modification le : mardi 17 avril 2018 - 11:24:49
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 13:00:56

Fichier

concurrent-gc.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | PSL

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, 1993, 〈10.1145/158511.158611〉. 〈hal-01499969〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

204

Téléchargements de fichiers

40

Contact


archive-ouverte@inria.fr