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 WAA04579; Fri, 13 Jun 2003 22:36:43 +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 WAA05022 for ; Fri, 13 Jun 2003 22:36:42 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from msweep1.Corpsys.P4pnet.net (outsmtp-corp.overture.com [216.52.229.76]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h5DKaeH29950 for ; Fri, 13 Jun 2003 22:36:40 +0200 (MET DST) Received: from PASEXCHG-1.Search.Corpsys.P4pnet.net (clster-1.search.corpsys.p4pnet.net) by msweep1.Corpsys.P4pnet.net (Content Technologies SMTPRS 4.2.10) with ESMTP id for ; Fri, 13 Jun 2003 13:36:34 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.0.6249.0 content-class: urn:content-classes:message Subject: [Caml-list] opteron query + whining about array size limit Date: Fri, 13 Jun 2003 13:36:34 -0700 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C331EB.7AC55376" Message-ID: Thread-Topic: opteron query + whining about array size limit Thread-Index: AcMx63q2TwCwuaiERq+oQzEyhJqCbA== From: "Kevin Lang" To: X-Spam: no; 0.00; overture:99 whining:01 ocamlopt:01 ocaml's:01 slower:01 workarounds:01 bigarrays:01 arrays:01 backend:01 -bit:01 native:02 btw:03 array:04 ugly:05 internet:94 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This is a multi-part message in MIME format. ------_=_NextPart_001_01C331EB.7AC55376 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Is an Opteron backend for ocamlopt in the works? Given that we deal with very large graphs here at Overture (an internet search company), I have been frustrated by Ocaml's 2^22 maximum dimension for native arrays on a 32-bit machine. I tried using our 64-bit Itanium, but it is 10 times slower than our 32-bit Intel machines, so I have stuck with the latter using ugly workarounds like 2-level native arrays and bigarrays of integer indexes. BTW, we don't actually have an Opteron box yet, but it is quite likely that we will be getting one. ------_=_NextPart_001_01C331EB.7AC55376 Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable opteron query + whining about array size limit

Is an Opteron backend for ocamlopt in the works?

Given that we deal with very large graphs here at
Overture (an internet search company), I have been
frustrated by Ocaml's 2^22 maximum dimension for
native arrays on a 32-bit machine.

I tried using our 64-bit Itanium, but it is 10 times
slower than our 32-bit Intel machines, so I have stuck
with the latter using ugly workarounds like 2-level native
arrays and bigarrays of integer indexes.

BTW, we don't actually have an Opteron box yet, but it is
quite likely that we will be getting one.

------_=_NextPart_001_01C331EB.7AC55376-- ------------------- 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 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 OAA21889; Sat, 14 Jun 2003 14:41:18 +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 OAA21782 for ; Sat, 14 Jun 2003 14:41:17 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h5ECfEH25861; Sat, 14 Jun 2003 14:41:14 +0200 (MET DST) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA21494; Sat, 14 Jun 2003 14:41:13 +0200 (MET DST) Date: Sat, 14 Jun 2003 14:41:13 +0200 From: Xavier Leroy To: Kevin Lang Cc: caml-list@inria.fr Subject: Re: [Caml-list] opteron query + whining about array size limit Message-ID: <20030614144113.A21968@pauillac.inria.fr> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0i In-Reply-To: ; from Kevin.Lang@Overture.com on Fri, Jun 13, 2003 at 01:36:34PM -0700 X-Spam: no; 0.00; caml-list:01 whining:01 ocamlopt:01 backend:01 btw:03 account:96 array:04 quite:06 i've:09 decent:09 port:10 sort:11 generating:11 actually:11 likely:12 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Is an Opteron backend for ocamlopt in the works? Sort of. I did a proof-of-concept x86_64 port of ocamlopt when the specs were published. Since then, I've been waiting to get my hands on actual hardware. This promises to be a "good" port of ocamlopt: easy to do and generating code of decent quality. Nothing like the IA64 port :-) > BTW, we don't actually have an Opteron box yet, but it is > quite likely that we will be getting one. If you (or any other reader of this list) are willing to give me an account accessible via ssh, I'll do the port. - Xavier Leroy ------------------- 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