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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 8F8037ED1D for ; Wed, 14 Oct 2015 09:44:13 +0200 (CEST) IronPort-PHdr: 9a23:mCfa+By33gpUTk/XCy+O+j09IxM/srCxBDY+r6Qd0e8eIJqq85mqBkHD//Il1AaPBtWHraIZw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwudrizStOapv/0/t7x0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpi9ZvvZp6tVNS76yK68xSLgdCDU9L0g04tfqvF/NV13cyGEbVzA1nxxODhTFpDj2V5K5lyr+sudnkH2ZMMvwQKw0UDir6qJqTBvlkg8IMjc49Cfcjckm3/ETmw6ouxEqm92cW4qSLvcrJq4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kennethadammiller@gmail.com; spf=Pass smtp.mailfrom=kennethadammiller@gmail.com; spf=None smtp.helo=postmaster@mail-yk0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kennethadammiller@gmail.com) identity=pra; client-ip=209.85.160.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of kennethadammiller@gmail.com designates 209.85.160.181 as permitted sender) identity=mailfrom; client-ip=209.85.160.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="kennethadammiller@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f181.google.com) identity=helo; client-ip=209.85.160.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-yk0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CKAQCoBh5Wm7WgVdFehGgGsXGNc4MTggqCOQc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh+CIBEdARseAxIJAQY3AiQBEQEFASIbGod2AQMSnxyCCIExPjGLSYFsgnmJDQoZJw1WhFoBBQ6GaYx6gUUFlhWNG4FYlkOCIxIjgRc3glOBdyIzhm8BAQE X-IPAS-Result: A0CKAQCoBh5Wm7WgVdFehGgGsXGNc4MTggqCOQc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh+CIBEdARseAxIJAQY3AiQBEQEFASIbGod2AQMSnxyCCIExPjGLSYFsgnmJDQoZJw1WhFoBBQ6GaYx6gUUFlhWNG4FYlkOCIxIjgRc3glOBdyIzhm8BAQE X-IronPort-AV: E=Sophos;i="5.17,681,1437429600"; d="scan'208";a="150483330" Received: from mail-yk0-f181.google.com ([209.85.160.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Oct 2015 09:44:12 +0200 Received: by ykey125 with SMTP id y125so39929581yke.3 for ; Wed, 14 Oct 2015 00:44:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=yETDQ7zG/EyG1F1mRa2tWjTrZRZrtVOwAcFBtSotlF0=; b=KcGOlpObWcKc1oCF6pTThqfIu9GwHTXl3/eVHw+/RlrGZ0AtYqqZiTt4MIu4wGX66v a+jdESotWj8dvSot7ymbS/VINwiDYSazUCKx+0MH75P4z9iTyFVf6jh8RTDFhadKsWMl umtsMlIU5QwuB6gBcmnnmKmMSA2RM5EduGzwMzt5MaWdbK41uQYCJ4huPamZCTVjEht6 4l8flNKM/Ja1f4uAW2RbUEw71vtfQSL4GBb2mmQlINkBBBOFiOLzitPUW94yWhwKn5lY lGZwOcZHifammcDwAttfDjGn6e01tj/YvzuQp5jTBmiWcBtM/qIPBH/Wv1aU9UzBYDgB mLHQ== MIME-Version: 1.0 X-Received: by 10.129.76.71 with SMTP id z68mr1293531ywa.52.1444808651213; Wed, 14 Oct 2015 00:44:11 -0700 (PDT) Received: by 10.37.65.143 with HTTP; Wed, 14 Oct 2015 00:44:11 -0700 (PDT) Date: Wed, 14 Oct 2015 03:44:11 -0400 Message-ID: From: Kenneth Adam Miller To: caml users Content-Type: multipart/alternative; boundary=001a113f19f26c95a005220bba01 Subject: [Caml-list] Automated Instrumentation for Profiling --001a113f19f26c95a005220bba01 Content-Type: text/plain; charset=UTF-8 So, I'm looking to do some performance profiling of some libraries and tools. I would like some tools that are more language facilitated than an alternative of using something like oprofile because while oprofile is good, you can only guess at what is consuming the most time in your actual ocaml source because all the function names have been lost by that time. I found ocamlviz, and that seems pretty good, but I'm looking for something else because we plan to move away from using camlp4 toward ppx. Introducing this will mean an additional hurdle to overcome once the transition is complete in terms of customizing the build chain twice. In any case, I guess what I'd really like to know is: 1) How good are the ocamlcp and ocamloptp tools and how would you get a vanilla oasis/ocamlbuild combo to easily start using them instead? 2) Are there any ppx based profiling tools out there? I need both memory and time profiling to be done. OCamlviz was great because it had a graph-I don't necessarily need a dedicated gui, but some way to visualize the data would be very helpful. --001a113f19f26c95a005220bba01 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
So, I'm looking to do some performance profiling of so= me libraries and tools. I would like some tools that are more language faci= litated than an alternative of using something like oprofile because while = oprofile is good, you can only guess at what is consuming the most time in = your actual ocaml source because all the function names have been lost by t= hat time.

I found ocamlviz, and that seems pretty good, = but I'm looking for something else because we plan to move away from us= ing camlp4 toward ppx. Introducing this will mean an additional hurdle to o= vercome once the transition is complete in terms of customizing the build c= hain twice.

In any case, I guess what I'd real= ly like to know is:

1) How good are the ocamlcp an= d ocamloptp tools and how would you get a vanilla oasis/ocamlbuild combo to= easily start using them instead?

2) Are there any= ppx based profiling tools out there? I need both memory and time profiling= to be done. OCamlviz was great because it had a graph-I don't necessar= ily need a dedicated gui, but some way to visualize the data would be very = helpful.
--001a113f19f26c95a005220bba01--