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=1.1 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 70CB9BC69 for ; Wed, 14 Nov 2007 16:56:21 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAEWpOkdA6aazkmdsb2JhbACDJotcAgEBBwIGExaBEQ X-IronPort-AV: E=Sophos;i="4.21,417,1188770400"; d="scan'208";a="19290260" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Nov 2007 16:56:21 +0100 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 lAEFuGOD010365 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 14 Nov 2007 16:56:21 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAEWpOkdA6aazkmdsb2JhbACDJotcAgEBBwIGExaBEQ X-IronPort-AV: E=Sophos;i="4.21,417,1188770400"; d="scan'208";a="19290258" Received: from py-out-1112.google.com ([64.233.166.179]) by mail4-smtp-sop.national.inria.fr with ESMTP; 14 Nov 2007 16:56:19 +0100 Received: by py-out-1112.google.com with SMTP id u52so2818934pyb for ; Wed, 14 Nov 2007 07:56:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=JsvCnhbu54uH81Mr32ikCx/hTXjnuLAyMBQjqrG2aLs=; b=mBvtrriXkXAFeok8P2ncaCMcIdpn1mHoiNTmb8SQPKDCynoCkzLI8McopeIq0EDxboCqlg/+ctL3Arn9JzqI3vZcv0Rn+5pNI43hSJ2jNgayJxvon7a73Dnh+MuHP6WcOm4X86msI+4Npki/sIN7+MwYZjekNyFsJk//u0ctfBs= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=PT5zXLBNEGL4f3tt1RUjKhpz3t1t3GwGLrxLJCa3pFZlwQTNm4dbxnx4/+gzbapRueyHVABak7QCoF9nUOstYS0KzegXFxv0pUacCkI/JGu0N6QbuDRH8qAyueDA/B6ehgPwp8KG0K6XXFo63AmYpG/ryMoE9ymPa8i9Zq2kR+U= Received: by 10.65.103.14 with SMTP id f14mr19380791qbm.1195055775501; Wed, 14 Nov 2007 07:56:15 -0800 (PST) Received: by 10.65.147.12 with HTTP; Wed, 14 Nov 2007 07:56:15 -0800 (PST) Message-ID: Date: Wed, 14 Nov 2007 10:56:15 -0500 From: "Markus Mottl" To: caml-list@inria.fr Subject: Re: [Caml-list] OCaml runtime using too much memory in 64-bit Linux In-Reply-To: <473AF04C.7030107@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <4731F5D1.2070405@janestcapital.com> <1194459622.15728.94.camel@localhost.localdomain> <47320E10.1050307@janestcapital.com> <200711140520.46016.romain.beauxis@gmail.com> <8ef825670711140403m464c01detff5537abb2211946@mail.gmail.com> <473AF04C.7030107@inria.fr> X-Miltered: at discorde with ID 473B1AA0.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 ocaml:01 runtime:01 ocaml:01 wrote:01 caml-list:01 caml:02 fix:05 problem:05 problem:05 implement:06 i'd:06 On 11/14/07, Xavier Leroy wrote: > Concerning this issue with large page tables on 64-bit architectures, > I opened a problem report on the bug-tracking system to help gather > more information. I'd like to ask all members of this list that > reported the problem to kindly visit > > http://caml.inria.fr/mantis/view.php?id=4448 I have just added a small note there describing a very simple fix, which, though it may not be totally general, might be good enough and requires very little effort to implement. If anybody wants to give it a try... Best regards, Markus -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com