From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id E89A0BB84 for ; Sat, 20 May 2006 21:51:23 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4KJpN6D028168 for ; Sat, 20 May 2006 21:51:23 +0200 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 VAA12227 for ; Sat, 20 May 2006 21:51:22 +0200 (MET DST) Received: from osiris.uid0.sk (osiris.uid0.sk [62.168.97.100]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4KJpLQl015289 for ; Sat, 20 May 2006 21:51:22 +0200 Received: from osiris.uid0.sk (localhost [127.0.0.1]) by nod32.uid0.sk (Postfix) with ESMTP id 6C7C187C16C; Sat, 20 May 2006 21:52:46 +0200 (CEST) X-Virus-Scanner: This message was checked by NOD32 Antivirus system NOD32 for Linux Mail Server. For more information on NOD32 Antivirus System, please, visit our website: http://www.nod32.com/ Received: by osiris.uid0.sk (Postfix, from userid 1002) id 5E73C87C0C3; Sat, 20 May 2006 21:52:46 +0200 (CEST) Date: Sat, 20 May 2006 21:52:46 +0200 From: Jozef Kosoru To: Brian Hurt Cc: caml-list@inria.fr Subject: Re: [Caml-list] Array 4 MB size limit Message-ID: <20060520195246.GE32550@osiris.uid0.sk> References: <20060515141230.ajyupn2z28k0484s@horde.akalin.cx> <446986DF.1070308@inria.fr> <446D5E4A.8060005@akalin.cx> <20060519162844.GA32550@osiris.uid0.sk> <20060520090826.GB32550@osiris.uid0.sk> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.4.2.1i X-Miltered: at nez-perce with ID 446F733B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 446F733A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 20,:98 2006:98 2050:98 centuries:98 wrote:01 caml-list:01 argument:01 water:98 bytes:03 perhaps:04 consumers:95 brian:04 unlikely:04 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Sat, May 20, 2006 at 09:02:56 -0400, Brian Hurt wrote: > >Sure. Average consumers in 20 years, servers in 15 years and OCaml > >users in 5 years (remember N-10!). > > No. Ocaml users in about 20 years. > > The math: > > [...] > > Ocaml users actually won't start hitting problems until after that- > probably more like 2050 or so. It's N-10, remember? It's not until > memory sizes start hitting the peta-byte sizes- 2^51 elements being > held in 2^54 bytes of memory, that 64-bit Ocaml starts hitting > problems. 10 bits out of 32 is a much larger percentage than 10 bits > out of 64. > > [...] > > And remember that this is assuming that Moore's law continues in it's > exponential pace for the next 50-odd years or more. I'd have to rate > this as *highly* unlikely. If we fall off of the exponential growth > curve at any point much before 2040 or so, the switch to 128-bit > architectures may not happen (or may not happen for centuries). > > Sorry, the alarmist "if 32 bits isn't enough, than neither is 64!" > argument doesn't hold water. Ok, perhaps you are correct. But that doesn't help programmers facing this problem on 32-bit x86 architecture now. -- jozef kosoru http://zyzstar.kosoru.com