Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Utilizing more than 4GB of memory in caml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-08-14 (16:30)
From: Koprowski, A. <A.Koprowski@t...>
Subject: RE: [Caml-list] Utilizing more than 4GB of memory in caml?

  Dear Lionel,
 Thank you so much for your detailed instructions and help! And indeed you are completely right, it's not a x86, I don't know what led me to believe it was. And yes, we are talking about elephant here :-). All in all, thank you so much for your time and help. I'll try to apply your hints tomorrow and see whether I can get a 64-bit ocaml application up and running.

  Best wishes,

-----Original Message-----
From: Richard Jones []
Sent: Tue 8/14/2007 18:25
To: Lionel Elie Mamane; Koprowski, A.;
Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml?
On Tue, Aug 14, 2007 at 06:17:41PM +0200, Lionel Elie Mamane wrote:
> On Tue, Aug 14, 2007 at 04:36:27PM +0200, Koprowski, A. wrote:
> >> -----Original Message-----
> >> From: Lionel Elie Mamane []
> >> On Tue, Aug 14, 2007 at 04:16:14PM +0200, Koprowski, A. wrote:
> >>>  I have a 32-bit linux machine with 48-bit addressing of its 128GB
> >>>  of RAM. I'd very much like to use this amount of memory; however
> >>>  I get Out_of_memory exception after ocaml consumes 4GB. Is there
> >>>  anything can do to get my hands on more than 
> >> Run a 64 bit GNU/Linux on that machine, (...)
> >   Thanks for the suggestion but I'm afraid I cannot do that. This is
> > a faculty server to which I only have a user access.
> Type:
>  uname -m
> in a shell. If the answer is x86_64, there are things you can do. If
> it says i386, i486 or i686, all you can do is complain to the system
> administrator (if you are in informatica, I presume that would be bcf
> in room HG 8.73 - 8th floor of Hoofdgebouw; is the machine by any
> chance elephant?).
> In case of x86_64: How much manual hacking are you willing to do?

Is this machine really x86-based?  32-bit x86 machines have at most
36-bit addresses (through PAE), although that is only usable through
page tables, not to ordinary user processes.  64-bit x86-64 machines
have 48-bit addressing in current incarnations so if they are running
a 32-bit kernel or a 32-bit Xen domain they may fit the description,
but the original poster is still s.o.l.  My bet though is it's not x86
at all.


Richard Jones
Red Hat