Damien Doligez and Xavier Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. In POPL 1993: 20th symposium Principles of Programming Languages, pages 113--123. ACM, 1993.

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.

bib | DOI | Local copy | At publisher's site ] Back

This file was generated by bibtex2html 1.99.