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 XAA07800; Mon, 1 Oct 2001 23:08:33 +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 XAA07640; Mon, 1 Oct 2001 23:08:32 +0200 (MET DST)
Received: from mta03-svc.ntlworld.com (mta03-svc.ntlworld.com [62.253.162.43])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f91L8Wr05352;
	Mon, 1 Oct 2001 23:08:32 +0200 (MET DST)
Received: from htec.demon.co.uk ([62.252.168.124])
          by mta03-svc.ntlworld.com (InterMail vM.4.01.03.00 201-229-121)
          with ESMTP
          id <20011001210831.FVUS23687.mta03-svc.ntlworld.com@htec.demon.co.uk>;
          Mon, 1 Oct 2001 22:08:31 +0100
Message-ID: <3BB8DC49.F82FE7D8@htec.demon.co.uk>
Date: Mon, 01 Oct 2001 22:12:41 +0100
From: Chris Quinn <cq@htec.demon.co.uk>
X-Mailer: Mozilla 4.61 [en] (X11; I; Linux 2.4.0-test6 i686)
X-Accept-Language: en
MIME-Version: 1.0
To: CAML LIST <caml-list@inria.fr>, caml@inria.fr
Subject: [Caml-list] fumbling with Gc.finalise 
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hi TeamCaml,

I've been using this function quite a bit now I've discovered it.
I thought I'd captured the dependencies between a bunch of related resource handles such as to guarantee orderly resource release. But I've just been bitten and realised that if a bunch of values are no longer reachable from the rest of the program, 
no account is taken of the pointer relationships existing between them. Thus there is no guaranteed running order of the finalisation functions.

Would it not be more reasonable to treat the argument and finalisation closure as roots until the latter has actually completed execution?

Thanks,
Chris Q.
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr