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 680FB7EE49 for ; Fri, 13 Sep 2013 18:52:26 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.9; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.9; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.9 as permitted sender) identity=helo; client-ip=212.227.17.9; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoEBAM9BM1LU4xEJm2dsb2JhbABbgz/BR4EcFg4BAQEBAQYLCwkUKIImAQVVJBALEjRJDgYTCYd+CLlciUWGBiYHhB4DjnqFJIoMjmo X-IPAS-Result: AoEBAM9BM1LU4xEJm2dsb2JhbABbgz/BR4EcFg4BAQEBAQYLCwkUKIImAQVVJBALEjRJDgYTCYd+CLlciUWGBiYHhB4DjnqFJIoMjmo X-IronPort-AV: E=Sophos;i="4.90,899,1371074400"; d="asc'?scan'208";a="32797818" Received: from moutng.kundenserver.de ([212.227.17.9]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Sep 2013 18:52:25 +0200 Received: from office1.lan.sumadev.de (dslb-088-069-140-173.pools.arcor-ip.net [88.69.140.173]) by mrelayeu.kundenserver.de (node=mreu4) with ESMTP (Nemesis) id 0MLEXd-1VKFcd0ZIP-000Iqe; Fri, 13 Sep 2013 18:52:22 +0200 Received: from [192.168.178.21] (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 9EA81C00CF; Fri, 13 Sep 2013 18:52:21 +0200 (CEST) Message-ID: <1379091130.2471.12.camel@e130> From: Gerd Stolpmann To: Mark Shinwell Cc: caml-list@inria.fr Date: Fri, 13 Sep 2013 18:52:10 +0200 In-Reply-To: <20130913154834.GA6566@three-tuns.net> References: <20130913154834.GA6566@three-tuns.net> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-U9LHFj+OfSHTu7TlvRae" X-Mailer: Evolution 3.2.3-0ubuntu6 Mime-Version: 1.0 X-Provags-ID: V02:K0:c0onEU/PtEHpziJHYxqrcvqj8VGywiLWtkrmFG86jxl jLmjoOQdKBLjybVdMEeOmsCXbP3jNnc6GFX7k2iB6DquaAsrwh 3cMPoaK/Hv258XA9e1gM6xIGTO2LN/duRNqoGTkicMUZDi+dUY cXIZBK3GRQ0MZ6ppY3tlycrQv3eoHPzvdGzyI8oxv6B/cWJIAG h4mdbEpVv2sgTUHlsSN4YerB8abB1sjRcZBhbobcCTPPrx6HYL mdSi3x6iM3OfioMy2zSMDjOIStNw6AMtVmnJ4KLnOe1QY7VRt8 vSb/cRswBjWF8VCJeXsIvx0ndA4Dapmd2szmgFWVZF2vpnwyvD wYltQfYjGXvyAeu5MnAY8jr77cFkAXHEBW/aZ8x8+ Subject: Re: [Caml-list] Allocation profiling for x86-64 native code --=-U9LHFj+OfSHTu7TlvRae Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Freitag, den 13.09.2013, 16:48 +0100 schrieb Mark Shinwell: > Large OCaml programs can experience performance degradation due to high > garbage collection loads (or possibly due to it being Friday 13th). > Understanding the memory usage of such programs can also be difficult. >=20 > To this end, I am pleased to release a version of OCaml 4.01 that > contains functionality for the memory profiling of native code programs, > for the x86-64 architecture. Currently it is only fully working on Linux > platforms, but there should be a version for Mac OS X in the near future, > and the BSDs. > ... > The runtime system for this compiler contains instrumentation that can > produce a global analysis showing the total number of words allocated > on the OCaml heaps by source location. This works not only for blocks > allocated in OCaml code but also in C stubs. Further, values are > instrumented---without space overhead---in order to be able to determine > from a snapshot of the heap which value was allocated where; and also > to provide a runtime API that can be queried from the instrumented > program itself.=20 A dumb question: how do you do the value instrumentation? Without space overhead? There is not much information in the value itself... do you track value relocations? Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-U9LHFj+OfSHTu7TlvRae Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAABAgAGBQJSM0K6AAoJEAaM4b9ZLB5Tm5wH/iFFrKSffV1AmZTBIo4zjDhL 5LtvrbhA3P1DnSzgStphGuptSktrKCP2vfbgCNJU+GTDHlhG55DOLJSBM1vLE8AY 3AYJkC4kMP9Y2l0glBLk2g+HOExx1uLEPtY5xmClvR1VOWo3KqKCKcsHLrkTYZgV b70soMdT4sPjTF39KamAFWZPR20s8sxFnM7dJhHGsnjGlVeqWhjnavd2UXt2qKUY pTUdGm7aSpL+FZHAMtWHJqFfxDo9h0fQyCT+RtCed8FPttiZsvkuEP+ozwH8CtK8 TwOWIWIFYXBkYcKKCc1fy9I3UQHkhKYNBNhzDLYgfvIon5iSUsu28dLMLQI4eys= =5lQJ -----END PGP SIGNATURE----- --=-U9LHFj+OfSHTu7TlvRae--