Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Marc Lasson <marc.lasson@lexifi.com>
To: OCaml List <caml-list@inria.fr>
Subject: [Caml-list] [ANN] landmarks 1.0 : A simple profiling library
Date: Mon, 11 Jul 2016 10:00:54 +0200	[thread overview]
Message-ID: <6c0ab246-ce0e-e262-2cec-6c356f75297e@lexifi.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 1245 bytes --]

Dear List,

We are pleased to announce that the first version of "landmarks" is out.
It is available on opam (opam install landmarks) and github 
(<https://github.com/LexiFi/landmarks>).

/Landmarks /is a simple profiling library for OCaml. It provides 
primitives to delimit portions of code and measure the performance of 
instrumented code at runtime. The available measures are obtained by 
aggregating CPU cycles (using the cpu's time stamp counter), applicative 
time (using Sys.time) and allocated bytes (with Gc.allocated_bytes). The 
instrumentation of the code may either done by hand, automatically or 
semi-automatically using a PPX extension.

During the execution of your program, the traversal of instrumented code 
by the control flow is recorded as a "callgraph" that carries the 
collected measures. The results may be browsed either directly on the 
console, or by exporting results to a simple web-application.

You may try out the web viewer 
(http://lexifi.github.io/landmarks/viewer.html) which contains two 
examples of profiling (one is profiling the ocaml compiler when it is 
compiling the module "typecore.ml" and the other is profiling coq when 
it is compiling one file of the standard library).

-- 
Marc Lasson.


[-- Attachment #2: Type: text/html, Size: 1762 bytes --]

                 reply	other threads:[~2016-07-11  8:00 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=6c0ab246-ce0e-e262-2cec-6c356f75297e@lexifi.com \
    --to=marc.lasson@lexifi.com \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox