From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0F1DC820A1 for ; Mon, 19 Aug 2013 13:39:36 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mshinwell@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mshinwell@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="mshinwell@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tot-dmz-mxout1.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mshinwell@janestreet.com"; x-sender="postmaster@tot-dmz-mxout1.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocBAO8CElImacjlnGdsb2JhbABbhA2CU7xdgRkeDgEBAQEBBg0JCRQogiQBAQVAAQE3AQ8LCw0uIQESAQUBHAYTh34DDwOYPYsLhEcBBYQ7DYhYBo1kgnwHhBKVfoFpjC2DQxYphEM X-IPAS-Result: AocBAO8CElImacjlnGdsb2JhbABbhA2CU7xdgRkeDgEBAQEBBg0JCRQogiQBAQVAAQE3AQ8LCw0uIQESAQUBHAYTh34DDwOYPYsLhEcBBYQ7DYhYBo1kgnwHhBKVfoFpjC2DQxYphEM X-IronPort-AV: E=Sophos;i="4.89,913,1367964000"; d="scan'208";a="24234604" Received: from mx5.janestreet.com (HELO tot-dmz-mxout1.janestreet.com) ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Aug 2013 13:39:34 +0200 Received: from tot-oib-smtp1.delacy.com ([172.27.22.15] helo=tot-smtp) by tot-dmz-mxout1.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1VBNo5-0005wb-3e for caml-list@inria.fr; Mon, 19 Aug 2013 07:39:33 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1VBNo5-0004UL-2U for caml-list@inria.fr; Mon, 19 Aug 2013 07:39:33 -0400 Received: from mail-vc0-f175.google.com ([209.85.220.175]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1VBNo5-0006OA-0Y for caml-list@inria.fr; Mon, 19 Aug 2013 07:39:33 -0400 Received: by mail-vc0-f175.google.com with SMTP id ia10so2871080vcb.6 for ; Mon, 19 Aug 2013 04:39:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=ORyvbw2ycWVRzqw9Z5CxtjZwoP5v/T+cwX7jCz6xQnA=; b=iQ9NB4Ux6TBRJ23LSM6gyU48zgYHuoeovs06pSXWX2MnCjWyPLFPzR0BOwg0SWpTHg LwfGDLh7OAqK9Mr2wtqhTimQlebgqj7v8X55FDGJYl0bM4Hsm1pDTQy5qC/U21t7kfx3 1PhoWUAnXmb0dQkrWnc1nfUqWMyxEvH62W7/M= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=ORyvbw2ycWVRzqw9Z5CxtjZwoP5v/T+cwX7jCz6xQnA=; b=RU2WTj88YryelkYpRE44CFCj1NXbatNN2NOn5MoMIsNPGeHEWMRZDFT0hm8PXizq1d THYpYKq5W+xVWoxPd/CL/KNVl7YCUYqNYTsMsXovDNkYPv6sEk3UXTGyd+nDQIWUgh+w cG7qCLvY9koG6Iu/1DeyN1SALikGBQVkJHhxLmCjcZNYDE7uxNClbOUKfVvWR5+SQzH7 H7lgOJcIeVPfXKAuLKclyiquJYKopq9LMXjjWl3H0TXkhXKR0nB+mTK6kHGmFBaCyax9 EUNqFFbJ9UqkVdybOae2cmXyGtK5zU2UF8bfZi5+RHRbLyrEflKnFFnyEcBwpmu34Jr5 OLgg== X-Received: by 10.220.91.16 with SMTP id k16mr2629958vcm.21.1376912372870; Mon, 19 Aug 2013 04:39:32 -0700 (PDT) X-Gm-Message-State: ALoCoQmNWBIZOmp1O2g/H4+2FvNEk0pCGqSKMqqEEVMnoOJ75OJUGCahB83gA2OQ9K6/uLIIah1gpDjLbnGx8HLcECYKJt8J7BJTh0LyPSlPAPWjQQZ7QnUzgczHWg3cRAvP46vmi7eS3fWudTbZXVygMl667Q+ULw== MIME-Version: 1.0 X-Received: by 10.220.91.16 with SMTP id k16mr2629948vcm.21.1376912372789; Mon, 19 Aug 2013 04:39:32 -0700 (PDT) Received: by 10.58.228.162 with HTTP; Mon, 19 Aug 2013 04:39:32 -0700 (PDT) In-Reply-To: References: <20130818204213.GA7482@siouxsie> <20130818205305.GA7841@siouxsie> <20130818224024.GA10193@siouxsie> <20130819002023.GA11063@siouxsie> Date: Mon, 19 Aug 2013 12:39:32 +0100 Message-ID: From: Mark Shinwell To: Anthony Tavener Cc: oliver , "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: mshinwell@janestreet.com Subject: Re: [Caml-list] Early GC'ing On 19 August 2013 07:43, Anthony Tavener wrote: > What I was hinting at with Gc.full_major (), is that if you still had a > large amount of memory allocated after calling that, I think that means your > program is still holding on to the values somewhere. I'm not sure that is the case. As far as I know offhand, [Gc.full_major] won't cause memory previously occupied by Caml heap pages to be returned to the operating system (and so you'd still see it allocated in top). You would need to call [Gc.compact], which is potentially much more expensive, to achieve that effect. Mark