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.1 required=5.0 tests=AWL,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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 2BDFCBBAF for ; Thu, 4 Jun 2009 19:03:59 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcDAOeaJ0rRVdrPmGdsb2JhbACXXz8BAQEBAQgJDAcRpmKBFJBMAQMCBIQIBQ X-IronPort-AV: E=Sophos;i="4.41,306,1241388000"; d="scan'208";a="27351211" Received: from mail-bw0-f207.google.com ([209.85.218.207]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Jun 2009 19:03:58 +0200 Received: by bwz3 with SMTP id 3so954000bwz.27 for ; Thu, 04 Jun 2009 10:03:58 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:date:message-id:subject :from:to:content-type:content-transfer-encoding; bh=frFIMflDOL27l3yYObqXGmelujyl9/dJsLPILArZze4=; b=d+sdFdkGfrRAsam6iYY7n9M+tEvEpNi3QFQrV08fgPnY91sQ/utdq1UVnv3lk/zgkJ +wc+MZSpnTYJg/S5qC+we71KgV7xwoVIA5hHdoLiaQyMVoa1gflga2Q8/JDaudj2DCtL 3uxD9hBNV+ArgwP868BHNZIWD9R9Yf/cwN5tQ= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=cUF/4wBMCwwwt71xRYHnbP5GLaptIYzRc7xmQx3emufh4LYAhlPZq0YzuUoDoxFCtn b22HM1OewjHQrbjPh+fKg4YQNojxfEq7yNjANYb0mExOBzTpVi4kWp6wg04SjzKfD/BH wpk+p4GFCOH7xt0yieHJP8aU/XH73rUVk1YxQ= MIME-Version: 1.0 Received: by 10.204.52.72 with SMTP id h8mr2222037bkg.30.1244135037955; Thu, 04 Jun 2009 10:03:57 -0700 (PDT) Date: Thu, 4 Jun 2009 13:03:57 -0400 Message-ID: Subject: Garbage collection and profiling From: Jean Krivine To: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; krivine:01 krivine:01 ocaml:01 garbage:01 profiling:04 guess:04 wondering:09 execution:11 but:14 jean:14 jean:14 does:14 compare:15 thanks:17 there:18 Dear list Does anyone knows a simple way to evaluate the time spent by an ocaml program in GCing? I guess I can simply disable the GC and compare execution time but I was wondering whether there is no direct way to do it. Thanks!