From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mohamed.iguernelala@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id C368A7EEF8
	for <caml-list@sympa.inria.fr>; Sat, 27 Jun 2015 19:52:30 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  mohamed.iguernelala@gmail.com) identity=pra;
  client-ip=209.85.212.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mohamed.iguernelala@gmail.com";
  x-sender="mohamed.iguernelala@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  mohamed.iguernelala@gmail.com designates 209.85.212.181 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.212.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mohamed.iguernelala@gmail.com";
  x-sender="mohamed.iguernelala@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wi0-f181.google.com) identity=helo;
  client-ip=209.85.212.181;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mohamed.iguernelala@gmail.com";
  x-sender="postmaster@mail-wi0-f181.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AUAgCG4o5VlLXUVdFbhESDHqlDhhCSGAEJAoEpTAEBAQEBARIBAQEBBwsLCR8whCMBAQQSEQ8BBQgBGxwBAQMMBgULDwIFFgsCAgkDAgECARERAQUBHAYNAQcBAR6HdwEDEgQBrBc+MYs/gWuCeYpMChknDVeFHQEBAQEBAQEDAQEBAQEBAQEUAQUOgROKKYUGB4JogUMBBJQEi1VMh2qOOzWBFReECm6CSAEBAQ
X-IPAS-Result: A0AUAgCG4o5VlLXUVdFbhESDHqlDhhCSGAEJAoEpTAEBAQEBARIBAQEBBwsLCR8whCMBAQQSEQ8BBQgBGxwBAQMMBgULDwIFFgsCAgkDAgECARERAQUBHAYNAQcBAR6HdwEDEgQBrBc+MYs/gWuCeYpMChknDVeFHQEBAQEBAQEDAQEBAQEBAQEUAQUOgROKKYUGB4JogUMBBJQEi1VMh2qOOzWBFReECm6CSAEBAQ
X-IronPort-AV: E=Sophos;i="5.13,690,1427752800"; 
   d="scan'208";a="167617185"
Received: from mail-wi0-f181.google.com ([209.85.212.181])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 27 Jun 2015 19:52:30 +0200
Received: by wicgi11 with SMTP id gi11so41241673wic.0
        for <caml-list@inria.fr>; Sat, 27 Jun 2015 10:52:30 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=GYK0tx0pWPcmKpEJgL64j1pjxMX5BRN6ZbFwqeoy6Xs=;
        b=UCwafdhTFHA4X2XgQiZ+UpoZche88wrD0jh50jzWxBAJAWxuZStT8JhwfzO/Q1wyFy
         5gxHctwhrtXR0G5n4CNFTNXwYJECWsf+LX3Pj1AqVZ44eLmAgWTZAFAkXwBrgRhuRnje
         TdCBiKOxk4ykiqKuVch/My9L+t295Sh1iq9UHkDuMFv/EzSLXKZKG/5qRpqh2bboOPvW
         nd4sBnVciclOHteE896hniudYrli+Mn/x7IIesINxPfnP2fC2WftJTOOM/WRxiFcFsJs
         iogzH9jG3/J9JGRvrpHXHWKltZTus/14pcxrU87oW1qIFNWuVbXOocDzA4Y3rtS+GtPk
         h8yg==
X-Received: by 10.181.13.241 with SMTP id fb17mr7845263wid.13.1435427550158;
        Sat, 27 Jun 2015 10:52:30 -0700 (PDT)
Received: from [192.168.43.10] ([141.170.211.245])
        by mx.google.com with ESMTPSA id x10sm55834538wjf.45.2015.06.27.10.52.28
        (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Sat, 27 Jun 2015 10:52:29 -0700 (PDT)
Message-ID: <558EE2DC.3010406@gmail.com>
Date: Sat, 27 Jun 2015 18:52:28 +0100
From: Iguernlala Mohamed <mohamed.iguernelala@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: Kenneth Adam Miller <kennethadammiller@gmail.com>
CC: caml-list@inria.fr
References: <CAK7rcp-z4vWUtQn6iJFHJxMV-9aj6oaRctthdjBXTr0VjY5FDQ@mail.gmail.com>
In-Reply-To: <CAK7rcp-z4vWUtQn6iJFHJxMV-9aj6oaRctthdjBXTr0VjY5FDQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [Caml-list] Massive Memory Consumption

Hi,

Can you elaborate ? What is the kind of tool you would like to profile ?
- open-source vs closed-source ?
- commercial or not ?
- ...

Regards,
Mohamed Iguernlala.


Le 27/06/2015 15:38, Kenneth Adam Miller a écrit :
> So, I saw that ocp-memprof is private, so I was looking for an 
> alternative. What kind of other profiling tools for ocaml are out there?