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 PAA29092; Mon, 30 Aug 2004 15:16:26 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA27599; Mon, 30 Aug 2004 15:16:25 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from postfix3-2.free.fr (postfix3-2.free.fr [213.228.0.169]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i7UDGOml032575; Mon, 30 Aug 2004 15:16:25 +0200 Received: from warp (chateaudeau-4-82-225-176-25.fbx.proxad.net [82.225.176.25]) by postfix3-2.free.fr (Postfix) with SMTP id 011E4C480; Mon, 30 Aug 2004 17:11:52 +0200 (CEST) Message-ID: <001a01c48e93$af8d8280$0100a8c0@warp> From: "Nicolas Cannasse" To: , "Basile Starynkevitch [local]" References: <004f01c48c19$9950d8e0$0100a8c0@warp> <412F9059.2080808@orcaware.com> <20040827221801.GB1545@annexia.org> <20040828.083835.21913928.yoriyuki@mbg.ocn.ne.jp> <20040828164012.GA6420@bourg.inria.fr> <003f01c48d20$fa1497e0$0100a8c0@warp> <20040828204554.GA9252@bourg.inria.fr> <005101c48db0$a2da9110$0100a8c0@warp> <20040830122332.GA7426@bourg.inria.fr> Subject: Re: [Caml-list] Re: (GC issues) Alternative Bytecodes for OCaml Date: Mon, 30 Aug 2004 15:17:21 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 X-Miltered: at concorde with ID 413328A8.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; cannasse:01 warplayer:01 caml-list:01 bytecodes:01 ocaml's:01 pointers:01 compactor:01 pointers:01 ocaml's:01 patched:01 avoiding:01 runtime:01 camllocal:01 camlparam:01 cannasse:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > No, Ocaml's major GC (the garbage collection of the old generation) is > not conservative; it is precise (it knows exactly where the pointers > are), but is an incremental mark&sweep - with occasionnal call to the > compactor whichs compacts the whole heap (including old stuff) by > moving values & updating pointers. > > So I don't think Ocaml's GC could be easily patched to have the old GC > work conservatively - hence avoiding the requirement of telling the > runtime what are the pointers (ie CAMLlocal* & CAMLparam* macros). > > (I'm not sure that Nicolas Cannasse uses the "conservative" word in > the established sense of the GC experts - perhaps my previous > explanations where not clear enough). I'm sorry I was mistaken about the 'conservative' word correct usage. Please replace "conservative" by "not moving pointers" in my previous email. Nicolas ------------------- 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