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 1B0217ED1D for ; Wed, 14 Oct 2015 10:25:34 +0200 (CEST) IronPort-PHdr: 9a23:kxKWFx2W6TaDCbDasmDT+DRfVm0co7zxezQtwd8ZsegfKPad9pjvdHbS+e9qxAeQG96Lt7QU1qL/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbSpXN6Px+2MlMmMuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzHGk//szmsVH4RguC/HYGGjEZmxBSAgXBqgrxXprrvzHSue902S3cNsrzG+MaQzOnuoRmThnllCdPHjIw9Snyi8h0gbgT9BGsoRpy347dbIiQMft6eq7HVdwfTGtFGM1WUnoSUcuHc4ITAr9Zbq5jpI7nqg5L9EPmCA== 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-f170.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.170; 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.170 as permitted sender) identity=mailfrom; client-ip=209.85.160.170; 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-f170.google.com) identity=helo; client-ip=209.85.160.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kennethadammiller@gmail.com"; x-sender="postmaster@mail-yk0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CEAQA4ER5Wm6qgVdFehFkPBr9kgxOCCn8CgS0HPBABAQEBAQEBARABAQEBAQYLCwkhLoIfggcBAQEDARIRHQEbEQwBAwELBgUEBw0qAgIhAQERAQUBHAYTFA6HdgEDCgihM4ExPjGLSYFsgnmJDQoZJw1WhDQBAQEBAQEEAQEBAQEBFgEFDoZpg3eBBoJQgW5PB4JpgUUFlhWLJ4F0gViSaYNagiMSI4EXOIIvI4F3IjOGbwEBAQ X-IPAS-Result: A0CEAQA4ER5Wm6qgVdFehFkPBr9kgxOCCn8CgS0HPBABAQEBAQEBARABAQEBAQYLCwkhLoIfggcBAQEDARIRHQEbEQwBAwELBgUEBw0qAgIhAQERAQUBHAYTFA6HdgEDCgihM4ExPjGLSYFsgnmJDQoZJw1WhDQBAQEBAQEEAQEBAQEBFgEFDoZpg3eBBoJQgW5PB4JpgUUFlhWLJ4F0gViSaYNagiMSI4EXOIIvI4F3IjOGbwEBAQ X-IronPort-AV: E=Sophos;i="5.17,681,1437429600"; d="scan'208";a="150489694" Received: from mail-yk0-f170.google.com ([209.85.160.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Oct 2015 10:25:25 +0200 Received: by ykaz22 with SMTP id z22so14884145yka.2 for ; Wed, 14 Oct 2015 01:25:24 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=xGe7mwJzm6ZV03lhWfTQTSpoxGlWRtAEeo/C/lYteDU=; b=pCgyUCD9uh0BodlxUWokYQBAQtNFl9iZlqYNaqAKgRNsbKQ6O+lLRTMHwzOBXfrhFK PCAEa3UyREjCspuROH51yb6BWPZhDLoi2ExYFQq0ZPujQqku4EQ/+LnbVCRMEFtuxCUG N5v7UI1I3yD6Xw79c/jPWymFhXvxMttNnbITP7bFHHPHpyYhxa+0Qf1hewEWyLi4JS57 oXzmQ1UjQV42tA5wU+vQ3IndXfBVwWEszPEayP2z+Mubck00bq41aKKLEvYtXs9x5vmp ZyyW1zigL/UE9cQMJHNxxxzoE0PIepMT6HjxQGi8horZDt3YYI5ugeeWmxwZJMMR/0Uq erJA== MIME-Version: 1.0 X-Received: by 10.13.192.66 with SMTP id b63mr1222289ywd.80.1444811124060; Wed, 14 Oct 2015 01:25:24 -0700 (PDT) Received: by 10.37.65.143 with HTTP; Wed, 14 Oct 2015 01:25:24 -0700 (PDT) In-Reply-To: References: Date: Wed, 14 Oct 2015 04:25:24 -0400 Message-ID: From: Kenneth Adam Miller To: Gabriel Scherer Cc: caml users Content-Type: multipart/alternative; boundary=001a114e650ed13f3e05220c4d62 Subject: Re: [Caml-list] Automated Instrumentation for Profiling --001a114e650ed13f3e05220c4d62 Content-Type: text/plain; charset=UTF-8 That sounds like it would definitely be a good benefit to the community and I'd be really happy to do it. I know that ppx is the successor to camlp4, and I have a mind to teach myself the sort of magic where I can annotate a type with some code generating function because I appreciate the power. But right now, my extra curricular work is just ridiculously over loaded. In my free time I'm teaching myself Coq, compiler construction with llvm, taking a coursera course working on a shingled disassembler, working on an ocamljava backend for ctypes and a ocaml link to CZMQ. I love what I do - coding and learning all day long - but I have human limits, and I just don't think I would be able to pick it up for probably 6-8 months. Possibly something else will come along before then, whether that be even more compelling challenges or that ocamlviz is seconded by something better. So, I really honestly would, but I don't think I can. :( On Wed, Oct 14, 2015 at 4:11 AM, Gabriel Scherer wrote: > 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. > --001a114e650ed13f3e05220c4d62 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
That sounds like it would definitely be a good benefit to = the community and I'd be really happy to do it. I know that ppx is the = successor to camlp4, and I have a mind to teach myself the sort of magic wh= ere I can annotate a type with some code generating function because I appr= eciate the power.

But right now, my extra curricular wor= k is just ridiculously over loaded. In my free time I'm teaching myself= Coq, compiler construction with llvm, taking a coursera course working on = a shingled disassembler, working on an ocamljava backend for ctypes and a o= caml link to CZMQ. I love what I do - coding and learning all day long - bu= t I have human limits, and I just don't think I would be able to pick i= t up for probably 6-8 months. Possibly something else will come along befor= e then, whether that be even more compelling challenges or that ocamlviz is= seconded by something better.

So, I really honestly would, but I do= n't think I can. :(

On Wed, Oct 14, 2015 at 4:11 AM, Gabriel Scherer <gabriel.scherer@gmail.com> wrote:
Have you considered porting ocamlviz to ppx?

On Wed, Oct 14, 2015 at 9:44 AM, Kenneth Adam Miller
<kennethadammiller@gmail.= com> 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 o= caml
> 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. Introd= ucing
> 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 memo= ry 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 w= ould
> be very helpful.

--001a114e650ed13f3e05220c4d62--