From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 829E27FE36 for ; Mon, 11 Jul 2016 10:00:51 +0200 (CEST) IronPort-PHdr: 9a23:UyRGmxKOyexsdrDwRtmcpTZWNBhigK39O0sv0rFitYgULPXxwZ3uMQTl6Ol3ixeRBMOAuqoC0Lad6fC7EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU1Jj8jbDps7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWduD2dgw+bisB2LaQqU+jNIWWwTll9MAhPZxBD8RJb49CXg4LlTwi6faOj/V7t8fT259KBtAEvtgT0McTow63rQjOR0gbJarhPnrBt6ld2HKLqJPeZzK/uONegRQnBMC4MID3RM Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=marc.lasson@lexifi.com; spf=None smtp.mailfrom=marc.lasson@lexifi.com; spf=None smtp.helo=postmaster@mx30.yaziba.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of marc.lasson@lexifi.com) identity=pra; client-ip=82.138.71.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marc.lasson@lexifi.com"; x-sender="marc.lasson@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of marc.lasson@lexifi.com) identity=mailfrom; client-ip=82.138.71.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marc.lasson@lexifi.com"; x-sender="marc.lasson@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mx30.yaziba.net) identity=helo; client-ip=82.138.71.21; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marc.lasson@lexifi.com"; x-sender="postmaster@mx30.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AnAQA8UYNXhxVHilJchBQqUrsRIocdOxEBAQEBAQEBAREBAQEKCwkJIS+CMgQBEgGCPEQxPgJfDQgBAYgwCqAxj2KPAIYngXiJXwstgloFmRiBW4QyiEWCOIcVhV0CkA0CNIFYDEIUC4FObAGJPgEBAQ X-IPAS-Result: A0AnAQA8UYNXhxVHilJchBQqUrsRIocdOxEBAQEBAQEBAREBAQEKCwkJIS+CMgQBEgGCPEQxPgJfDQgBAYgwCqAxj2KPAIYngXiJXwstgloFmRiBW4QyiEWCOIcVhV0CkA0CNIFYDEIUC4FObAGJPgEBAQ X-IronPort-AV: E=Sophos;i="5.28,345,1464645600"; d="scan'208,217";a="226280699" Received: from mx30.yaziba.net ([82.138.71.21]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Jul 2016 10:00:51 +0200 Received: from mta10.int.yaziba.net (unknown [217.117.151.14]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx30.yaziba.net (mx10.yaziba.net) with ESMTPS id 93EC61A738B for ; Mon, 11 Jul 2016 10:00:50 +0200 (CEST) Received: from mta10.int.yaziba.net (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTPS id A0C81CA765 for ; Mon, 11 Jul 2016 10:00:50 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mta10.int.yaziba.net (Postfix) with ESMTP id 82FC9CA768 for ; Mon, 11 Jul 2016 10:00:50 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta10.int.yaziba.net Received: from mta10.int.yaziba.net ([127.0.0.1]) by localhost (mta10.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id ugdGUtqNjKp3 for ; Mon, 11 Jul 2016 10:00:50 +0200 (CEST) Received: from [10.0.48.182] (unknown [185.23.92.144]) by mta10.int.yaziba.net (Postfix) with ESMTPSA id 40625CA761 for ; Mon, 11 Jul 2016 10:00:50 +0200 (CEST) To: OCaml List From: Marc Lasson Message-ID: <6c0ab246-ce0e-e262-2cec-6c356f75297e@lexifi.com> Date: Mon, 11 Jul 2016 10:00:54 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.1.1 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------C74CCCEAA6D6BBF0B2270244" X-DRWEB-SCAN: ok X-VRSPAM-SCORE: -100 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeeltddrfeeggddvkeelucetufdoteggodetrfcurfhrohhfihhlvgemucggtfgfnhhsuhgsshgtrhhisggvpdgjtegkkfeuteenuceurghilhhouhhtmecufedttdenucesvcftvggtihhpihgvnhhtshculddquddttddmnecujfgurhepvffhuffkffgfgggtsegrtderredtfeejnecuhfhrohhmpeforghrtgcunfgrshhsohhnuceomhgrrhgtrdhlrghsshhonheslhgvgihifhhirdgtohhmqeenucffohhmrghinhepghhithhhuhgsrdhiohdpghhithhhuhgsrdgtohhmnecukfhppedukeehrddvfedrledvrddugeegnecurfgrrhgrmhepmhhouggvpehsmhhtphhouhht X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: [Caml-list] [ANN] landmarks 1.0 : A simple profiling library This is a multi-part message in MIME format. --------------C74CCCEAA6D6BBF0B2270244 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit 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 (). /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. --------------C74CCCEAA6D6BBF0B2270244 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 7bit

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.

--------------C74CCCEAA6D6BBF0B2270244--