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 .
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

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〉

Partager

Métriques

Consultations de la notice

204

Téléchargements de fichiers

40