From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id DAF56BC88 for ; Fri, 4 Feb 2005 12:12:42 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j14BCgwL014588 for ; Fri, 4 Feb 2005 12:12:42 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA17498 for ; Fri, 4 Feb 2005 12:12:42 +0100 (MET) Received: from smtp11.wanadoo.fr (smtp11.wanadoo.fr [193.252.22.31]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j14BCfU5029246 for ; Fri, 4 Feb 2005 12:12:42 +0100 Received: from me-wanadoo.net (unknown [127.0.0.1]) by mwinf1108.wanadoo.fr (SMTP Server) with ESMTP id C61961C000A5 for ; Fri, 4 Feb 2005 12:12:41 +0100 (CET) Received: from nono (ARouen-106-1-2-39.w217-128.abo.wanadoo.fr [217.128.67.39]) by mwinf1108.wanadoo.fr (SMTP Server) with SMTP id 790B51C0009D for ; Fri, 4 Feb 2005 12:12:41 +0100 (CET) X-ME-UUID: 20050204111241495.790B51C0009D@mwinf1108.wanadoo.fr Message-ID: <005501c50aaa$b35d9560$0100a8c0@mshome.net> From: =?iso-8859-1?Q?Fr=E9d=E9ric_Gava?= Cc: References: <20050203233950.GB7121@furbychan.cocan.org><002c01c50a98$84337a00$0100a8c0@mshome.net> <20050204.111102.71086746.oandrieu@nerim.net> Subject: Re: [Caml-list] Estimating the size of the ocaml community Date: Fri, 4 Feb 2005 12:14:31 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 X-Miltered: at concorde with ID 420358AA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 420358A9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; gava:01 gava:01 caml-list:01 ocaml:01 afaik:01 arises:01 ocaml:01 byte:01 byte:01 serialize:01 ...:98 ...:98 marshal:01 strings:01 strings:01 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: > AFAIK Marshal.{to,from}_channel isn't limited by the maximum string > length. >... > Olivier OK. Right but you can not all the time used channels... For TCP/IP, that is possible, but for low level libraries (as MPI, PVM, PUB etc...) you need strings and you are blocked by this limitation (except if you read the values from a file but in this case it is not a fast solution). >It's a problem of the implementation, but one which looks hard to >change. The reason it arises is because each OCaml value has a 4 >byte[*] header, divided into a 1 byte tag, 2 bits for the GC, and the >remaining 22 bits to store the size of the value in words. Since >strings are stored directly in the value (which is very efficient), >they are limited to 4 * (2^22 - 1) bytes ~ 16 MB in size. >... >Richard Jones, CTO Merjis Ltd. Sure it is a hard problem. But I thinks that in the futur (now my bench are not bench of true applications but bench of the limits of the language, values that exceed 16Mo are rare), true scientific applications will need to serialize big values...(big graphs for example) Frédéric Gava