From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA04039 for caml-redistribution; Mon, 25 Oct 1999 17:30:48 +0200 (MET DST) 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 WAA06825 for ; Thu, 21 Oct 1999 22:08:03 +0200 (MET DST) Received: from codex.cis.upenn.edu (CODEX.CIS.UPENN.EDU [158.130.6.15]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id WAA06871 for ; Thu, 21 Oct 1999 22:08:02 +0200 (MET DST) Received: (from mwh@localhost) by codex.cis.upenn.edu (8.8.5/8.8.5) id QAA25159; Thu, 21 Oct 1999 16:07:58 -0400 (EDT) From: Michael Hicks Message-Id: <199910212007.QAA25159@codex.cis.upenn.edu> Subject: collecting the collector? To: gclist@iecc.com, caml-list@inria.fr Date: Thu, 21 Oct 1999 16:07:58 -0400 (EDT) X-Mailer: ELM [version 2.4 PL23-upenn3.1] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis I've addressed this mail both to the caml-list and the gclist as both communities presumably could shed light on this area. No french version --- sorry! I have some code written in OCaml that I've exported to .a file (using the standard procedure outlined in the OCaml manual, including using -output-obj); this .a file will obviously include the OCaml runtime system, and thus its precise collector. I'm linking this .a file with a C program that has its own garbage collector, the Hans-Demers-Weiser conservative collector. I'm wondering if anyone has any stories from doing something of this sort before, or could at least speculate on how the two collectors will interact. I'm presuming that the OCaml collector will be "contained" within the area governed by the conservative collector, and so that potential mishaps will arise from the Caml collector doing something pointer unsafe, but that the conservative collector will not do anything screw up the OCaml one (which operates only on the Caml code contained in the .a file, and not the rest fo the C program). Thanks in advance, Mike -- Michael Hicks Ph.D. Candidate, the University of Pennsylvania http://www.cis.upenn.edu/~mwh mailto://mwh@dsl.cis.upenn.edu "Conversion is something momentary; sanctification is the work of a lifetime" -- J. Escriva, "Christ Is Passing By"