From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 9D5A2BC69 for ; Tue, 14 Aug 2007 16:16:16 +0200 (CEST) Received: from mailhost.tue.nl (mailhost.tue.nl [131.155.3.8]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7EEGFlM027206 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 14 Aug 2007 16:16:16 +0200 Received: from localhost (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id 8C65E6D783 for ; Tue, 14 Aug 2007 16:16:15 +0200 (CEST) X-Virus-Scanned: amavisd-new at tue.nl Received: from mailhost.tue.nl ([131.155.3.8]) by localhost (kweetal.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 4uMOHLzUPuA5 for ; Tue, 14 Aug 2007 16:16:15 +0200 (CEST) Received: from EXCHANGE3.campus.tue.nl (xserver4.campus.tue.nl [131.155.6.7]) by mailhost.tue.nl (Postfix) with ESMTP id 3D2166D5D0 for ; Tue, 14 Aug 2007 16:16:15 +0200 (CEST) X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----_=_NextPart_001_01C7DE7D.AC67F7D4" Subject: Utilizing more than 4GB of memory in caml? Date: Tue, 14 Aug 2007 16:16:14 +0200 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Utilizing more than 4GB of memory in caml? Thread-Index: Acfefaweq2G4H4UBTleGBsWx2Le/hQ== From: "Koprowski, A." To: X-j-chkmail-Score: MSGID : 46C1B92F.001 on discorde : j-chkmail score : XXXX : 5/20 2 0.000 -> 4 X-Miltered: at discorde with ID 46C1B92F.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.03; ocaml:01 eindhoven:01 ocaml:01 eindhoven:01 ieooui:98 exception:01 exception:01 caml:02 black:96 black:96 arial:96 arial:96 utilizing:96 roman:94 multi-part:94 This is a multi-part message in MIME format. ------_=_NextPart_001_01C7DE7D.AC67F7D4 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable Hello, 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 I can do to get my hands on more than 4GB? Thanks a lot in advance! Greetings, Adam =20 -- =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Adam Koprowski, (A.Koprowski@tue.nl, http://www.win.tue.nl/~akoprows) Department of Mathematics and Computer Science Eindhoven University of Technology (TU/e) The difference between impossible and possible lies in determination Tommy Lasorda=20 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D =20 ------_=_NextPart_001_01C7DE7D.AC67F7D4 Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: quoted-printable

= Hello,

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 = I can do to get my hands on more than 4GB?
Thanks a lot in advance!

Greetings,

Adam

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D

Adam Koprowski, (A.Koprowski@tue.nl, http://www.win.tue.nl/~akoprows= )

Department of Mathematics and Computer = Science

Eindhoven University of Technology (TU/e)

The difference between impossible and possible lies = in determination

Tommy Lasorda =

------_=_NextPart_001_01C7DE7D.AC67F7D4-- From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr 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 CE484BC69 for ; Tue, 14 Aug 2007 16:34:26 +0200 (CEST) Received: from capsaicin.mamane.lu (5.xs4all.nl [82.95.233.223]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7EEYOH9020997 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Tue, 14 Aug 2007 16:34:26 +0200 Received: from master by capsaicin.mamane.lu with local (Exim 4.67) (envelope-from ) id 1IKxTT-0007lt-Ms; Tue, 14 Aug 2007 16:34:23 +0200 Date: Tue, 14 Aug 2007 16:34:23 +0200 From: Lionel Elie Mamane To: "Koprowski, A." Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml? Message-ID: <20070814143423.GA29829@capsaicin.mamane.lu> Mail-Followup-To: Lionel Elie Mamane , "Koprowski, A." , caml-list@yquem.inria.fr References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Operating-System: GNU/Linux X-Request-PGP: http://www.mamane.lu/openpgp/rsa_v4_4096.asc User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at concorde with ID 46C1BD70.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 ocaml:01 wrote:01 exception:01 caml-list:01 boot:01 caml:02 kernel:02 utilizing:96 gnu:03 tue:06 i'd:06 linux:07 linux:07 lionel:07 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 I > can do to get my hands on more than 4GB? Run a 64 bit GNU/Linux on that machine, either as the master system or in a chroot (requires the master system to boot on a 64 bit kernel) or a virtualised machine. -- Lionel From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 5C6E8BC69 for ; Tue, 14 Aug 2007 18:17:42 +0200 (CEST) Received: from capsaicin.mamane.lu (5.xs4all.nl [82.95.233.223]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7EGHflU025789 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Tue, 14 Aug 2007 18:17:42 +0200 Received: from master by capsaicin.mamane.lu with local (Exim 4.67) (envelope-from ) id 1IKz5R-0003To-Bv; Tue, 14 Aug 2007 18:17:41 +0200 Date: Tue, 14 Aug 2007 18:17:41 +0200 From: Lionel Elie Mamane To: "Koprowski, A." Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml? Message-ID: <20070814161741.GA8221@capsaicin.mamane.lu> Mail-Followup-To: Lionel Elie Mamane , "Koprowski, A." , caml-list@yquem.inria.fr References: <20070814143423.GA29829@capsaicin.mamane.lu> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Operating-System: GNU/Linux X-Request-PGP: http://www.mamane.lu/openpgp/rsa_v4_4096.asc User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at discorde with ID 46C1D5A5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 0200,:01 ocaml:01 uname:01 lib:01 lib:01 usr:01 usr:01 libc:01 libc:01 gcc:01 ocaml:01 ocaml's:01 gcc:01 elephant:98 On Tue, Aug 14, 2007 at 04:36:27PM +0200, Koprowski, A. wrote: >> -----Original Message----- >> From: Lionel Elie Mamane [mailto:lionel@mamane.lu] >> 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? The 32 bit GNU/Linux installation installed may be a mixed 32/64 installation. Look whether it contains /lib64/ld-linux-x86-64.so.2 or /lib/ld-linux-x86-64.so.2 or /usr/lib/ld-linux-x86-64.so.2 or /usr/lib64/ld-linux-x86-64.so.2 . If it does, look for /lib64/libc.so.6 or /usr/lib64/libc.so.6 . Their presence means you can _run_ 64 bit binaries. Then, see whether the gcc installed can produce 64 binaries (option -m64). If both of these tests are positive, you can compile a 64 bit OCaml (force OCaml's make system to use the -m64 option to gcc and force it to produce OCaml compilers for the x86_64 architecture instead of i386; details of how to do that left for you to find out) and run it. If these tests are negative (or one of them is), you can: - if the gcc cannot build 64 bit binaries, compile a gcc that can (http://gcc.gnu.org/) and install it in your home. - if there is no 64 bit libc installed, compile it and install it in your home. You may have to set LD_LIBRARY_PATH and/or execute your 64 bit binaries with "$HOME/usr/lib/ld-linux-x86-64.so.2 EXECUTABLE" instead of with "EXECUTABLE". Again, details left for you to discover. -- Lionel From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 9D997BC69 for ; Tue, 14 Aug 2007 18:26:37 +0200 (CEST) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7EGQbbX028441 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Tue, 14 Aug 2007 18:26:37 +0200 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1IKzDT-0001zj-00; Tue, 14 Aug 2007 17:25:59 +0100 Date: Tue, 14 Aug 2007 17:25:59 +0100 To: Lionel Elie Mamane , "Koprowski, A." , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml? Message-ID: <20070814162559.GB1651@furbychan.cocan.org> References: <20070814143423.GA29829@capsaicin.mamane.lu> <20070814161741.GA8221@capsaicin.mamane.lu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20070814161741.GA8221@capsaicin.mamane.lu> User-Agent: Mutt/1.5.9i From: Richard Jones X-Miltered: at discorde with ID 46C1D7BD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 0200,:01 ocaml:01 uname:01 elephant:98 pae:98 wrote:01 wrote:01 exception:01 caml-list:01 caml:02 usable:02 kernel:02 utilizing:96 suggestion:03 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 [mailto:lionel@mamane.lu] > > >> 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. Rich. -- Richard Jones Red Hat From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr 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 85E91BC69 for ; Tue, 14 Aug 2007 18:30:32 +0200 (CEST) Received: from mailhost.tue.nl (mailhost.tue.nl [131.155.3.8]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7EGUVOI003634 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 14 Aug 2007 18:30:32 +0200 Received: from localhost (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id B6D2E6DA14; Tue, 14 Aug 2007 18:30:31 +0200 (CEST) X-Virus-Scanned: amavisd-new at tue.nl Received: from mailhost.tue.nl ([131.155.3.8]) by localhost (kweetal.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id EMrJiwPXsTcm; Tue, 14 Aug 2007 18:30:31 +0200 (CEST) Received: from EXCHANGE3.campus.tue.nl (xserver4.campus.tue.nl [131.155.6.7]) by mailhost.tue.nl (Postfix) with ESMTP id 807EC6D9FB; Tue, 14 Aug 2007 18:30:31 +0200 (CEST) X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Utilizing more than 4GB of memory in caml? Date: Tue, 14 Aug 2007 18:28:38 +0200 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] Utilizing more than 4GB of memory in caml? Thread-Index: Acfej+YLJEc5Ul6vT2m9RC6GXz/1sgAAEUIn References: <20070814143423.GA29829@capsaicin.mamane.lu> <20070814161741.GA8221@capsaicin.mamane.lu> <20070814162559.GB1651@furbychan.cocan.org> From: "Koprowski, A." To: "Richard Jones" , "Lionel Elie Mamane" , X-Miltered: at concorde with ID 46C1D8A7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 0200,:01 0200,:01 ocaml:01 uname:01 elephant:98 elephant:98 pae:98 wrote:01 wrote:01 exception:01 caml-list:01 caml-list:01 caml:02 caml:02 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, Adam -----Original Message----- From: Richard Jones [mailto:rich@annexia.org] Sent: Tue 8/14/2007 18:25 To: Lionel Elie Mamane; Koprowski, A.; caml-list@yquem.inria.fr Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml? =20 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: >=20 > >> -----Original Message----- > >> From: Lionel Elie Mamane [mailto:lionel@mamane.lu] >=20 > >> On Tue, Aug 14, 2007 at 04:16:14PM +0200, Koprowski, A. wrote: >=20 > >>> 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=20 >=20 > >> Run a 64 bit GNU/Linux on that machine, (...) >=20 > > 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. >=20 > 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?). >=20 > 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. Rich. --=20 Richard Jones Red Hat From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr 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 BA65BBC69 for ; Tue, 14 Aug 2007 18:53:19 +0200 (CEST) Received: from capsaicin.mamane.lu (5.xs4all.nl [82.95.233.223]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7EGrIXZ012690 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Tue, 14 Aug 2007 18:53:19 +0200 Received: from master by capsaicin.mamane.lu with local (Exim 4.67) (envelope-from ) id 1IKzds-0003s2-AT; Tue, 14 Aug 2007 18:53:16 +0200 Date: Tue, 14 Aug 2007 18:53:16 +0200 From: Lionel Elie Mamane To: "Koprowski, A." Cc: Richard Jones , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml? Message-ID: <20070814165316.GA14379@capsaicin.mamane.lu> Mail-Followup-To: Lionel Elie Mamane , "Koprowski, A." , Richard Jones , caml-list@yquem.inria.fr References: <20070814143423.GA29829@capsaicin.mamane.lu> <20070814161741.GA8221@capsaicin.mamane.lu> <20070814162559.GB1651@furbychan.cocan.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-Operating-System: GNU/Linux X-Request-PGP: http://www.mamane.lu/openpgp/rsa_v4_4096.asc User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at concorde with ID 46C1DDFF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 cpuinfo:01 userland:01 0200,:01 ocaml:01 uname:01 elephant:98 pae:98 wrote:01 wrote:01 compilers:01 exception:01 caml-list:01 caml-list:01 caml:02 On Tue, Aug 14, 2007 at 06:28:38PM +0200, Koprowski, A. wrote: > 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. Oh, now you got me all curious. What architecture is it then? Sparc, maybe? I had assumed it was an amd64/x86-64 and that the GNU/Linux installed on it was a 32 bit one. Make me drool a bit, show me /proc/cpuinfo . Ah yes, it makes sense now. Contrary to amd64, as far as I know most GNU/Linux sparc64 installations have a 32 bit userland, but 64 bit kernel, libraries and compilers ready for programs that benefit from it. > -----Original Message----- > From: Richard Jones [mailto:rich@annexia.org] > Sent: Tue 8/14/2007 18:25 > To: Lionel Elie Mamane; Koprowski, A.; caml-list@yquem.inria.fr > 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 [mailto:lionel@mamane.lu] > > > > >> 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. > > Rich. > From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr 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 467FCBC69 for ; Wed, 15 Aug 2007 03:07:48 +0200 (CEST) Received: from ipmail01.adl2.internode.on.net (ipmail01.adl2.internode.on.net [203.16.214.140]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7F17jLg006256 for ; Wed, 15 Aug 2007 03:07:47 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAFbuwUZ5LGJp/2dsb2JhbAAN X-IronPort-AV: E=Sophos;i="4.19,262,1183300200"; d="scan'208";a="172751698" Received: from ppp121-44-98-105.lns10.syd6.internode.on.net (HELO [192.168.1.201]) ([121.44.98.105]) by ipmail01.adl2.internode.on.net with ESMTP; 15 Aug 2007 10:37:18 +0930 Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml? From: skaller To: Lionel Elie Mamane Cc: "Koprowski, A." , caml-list@yquem.inria.fr, Richard Jones In-Reply-To: <20070814165316.GA14379@capsaicin.mamane.lu> References: <20070814143423.GA29829@capsaicin.mamane.lu> <20070814161741.GA8221@capsaicin.mamane.lu> <20070814162559.GB1651@furbychan.cocan.org> <20070814165316.GA14379@capsaicin.mamane.lu> Content-Type: text/plain Date: Wed, 15 Aug 2007 11:07:14 +1000 Message-Id: <1187140034.6101.3.camel@rosella.wigram> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46C251E1.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 0200,:01 elephant:98 sourceforge:01 wrote:01 wrote:01 caml-list:01 caml:02 utilizing:96 86,:04 dec:05 tue:06 tue:06 lionel:07 indeed:07 On Tue, 2007-08-14 at 18:53 +0200, Lionel Elie Mamane wrote: > On Tue, Aug 14, 2007 at 06:28:38PM +0200, Koprowski, A. wrote: > > > 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. > > Oh, now you got me all curious. What architecture is it then? Sparc, > maybe? My bets on the Elephant are to "DEC Alpha" -- John Skaller Felix, successor to C++: http://felix.sf.net From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr 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 D9446BC69 for ; Wed, 15 Aug 2007 06:46:14 +0200 (CEST) Received: from capsaicin.mamane.lu (5.xs4all.nl [82.95.233.223]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l7F4kExJ030045 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NO) for ; Wed, 15 Aug 2007 06:46:14 +0200 Received: from master by capsaicin.mamane.lu with local (Exim 4.67) (envelope-from ) id 1ILAlp-0006Af-DF; Wed, 15 Aug 2007 06:46:13 +0200 Date: Wed, 15 Aug 2007 06:46:13 +0200 From: Lionel Elie Mamane To: skaller Cc: caml-list@yquem.inria.fr, Richard Jones Subject: Re: [Caml-list] Utilizing more than 4GB of memory in caml? Message-ID: <20070815044613.GA23673@capsaicin.mamane.lu> Mail-Followup-To: Lionel Elie Mamane , skaller , caml-list@yquem.inria.fr, Richard Jones References: <20070814143423.GA29829@capsaicin.mamane.lu> <20070814161741.GA8221@capsaicin.mamane.lu> <20070814162559.GB1651@furbychan.cocan.org> <20070814165316.GA14379@capsaicin.mamane.lu> <1187140034.6101.3.camel@rosella.wigram> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1187140034.6101.3.camel@rosella.wigram> X-Operating-System: GNU/Linux X-Request-PGP: http://www.mamane.lu/openpgp/rsa_v4_4096.asc User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at concorde with ID 46C28516.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 0200,:01 cpuinfo:01 elephant:98 wrote:01 wrote:01 caml-list:01 caml:02 utilizing:96 86,:04 dec:05 tue:06 tue:06 wed:06 lionel:07 On Wed, Aug 15, 2007 at 11:07:14AM +1000, skaller wrote: > On Tue, 2007-08-14 at 18:53 +0200, Lionel Elie Mamane wrote: >> On Tue, Aug 14, 2007 at 06:28:38PM +0200, Koprowski, A. wrote: >>> 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. >> Oh, now you got me all curious. What architecture is it then? Sparc, >> maybe? > My bets on the Elephant are to "DEC Alpha" Adam confirmed (by emailing me the /proc/cpuinfo) that it is an amd64/x86-64 machine. So it is x86 after all :) -- Lionel