From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 1A354BC59
	for <caml-list@yquem.inria.fr>; Thu,  9 Sep 2010 10:12:14 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ao0BAHIziEzRVdQ0kGdsb2JhbACDGZ4QCBUBAQEBCQkMBxEDH6IRiHg8ghWGWS6IEgEBAwWBHYMndASKIA
X-IronPort-AV: E=Sophos;i="4.56,338,1280700000"; 
   d="scan'208";a="69106115"
Received: from mail-vw0-f52.google.com ([209.85.212.52])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 09 Sep 2010 10:12:13 +0200
Received: by vws14 with SMTP id 14so1366865vws.39
        for <caml-list@yquem.inria.fr>; Thu, 09 Sep 2010 01:12:12 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:mime-version:received:in-reply-to
         :references:from:date:message-id:subject:to:content-type
         :content-transfer-encoding;
        bh=N4+X8R4l8zNQ/z+PZs/7CUMzWY98KBziLyOIhm1rNJQ=;
        b=LHgP9yDZGDnLroGpgGyundA9hhQ85bpv/Egy6rFoSMZiLT16XNYqScjkpBoLucdvwM
         /4lN354ximfEJFRYW8G+s4xdz48ndUN4M5iUr6uiQ/bdJa03V1yF0IVardsVinDcgHss
         Y7RdLjiyDJ+wjHzMcJOcXmIw2a5CDAZae1/io=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :content-type:content-transfer-encoding;
        b=YAhU7hrntYVmzDSgsENgQEhHKfYLHJkxcqeVRZG2KBXbef11sGf2RszdAixKnvyd34
         445tqsRh3ClXWVWzunrSKUMYsLofugxqbSwZYaYuUN7G8nKw4ZqYA1lM+QA6Ep9V85Az
         YdA0FxwGWILexxu37zIPLExBodf1uARoum22g=
Received: by 10.220.89.30 with SMTP id c30mr588171vcm.21.1284019931248; Thu,
 09 Sep 2010 01:12:11 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.220.95.210 with HTTP; Thu, 9 Sep 2010 01:11:51 -0700 (PDT)
In-Reply-To: <4C86B331.1060009@glondu.net>
References: <AANLkTi=VCN4+wpKYG_EWUNX5zsBAs5_G_1hb2Y3uJDsu@mail.gmail.com>
 <4C86AABC.3010501@glondu.net> <AANLkTimj8tpJHQamUB+wf_uQ0A-AOra5CL2Uu6dn=LUA@mail.gmail.com>
 <4C86B331.1060009@glondu.net>
From: Paolo Donadeo <p.donadeo@gmail.com>
Date: Thu, 9 Sep 2010 10:11:51 +0200
Message-ID: <AANLkTime+fy42+EJsHdsfTL3pBNsbbuDvEuOCurJYoxk@mail.gmail.com>
Subject: Re: [Caml-list] C binding and GC interaction: storing values outside
 the heap
To: OCaml mailing list <caml-list@yquem.inria.fr>,
	OCaml-Lua devel ML <ocaml-lua-devel@lists.forge.ocamlcore.org>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Spam: no; 0.00; segfault:01 byte:01 48,:98 phane:98 git:98 git:98 5.1:98 ubuntu:98 wrote:01 heap:01 caml-list:01 interaction:02 confusing:02 binding:02 native:03 

On Tue, Sep 7, 2010 at 23:48, St=C3=A9phane Glondu wrote:
> Well... could you provide a full self-contained example?

Yes, but it could be confusing due to many other details. In any case:

$ git clone http://git.ocamlcore.org/ocaml-lua/ocaml-lua.git
$ git checkout remotes/origin/paolo_donadeo/segfault_hunting
$ cd src
$ ocamlbuild main.d.byte main.native

(You must have installed the Lua library, liblua5.1-0-dev in Debian/Ubuntu)


> How does that sound?

It could work, in the next few days I'll try this solution too.


--=20
Paolo