From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA13234; Fri, 13 Aug 2004 16:32:54 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA15504 for ; Fri, 13 Aug 2004 16:32:53 +0200 (MET DST) Received: from tkb.mpl.com ([66.109.164.210]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i7DEWpmL022632 for ; Fri, 13 Aug 2004 16:32:52 +0200 Received: from tkb.mpl.com (tkb.mpl.com [66.109.164.210]) by tkb.mpl.com (8.12.11/8.12.11) with ESMTP id i7DEWnth079645; Fri, 13 Aug 2004 10:32:50 -0400 (EDT) (envelope-from tkb@tkb.mpl.com) From: "T. Kurt Bond" MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16668.53521.633388.479965@tkb.mpl.com> Date: Fri, 13 Aug 2004 10:32:49 -0400 To: Andreas Rossberg Cc: caml-list@inria.fr Subject: Re: AW: [Caml-list] The tag bit In-Reply-To: <411CC109.6050105@ps.uni-sb.de> References: <20040813.125329.74721093.garrigue@kurims.kyoto-u.ac.jp> <411CBAF6.3010101@univ-savoie.fr> <411CC109.6050105@ps.uni-sb.de> X-Mailer: VM 7.18 under Emacs 21.3.1 X-Miltered: at nez-perce with ID 411CD113.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 rossberg:01 inherently:01 incompatible:01 compacting:01 generational:01 compacting:01 1989:99 bdw:99 pietro:01 customisable:99 compiler:01 ocaml:01 garbage:01 garbage:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Andreas Rossberg writes: > AFAIK, a conservative collector is not allowed to move anything. Hence > it is inherently incompatible with compacting and generational GC, like > used in OCaml (and highly desirable). Joel F. Bartlett's 1988 paper "Compacting garbage collection with ambiguous roots" describes a conservative "mostly copying" compacting GC scheme; his 1989 paper "Mostly-Copying Garbage Collection Picks Up Generations and C++" descibes a generation variation. Frederick Smith and Greg Morrisett's 1997 paper "Mostly-Copying Collection: A Viable Alternative to Conservative Mark-Sweep" describes an improved variant that they compared with the BDW by using both with the TIL/C ML compiler. Giuseppe Attardi, Tito Flagella, and Pietro Iglio describe a GC in their 1998 paper "A Customisable Memory Management Framework for C++" that uses mostly copying GC for the default heap. -- T. Kurt Bond, tkb@tkb.mpl.com ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners