A concurrent, generational garbage collector for a multithreaded implementation of ML - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1993

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

Résumé

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 .
Fichier principal
Vignette du fichier
concurrent-gc.pdf (165.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01499969 , version 1 (01-04-2017)

Identifiants

Citer

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⟩
130 Consultations
666 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More