From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p61F9HIn008790
	for <caml-list@sympa-roc.inria.fr>; Fri, 1 Jul 2011 17:09:17 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvoDADjiDU5KfVIqkGdsb2JhbAA8AQMShEKXdosjCBQBAQEBCQkNBxQEIYh5AqMfi2aDCYQ+iSECAwaFIIEMBI1MhGaEdoEchgw8gT2CHA
X-IronPort-AV: E=Sophos;i="4.65,458,1304287200"; 
   d="vcf'?scan'208";a="97812278"
Received: from mail-ww0-f42.google.com ([74.125.82.42])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Jul 2011 17:09:12 +0200
Received: by wwg11 with SMTP id 11so1909439wwg.3
        for <multiple recipients>; Fri, 01 Jul 2011 08:09:11 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=sender:message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:x-enigmail-version:content-type;
        bh=ksRFKAvkZX7UadCaIGHd8yQr/ubLhNJ2kPK56Ewh994=;
        b=FwceN9R4W3r10iB9cy7JriRxbbnVUj9aTDZ6jQbI0NNppavCdAd/GU2jSCOEpAE4Q7
         ShN7ed8kIlZqD54uNOn0BkHvvNITRl3ukuqWDXIJDLCnjqo1wC2Aqvc36eJB5BDcfOPH
         rJmILTFnm2+FOUmKhZvH6DWUYAOUC7IVJiNw0=
Received: by 10.227.203.145 with SMTP id fi17mr2978159wbb.106.1309532951655;
        Fri, 01 Jul 2011 08:09:11 -0700 (PDT)
Received: from [195.83.212.239] (chercheurs-239.saclay.inria.fr [195.83.212.239])
        by mx.google.com with ESMTPS id gb1sm2417100wbb.37.2011.07.01.08.09.09
        (version=SSLv3 cipher=OTHER);
        Fri, 01 Jul 2011 08:09:10 -0700 (PDT)
Sender: Fabrice Le Fessant <fabrissimo@gmail.com>
Message-ID: <4E0DE317.1010002@inria.fr>
Date: Fri, 01 Jul 2011 17:09:11 +0200
From: Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110424 Lightning/1.0b2 Thunderbird/3.1.10
MIME-Version: 1.0
To: Dmitry Bely <dmitry.bely@gmail.com>
CC: caml-list@inria.fr
References: <BANLkTim=N1j+7J5L5VpkcKNDXZ1zf6mPcQ@mail.gmail.com>	<4E0DB5DE.8090309@inria.fr>	<BANLkTimx1+O4cXEibBgyE86kbGo-gLUCZA@mail.gmail.com>	<4E0DCD7C.5010907@inria.fr> <801099288.1616121.1309531501115.JavaMail.root@zmbs4.inria.fr>
In-Reply-To: <801099288.1616121.1309531501115.JavaMail.root@zmbs4.inria.fr>
X-Enigmail-Version: 1.1.2
Content-Type: multipart/mixed;
 boundary="------------020507040107080606000402"
X-Validation-by: fabrice.le_fessant@inria.fr
Subject: Re: [Caml-list] GC interface question

This is a multi-part message in MIME format.
--------------020507040107080606000402
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

On 07/01/2011 04:45 PM, Dmitry Bely wrote:
>> Initialization to 0 for _varg is OK, of course.

Is it the reply to your former question ?

> Yes, that's my modification. Original camlidl is not thread-safe.
> Basically camlidl_acquire_runtime does caml_c_thread_register and
> caml_leave_blocking_section. camlidl_release_runtime points to
> caml_enter_blocking_section.

If I understand your code, you release the master lock on the GC, and
then you call camlidl_alloc_small(). Shouldn't you hold the master lock
while allocating ?

Fabrice

--------------020507040107080606000402
Content-Type: text/x-vcard; charset=utf-8;
 name="fabrice_le_fessant.vcf"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="fabrice_le_fessant.vcf"

begin:vcard
fn:Fabrice LE FESSANT
n:LE FESSANT;Fabrice
org:INRIA Saclay -- Ile-de-France;P2P & OCaml
adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France
email;internet:fabrice.le_fessant@inria.fr
title;quoted-printable:Charg=C3=A9 de Recherche
tel;work:+33 1 74 85 42 14
tel;fax:+33 1 74 85 42 49 
url:http://fabrice.lefessant.net/
version:2.1
end:vcard


--------------020507040107080606000402--