From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA18688; Thu, 9 Sep 2004 12:42:49 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA19023 for ; Thu, 9 Sep 2004 12:42:48 +0200 (MET DST) Received: from mail.npc.de (fw.npc.de [62.225.140.214]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i89Agl8t025123 for ; Thu, 9 Sep 2004 12:42:48 +0200 Received: from styx.ffm.npc.de (pD9EA68A6.dip.t-dialin.net [217.234.104.166]) by mail.npc.de (Postfix) with ESMTP id 482381821; Thu, 9 Sep 2004 12:42:47 +0200 (CEST) Received: from hera.ffm.npc.de (hera.f.npc.de [192.168.130.8]) by styx.ffm.npc.de (Postfix STYX NPC GmbH) with ESMTP id 90448C437; Thu, 9 Sep 2004 12:42:45 +0200 (CEST) Received: from ares.ffm.npc.de (unknown [192.168.130.32]) by hera.ffm.npc.de (Postfix HERA NPC GmbH) with ESMTP id 8DE92159C9; Thu, 9 Sep 2004 12:42:44 +0200 (CEST) Received: from [192.168.130.32] (unknown [192.168.130.32]) by ares.ffm.npc.de (Postfix ARES NPC GmbH) with ESMTP id 3CFDB1855; Thu, 9 Sep 2004 12:42:44 +0200 (CEST) Subject: Re: [Caml-list] Gripes with array From: Gerd Stolpmann To: Richard Jones Cc: caml-list@inria.fr In-Reply-To: <20040909082354.GA22512@annexia.org> References: <200409090310.29295.jon@jdh30.plus.com> <16704.901.571258.566181@gargle.gargle.HOWL> <20040909082354.GA22512@annexia.org> Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Mailer: Ximian Evolution 1.0.8 Date: 09 Sep 2004 12:42:43 +0200 Message-Id: <1094726564.15641.2.camel@ares> Mime-Version: 1.0 X-Miltered: at concorde with ID 414033A7.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 gerd:01 stolpmann:01 2004:99 2004:99 filliatre:01 pointers:01 byterun:01 mlvalues:01 ocamlnet:01 gerd:01 stolpmann:01 viktoriastr:01 64293:01 darmstadt:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Am Don, 2004-09-09 um 10.23 schrieb Richard Jones: > On Thu, Sep 09, 2004 at 09:17:25AM +0200, Jean-Christophe Filliatre wrote: > > > > Jon Harrop writes: > > > > > > Does anyone have any pointers to information about the origin of the size > > > limit for arrays? I assume it is something to do with the garbage collector > > > using a fixed-size tag instead of a variable-size one but I'd be interested > > > in the details. > > > > In ocaml sources, the file byterun/mlvalues.h gives all details about > > the block header structure. There you can see that, on 32 bits > > architecture, the block size (in words) is stored on 22 bits. And > > indeed Sys.max_array_length is equal to 2^22-1. > > > > But I must agree with you: this is definitely too small and we could > > imagine that, when the tag says a block is an array, the size is > > stored within the first (or the last) field instead. > > I have a similar problem with the maximum size of strings. In > practical terms, it limits the size of file uploads to COCANWIKI to > around 6 MB (ie., not very much) [not the full 16 MB because of > character escaping, but even 16 MB would be far too small]. You can switch to OCamlnet as base library which does not have this limitation. One can directly write the uploaded data to disk. Gerd -- ------------------------------------------------------------ Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany gerd@gerd-stolpmann.de http://www.gerd-stolpmann.de ------------------------------------------------------------ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners