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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 4DE13822AC for ; Tue, 14 Nov 2017 00:02:41 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jacques-henri.jourdan@normalesup.org; spf=Neutral smtp.mailfrom=jacques-henri.jourdan@normalesup.org; spf=None smtp.helo=postmaster@ulminfo.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jacques-henri.jourdan@normalesup.org) identity=pra; client-ip=5.135.188.139; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@normalesup.org"; x-sender="jacques-henri.jourdan@normalesup.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of jacques-henri.jourdan@normalesup.org does not assert whether or not 5.135.188.139 is permitted sender) identity=mailfrom; client-ip=5.135.188.139; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@normalesup.org"; x-sender="jacques-henri.jourdan@normalesup.org"; 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@ulminfo.fr) identity=helo; client-ip=5.135.188.139; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jacques-henri.jourdan@normalesup.org"; x-sender="postmaster@ulminfo.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ANAhqxBwZMhIt2QDXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0eoSIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2SkPfuEKy7CIfX1DWfUow?= =?us-ascii?q?f7ytW92as8Pi3Om3/9jXYh5UrDu7e7J7ahus/ivLscxDo4JpM7s80V7pr31Seq?= =?us-ascii?q?x0wn5yKVuV10L+78yp4ZN4tiRdveggscxHTL/2dqIQS7tCCT0iPnso/IvsrxaV?= =?us-ascii?q?HljH3WcVTmhDykkAOAPC9hyvG86p6iY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A0AgBvIwpaf4u8hwVbHAEBAQQBAQoBA?= =?us-ascii?q?YJmgTNuJ4N+mU6BTgmXBoIBBwMjhSKEXUIVAQEBAQEBAQEBARIBAQsWXYI4JAG?= =?us-ascii?q?Ca1FiAmwIAQEQig8DDKtWgieLMgoFgzSCB4NnC4dVgQSCDAwxgmMFmRSJFoRGg?= =?us-ascii?q?iSBAY8uhgiLJYxoiTyBOTWCFDQhMoM1ggwMAYJHdoheAQEB?= X-IPAS-Result: =?us-ascii?q?A0A0AgBvIwpaf4u8hwVbHAEBAQQBAQoBAYJmgTNuJ4N+mU6?= =?us-ascii?q?BTgmXBoIBBwMjhSKEXUIVAQEBAQEBAQEBARIBAQsWXYI4JAGCa1FiAmwIAQEQi?= =?us-ascii?q?g8DDKtWgieLMgoFgzSCB4NnC4dVgQSCDAwxgmMFmRSJFoRGgiSBAY8uhgiLJYx?= =?us-ascii?q?oiTyBOTWCFDQhMoM1ggwMAYJHdoheAQEB?= X-IronPort-AV: E=Sophos;i="5.44,389,1505772000"; d="asc'?scan'208";a="300636686" Received: from ulminfo.fr ([5.135.188.139]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 14 Nov 2017 00:02:40 +0100 Received: from nounours.mketjh.fr (unknown [IPv6:2a01:e34:ec02:ace0:eab1:fcff:feb5:7aca]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ulminfo.fr (Postfix) with ESMTPSA id 09A18C1FC3 for ; Tue, 14 Nov 2017 00:02:40 +0100 (CET) To: caml-list@inria.fr From: Jacques-Henri Jourdan Message-ID: <24db9e12-d3c7-898f-6554-a1ab5a973533@normalesup.org> Date: Tue, 14 Nov 2017 00:02:36 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="5oaRDt1eABwN4vbxgwIhgKtSfKxvl4JLW" Subject: [Caml-list] [Announce] Statistical memory profiling for OCaml This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --5oaRDt1eABwN4vbxgwIhgKtSfKxvl4JLW Content-Type: multipart/mixed; boundary="H5COQLSLaUwsK4MgpjSrSAn1kREAeqhLK"; protected-headers="v1" From: Jacques-Henri Jourdan To: caml-list@inria.fr Message-ID: <24db9e12-d3c7-898f-6554-a1ab5a973533@normalesup.org> Subject: [Announce] Statistical memory profiling for OCaml --H5COQLSLaUwsK4MgpjSrSAn1kREAeqhLK Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: quoted-printable Dear OCaml community, It is my pleasure to announce statmemprof, a statistical memory profiler for OCaml. This tool will help you better understand the memory consumption of your programs and find memory leaks. It can be tuned to have little overhead (as low as < 1%) while still gathering useful information. This tool can already be installed via opam: 
$ opam switch 4.06.0+statistical-memprof  #The
switch also exists for 4.03.0 and 4.05.0.
$ opam install statmemprof-emacs
Then, instructions for using it can be found be reading the README file. Please note that even though this tool is already useful, it is still at a preliminary stage of development. I would be very happy to get your comments to help me understand what would be the most useful improvements. Happy hacking ! --=20 JH Jourdan --H5COQLSLaUwsK4MgpjSrSAn1kREAeqhLK-- --5oaRDt1eABwN4vbxgwIhgKtSfKxvl4JLW Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQFZBAEBCABDFiEEO1sUNwyUFxlE280sYegaURjUaMUFAloKJIwlHGphY3F1ZXMt aGVucmkuam91cmRhbkBub3JtYWxlc3VwLm9yZwAKCRBh6BpRGNRoxbTVCACbxS0S VF6ZsTGGUV1NE0c4J51L70mLaWGP5Ed1TXDhTLGNoYFDcuDq0qRh7CkCKZjsUlOT afzOQJ4y6mybkMoxU7PXf/BhdJiaBwfwsE58QkHr3y2Tng1LOcxYDpluJ1V8u6LS JC62WAX/tIZXScYMPbX98pJPJ5BpleOSfAUpBpzSLXAjGSckfwnpL6rDRX6ZQBeQ TpiFhtZFeADSC3d7f9eJOZkNJawnVr8h+vI4ixJHfRiCqARN6tq7U0h0ZndnKSMU 655BRpK82n6OvR8jSaICPFhVQCLVv42wIsb25pB4qIb4GINE6C/A9L05VoFQAXT0 cMjW8eZW2HMgEoxP =NULj -----END PGP SIGNATURE----- --5oaRDt1eABwN4vbxgwIhgKtSfKxvl4JLW--