From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p37C5kRt023751
	for <caml-list@sympa-roc.inria.fr>; Thu, 7 Apr 2011 14:05:46 +0200
X-IronPort-AV: E=Sophos;i="4.63,315,1299452400"; 
   d="scan'208";a="105182861"
Received: from macadam.dapa.lip6.fr (HELO [192.168.1.105]) ([132.227.203.124])
  by mail1-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 07 Apr 2011 14:05:41 +0200
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Apple Message framework v1084)
From: Damien Doligez <damien.doligez@inria.fr>
In-Reply-To: <BANLkTin4PqRfVncz1r+JquTr9zYJXGi_+g@mail.gmail.com>
Date: Thu, 7 Apr 2011 14:05:40 +0200
Content-Transfer-Encoding: 7bit
Message-Id: <AD08986B-7203-4BF9-91B2-1520AD9346CE@inria.fr>
References: <BANLkTin4PqRfVncz1r+JquTr9zYJXGi_+g@mail.gmail.com>
To: caml users <caml-list@inria.fr>
X-Mailer: Apple Mail (2.1084)
Subject: Re: [Caml-list] Long running finalizers and global lock


On 2011-04-05, at 19:10, Pedro Borges wrote:

> I have a long running function inse a finalizer is it safe to release
> and acquire the runtime lock ?


NOT safe.  In fact, it will almost certainly crash immediately.

-- Damien