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