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=2.8 required=5.0 tests=DNS_FROM_RFC_POST,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id AFE69BB84 for ; Tue, 15 Jul 2008 21:38:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkEAHyZfEjRVYT1Y2dsb2JhbACRdjkaBB4DljyGUQ X-IronPort-AV: E=Sophos;i="4.30,368,1212357600"; d="scan'208";a="27351558" Received: from an-out-0708.google.com ([209.85.132.245]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Jul 2008 21:38:15 +0200 Received: by an-out-0708.google.com with SMTP id b2so5141ana.102 for ; Tue, 15 Jul 2008 12:38:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender :to:subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references :x-google-sender-auth; bh=hfHhtV1NBMPkzMswSB/ue5j0pXN1dsgPpSlGVy1PHPs=; b=g0mEpj7LmxAN3EAel5L5Rto15mO97eo1hzlvCJaOgJny73yQwE0t1XClh4Z5hGLPfH lXwTbFGx+6Hx2sU9TBrzr9Sp03e47Izndw02o1hchuq/INtR2VJZSpM8Gwh3Nz9HmPPl yR13jsZKwzdvUZeIE9m9bqBrNtZT4WLcnfO84= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=FDb4lnWeX7PMuxCJT9QDQhBulu16Ik5Mi7jBXRjzdD2ZqP3IwElHGWEajMytOYyCsP haB2WFC419i5PEYZZ/plFAyTaIBzO31MJ+9bjwuXmvONkogBsS8cD6w+PFGjZ9macjxT tiTSaxERRqovSaPQ7N3rUVVyBMqdm3KbGcmgU= Received: by 10.100.125.12 with SMTP id x12mr129128anc.159.1216150694382; Tue, 15 Jul 2008 12:38:14 -0700 (PDT) Received: by 10.100.196.1 with HTTP; Tue, 15 Jul 2008 12:38:13 -0700 (PDT) Message-ID: Date: Tue, 15 Jul 2008 15:38:13 -0400 From: "Jean Krivine" Sender: jean.krivine@gmail.com To: "Andres Varon" Subject: Re: [Caml-list] memory usage Cc: "Richard Jones" , caml-list@yquem.inria.fr In-Reply-To: <5A27A5ED-C5A2-47E4-9C90-E7F72DB07891@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20080711220106.GA16853@annexia.org> <5A27A5ED-C5A2-47E4-9C90-E7F72DB07891@gmail.com> X-Google-Sender-Auth: 1816c21cc52d1db1 X-Spam: no; 0.00; krivine:01 krivine:01 ocaml:01 compiler:01 findlib:01 compiler:01 patching:01 -prefix:01 ocaml:01 ocamlopt:01 malloc:01 malloc:01 bug:01 beginner's:01 bug:01 I'd be glad to try the patch if you could post it somewhere! J On Tue, Jul 15, 2008 at 3:31 PM, Andres Varon wrote: > Hello Jean, > > There is no 64-bit native OCaml compiler for Mac OS X intel. I have a patch > that works in Leopard, but did not compile opt.opt in Tiger, meaning that > something is not OK, so I did not offer it to the community. The bootstrap > went fine, findlib and godi compiled OK too. I can post the patches > somewhere if you want to give it a shot. > > My memory intensive application runs fine in Leopard with this compiler. But > the binaries do not execute in Tiger (I found that other people had the same > trouble copying a 64 bit apps from Leopard to Tiger and the other way > around, but didn't look into it). > > If you want it ... I can post it, maybe someone can cleanup my job? All that > would be needed after patching is: > > ./configure -host x86_64-apple-darwin -prefix /opt/ocaml/experimental > > (The prefix I always add for my ocaml-modified comilers). > > best, > > Andres > > On Jul 15, 2008, at 1:06 PM, Jean Krivine wrote: > >> Dear all >> >> I downloaded the last version of ocaml (3.10.2) but I must confess I >> don't know what option I should pass to the compiler to make a binary >> that uses 64 bits. >> I tried naively ocamlopt -ccopt -arch -ccopt x86_64 but that doesn't >> work. Any idea? >> >> >> >> On Fri, Jul 11, 2008 at 6:01 PM, Richard Jones wrote: >>> >>> On Fri, Jul 11, 2008 at 03:49:26PM -0400, Jean Krivine wrote: >>>> >>>> I am trying to run a stochastic simulator (written in ocaml) on a huge >>>> data set and I have the following error message: >>> >>> I can confirm that OCaml works fine with huge datasets, on 64 bit >>> platforms anyway. >>> >>>> sim(9595) malloc: *** mmap(size=1048576) failed (error code=12) >>>> *** error: can't allocate region >>>> *** set a breakpoint in malloc_error_break to debug >>>> Fatal error: out of memory. >>>> >>>> My system: >>>> >>>> Mac Pro running OS X 10.5.4 >>>> Processor: 2 x 2.8 GHz Quad-Core Intel Xeon >>>> Memory: 10 GB 800 MHz DDR2 FB-DIMM >>>> >>>> Does someone know what happened? Do you have any idea of any parameter >>>> I could tune in order to avoid that? >>> >>> Is the compiler 32 bits or 64 bits on this machine? Try doing: >>> >>> $ ocaml >>> # Sys.word_size ;; >>> >>> It should print out either '32' or '64'. >>> >>> Also run your program under whatever the OS X equivalent of 'strace' >>> is (ktrace?) to find out exactly why the mmap call fails. >>> >>> OCaml <= 3.10.2 on Linux suffers a nasty problem with its use of mmap >>> and randomized address spaces >>> (https://bugzilla.redhat.com/show_bug.cgi?id=445545#c9) but it doesn't >>> seem like this is the same issue. >>> >>> Rich. >>> >>> -- >>> Richard Jones >>> Red Hat >>> >>> _______________________________________________ >>> Caml-list mailing list. Subscription management: >>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list >>> Archives: http://caml.inria.fr >>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >>> Bug reports: http://caml.inria.fr/bin/caml-bugs >>> >> >> _______________________________________________ >> Caml-list mailing list. Subscription management: >> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list >> Archives: http://caml.inria.fr >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners >> Bug reports: http://caml.inria.fr/bin/caml-bugs > >