From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 5B7A7BC69 for ; Sat, 31 Mar 2007 22:37:42 +0200 (CEST) Received: from ik-out-1112.google.com (ik-out-1112.google.com [66.249.90.182]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l2VKbfaJ014309 for ; Sat, 31 Mar 2007 22:37:42 +0200 Received: by ik-out-1112.google.com with SMTP id c29so660517ika for ; Sat, 31 Mar 2007 13:37:39 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=UYJ81Y0Y257DC/i4ERVxshX/6cy/HTSelpS4mFjkD9riNe1TfrfZFVi/Jp7ya6WW9b41y3wKRTjwo55iJur9dBeHDpAeMZ6az3dsOKIAxb0jdxcziyhzut9XR2UzAAThWJL+R+RwkCMwgCueaLgmaDg+rtTuPelyeFYzJdPgyTU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:references; b=G482CjPNKMkABKZCmpeuVwAf0e47iZpy/uDo9ib0fKyPtj4DgSujvtxudhgL+aM+uP2KLlUiMREShhJak093rVDP2RLIq//gLSYmaVMedoN+CAobmL40MR34c4Sj5D1mCMlv81ph2hpcLcVUVdzw4sDSc4Wdx9RvspeuwnTUru8= Received: by 10.114.198.1 with SMTP id v1mr1311223waf.1175373458799; Sat, 31 Mar 2007 13:37:38 -0700 (PDT) Received: by 10.115.55.9 with HTTP; Sat, 31 Mar 2007 13:37:38 -0700 (PDT) Message-ID: <6120f6690703311337i2182271ao2d7e743bf14f589f@mail.gmail.com> Date: Sat, 31 Mar 2007 21:37:38 +0100 From: "=?ISO-8859-1?Q?D=E1rio_Abdulrehman?=" To: caml-list@inria.fr Subject: Re: [Caml-list] Possible bug in DynArray module from ExtLib In-Reply-To: <87irchm9sf.fsf@mid.deneb.enyo.de> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_88664_2261378.1175373458760" References: <6120f6690703311115p78e1a981h1c8fe849c8d36742@mail.gmail.com> <87irchm9sf.fsf@mid.deneb.enyo.de> X-j-chkmail-Score: MSGID : 460EC695.000 on discorde : j-chkmail score : XX : 0/20 2 0.000 -> 2 X-Miltered: at discorde with ID 460EC695.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bug:01 arrays:01 ocaml's:01 arrays:01 ocaml's:01 rio:98 rio:98 wrote:01 wrote:01 exception:01 exception:01 caml-list:01 functions:01 functions:01 florian:03 ------=_Part_88664_2261378.1175373458760 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline I took a look at the DynArray implementation and it seems to be that. On 3/31/07, Florian Weimer wrote: > > * D=E1rio Abdulrehman: > > > The first of the following functions causes a "Fatal error: exception > > Out_of_memory", while the second works fine. > > This error seems to occur when creating large arrays with more than 2 > > million and something entries. > > The exponential resizer probably exceeds Ocaml's array length limit, > while direct creation does not. > --=20 D=E1rio Abdulrehman ------=_Part_88664_2261378.1175373458760 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline I took a look at the DynArray implementation and it seems to be that.
On 3/31/07, Florian Weimer <fw@deneb.enyo.= de > wrote:
* D=E1rio Abdulrehman:

> The first of the following functions ca= uses a "Fatal error: exception
> Out_of_memory", while the second works fine.
> This err= or seems to occur when creating large arrays with more than 2
> milli= on and something entries.

The exponential resizer probably exceeds O= caml's array length limit,
while direct creation does not.



--
D=E1rio Abdulrehman ------=_Part_88664_2261378.1175373458760--