caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] [ANN] landmarks 1.0 : A simple profiling library
@ 2016-07-11  8:00 Marc Lasson
  0 siblings, 0 replies; only message in thread
From: Marc Lasson @ 2016-07-11  8:00 UTC (permalink / raw)
  To: OCaml List

[-- 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 --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2016-07-11  8:00 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-07-11  8:00 [Caml-list] [ANN] landmarks 1.0 : A simple profiling library Marc Lasson

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).