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