From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Tiphaine.Turpin@irisa.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.1 required=5.0 tests=AWL 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 33AC4BBAF
	for <caml-list@yquem.inria.fr>; Thu, 25 Jun 2009 17:37:58 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="4.42,290,1243807200"; 
   d="scan'208";a="42420338"
Received: from arvin.irisa.fr (HELO [131.254.11.86]) ([131.254.11.86])
  by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jun 2009 17:37:57 +0200
Message-ID: <4A4399A2.2090301@irisa.fr>
Date: Thu, 25 Jun 2009 17:37:06 +0200
From: Tiphaine Turpin <Tiphaine.Turpin@irisa.fr>
User-Agent: Thunderbird 2.0.0.19 (X11/20090216)
MIME-Version: 1.0
To: Sylvain Le Gall <sylvain@le-gall.net>, caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Re: Mastering the garbage collector
References: <4A439067.8070104@irisa.fr> <slrnh4751o.s34.sylvain@gallu.homelinux.org>
In-Reply-To: <slrnh4751o.s34.sylvain@gallu.homelinux.org>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Spam: no; 0.00; irisa:01 compaction:01 garbage:01 caml-list:01 allocated:02 size:95 ecrit:06 stat:07 correct:08 compact:09 collector:12 should:13 but:14 but:14 result:17 

Sylvain Le Gall a écrit :
> You need to do a "Gc.compact" to size down. A full_major will collect but I
> am not sure it will free allocated page.
>   
But if it is just a matter of compaction, then

(Gc.stat ()).Gc.live_words

should give me a correct (small) result, no ?

Tiphaine