[Caml-list] opteron query + whining about array size limit

[Caml-list] opteron query + whining about array size limit

[Kevin Lang]

[-- Attachment #1: Type: text/plain, Size: 561 bytes --]

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.


[-- Attachment #2: Type: text/html, Size: 1005 bytes --]

Re: [Caml-list] opteron query + whining about array size limit

[Xavier Leroy]

> 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