From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <damien.doligez@inria.fr>
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 D9664BC57
	for <caml-list@yquem.inria.fr>; Fri,  3 Sep 2010 17:56:31 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.56,313,1280700000"; 
   d="scan'208";a="68830590"
Received: from 250-120.msr-inria.inria.fr (HELO [10.0.1.2]) ([193.55.250.120])
  by mail4-relais-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 03 Sep 2010 17:56:31 +0200
Content-Type: text/plain; charset=us-ascii
Mime-Version: 1.0 (Apple Message framework v1081)
Subject: Re: [Caml-list] Segfault with humongous heap size
From: Damien Doligez <damien.doligez@inria.fr>
In-Reply-To: <AANLkTimr-ZkOVtm_-xcUgfz1NxFFtEtjx-J3B0VxCzhf@mail.gmail.com>
Date: Fri, 3 Sep 2010 17:56:31 +0200
Content-Transfer-Encoding: quoted-printable
Message-Id: <FEC4C68B-1486-47C2-99FB-3E3D5BE73D90@inria.fr>
References: <AANLkTimr-ZkOVtm_-xcUgfz1NxFFtEtjx-J3B0VxCzhf@mail.gmail.com>
To: caml-list caml-list <caml-list@yquem.inria.fr>
X-Mailer: Apple Mail (2.1081)
X-Spam: no; 0.00; segfault:01 damien:01 damien:01 steckler:01 ocaml:01 segfault:01 ocaml:01 bug:01 23,:98 3.2:98 compounded:98 3200:98 doligez:01 doligez:01 wrote:01 


On 2010-09-02, at 13:23, Paul Steckler wrote:

> If I enter this in my shell:
>=20
>  declare -x OCAMLRUNPARAM=3D"h=3D3200000000"
>=20
> every OCaml program I run yields a segfault.  I have OCaml 3.11.1+rc1 =
installed
> on Fedora 12 x64.
>=20
> Of course, that heap size, 3.2G words, is larger than the memory I
> have installed, but
> still, I shouldn't get a segfault.


That's due to a stupid bug in parsing OCAMLRUNPARAM, compounded by a =
missing
check for the error code returned.  It will be fixed in 3.12.1.  In the =
meantime,
just use multipliers:

   declare -x OCAMLRUNPARAM=3Dh=3D3200M

-- Damien