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.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 9CDFABBCA for ; Wed, 7 May 2008 20:46:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlEDAIuVIUjAXQImiGdsb2JhbACDHY5lAQEBDyCVDIZE X-IronPort-AV: E=Sophos;i="4.27,450,1204498800"; d="scan'208";a="10491700" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 07 May 2008 20:46:52 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m47Ikpm5023551 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 7 May 2008 20:46:52 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYGAD+WIUhA6aq/d2dsb2JhbACDHY5lAQwFAgQJDwWVBoZE X-IronPort-AV: E=Sophos;i="4.27,450,1204498800"; d="scan'208";a="25940800" Received: from rn-out-0910.google.com ([64.233.170.191]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 May 2008 20:46:51 +0200 Received: by rn-out-0910.google.com with SMTP id i6so153824rng.2 for ; Wed, 07 May 2008 11:46:50 -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:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=WnP1Owz3Oi32cO4KyMmb+nGmeZglz+EUA54rDfFMc9s=; b=we3wWz/fVw0wu/fAe44bAZi4p6EjpLM4ES12/Zi2+xGq3wmeQ1ezuryNvfZ/RK0/a6Ztlsi950dstaLp4EFZ70ANl5LcJgxa4r390Gbv2VMMtJmxu+PQT8sYgS0wRbuQxsRfmqnJLtEYff8rVInKvfSRJmB+d1NhAE3LQROMm4A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=krR8IQJhm55DyUFfJtUucY1t4tJjruenBYryuGEMfBYYXGDn3VxdRfDssQ5FgYUVJtnp8l73PDzVK4YsJIiscC0NQckL1PSqNZCAqokfDdXYS8z72yla4HGgkYlgi8+JocdTsTsk3fpUL99uPMwXQgrJUHugraakNI8cf8N0sxE= Received: by 10.142.207.8 with SMTP id e8mr998404wfg.243.1210186009555; Wed, 07 May 2008 11:46:49 -0700 (PDT) Received: by 10.143.17.15 with HTTP; Wed, 7 May 2008 11:46:49 -0700 (PDT) Message-ID: Date: Wed, 7 May 2008 14:46:49 -0400 From: "Markus Mottl" To: "Richard Jones" Subject: Re: [Caml-list] ocamlc.opt tries to allocate 34 GB of RAM ... and fails Cc: "Romain Beauxis" , caml-list@inria.fr In-Reply-To: <20080507183424.GA24624@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20080507170149.GA21077@annexia.org> <04bfd9a7e0fb697f30fc7376d28b8fa5@localhost> <20080507183424.GA24624@annexia.org> X-Miltered: at discorde with ID 4821F91B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 ocamlc:01 aligned:01 mottl's:01 bug:01 ocaml:01 wrote:01 caml-list:01 caml:02 essentially:02 sparse:04 generally:04 On Wed, May 7, 2008 at 2:34 PM, Richard Jones wrote: > Also I checked the source to our caml_aligned_mmap function and it is > essentially the same as Markus Mottl's version in his comment in that > thread (this has been reported in 3.10.1 & 3.10.2). It even includes > a reference to that bug, indicating that the version we are using > includes this patch. Note that the patch does not guarantee anything. The mmap system call only considers the passed address as a hint, there is no guarantee that it will actually use it. This may be highly kernel-dependent. Note, too, that the upcoming OCaml-release will (probably) feature improved page table handling using sparse representations, thus solving this problem generally. Regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com