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 B00207ED1D for ; Wed, 14 Oct 2015 10:12:38 +0200 (CEST) IronPort-PHdr: 9a23:5SQPYBVL8Kp6vGn+4Ca93tbsQZTV8LGtZVwlr6E/grcLSJyIuqrYZh2Ft8tkgFKBZ4jH8fUM07OQ6PC8Hzxdqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7z0q8CbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzgQA2J62ccGkwamx8AJgnB6BzgFsPyvy38u/Z90SWTOMj3SbQ5Qxyt6q5qTFnjjyJRZBAj92SCpcV6lqNWpFqarBxy2YPOKNWaPfBkf67ZO8gRRWdbU9x5WClIA4f6ZIwKWblSdd1EppXw8gNd5SC1AhOhUaa2kmdF Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f169.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.213.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.213.169 as permitted sender) identity=mailfrom; client-ip=209.85.213.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-ig0-f169.google.com) identity=helo; client-ip=209.85.213.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CDAQA9DR5Wm6nVVdFehGgGv2SDE4IKfwKBMAc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh+CCAEBBBIRHQEbHQEDDAYFCw0CAiYCAiEBAREBBQEcBhMih3YBAxKhMYExPjGLSYFsgnmJDAoZJw1WhDQBAQEBBgIBGQEFDoEUhVSEfoJQgj0HgmmBRQWWFYsngXSBWJJpg1qCIxIjgRc3gjAjgV08M4ZvAQEB X-IPAS-Result: A0CDAQA9DR5Wm6nVVdFehGgGv2SDE4IKfwKBMAc7EQEBAQEBAQEBEAEBAQEBBgsLCSEugh+CCAEBBBIRHQEbHQEDDAYFCw0CAiYCAiEBAREBBQEcBhMih3YBAxKhMYExPjGLSYFsgnmJDAoZJw1WhDQBAQEBBgIBGQEFDoEUhVSEfoJQgj0HgmmBRQWWFYsngXSBWJJpg1qCIxIjgRc3gjAjgV08M4ZvAQEB X-IronPort-AV: E=Sophos;i="5.17,681,1437429600"; d="scan'208";a="182703140" Received: from mail-ig0-f169.google.com ([209.85.213.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Oct 2015 10:12:37 +0200 Received: by igbkq10 with SMTP id kq10so109080126igb.0 for ; Wed, 14 Oct 2015 01:12:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=SaJXUOPoHdi3ACc2TfVOEgNVoOdrzybUBehVtPzGZlE=; b=vH1RqfhshlkrJQQcltDLnHlAjIHdeh7a/TERNDzwWw05nRJ1BMgRswAEIRlyu/91AS Z9XSibaKeLH3XsSofdZyTtxl89HU54brKCLm60Gyt+A7PD+w+HGEJCO5uYoEw7y+K+C+ fvDLsuv+WKfEs0TbN6S1ZI+Xt5GKypGXTFs/3o9Xxu72YyjgAAHv3VG6mf2P5rM1de0j h4ef5CcOAWakDGBXgg+1im6JcwFLit1qQcDdvO1qMb5b0uJjxJ+IS+UJSOgHP56W3mhM z7ClidwrNmWMIBisZg3375Nfu6z26nQ4ob57bDVbw+8XovAECOQUFHsRvbktShXsdmxc 4MFg== X-Received: by 10.50.45.106 with SMTP id l10mr2410001igm.38.1444810356749; Wed, 14 Oct 2015 01:12:36 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.19.68 with HTTP; Wed, 14 Oct 2015 01:11:57 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Wed, 14 Oct 2015 10:11:57 +0200 Message-ID: To: Kenneth Adam Miller Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Automated Instrumentation for Profiling Have you considered porting ocamlviz to ppx? On Wed, Oct 14, 2015 at 9:44 AM, Kenneth Adam Miller wrote: > 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.