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 8BC3782355 for ; Mon, 11 Dec 2017 21:57:08 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f179.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.216.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.216.179 as permitted sender) identity=mailfrom; client-ip=209.85.216.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qt0-f179.google.com) identity=helo; client-ip=209.85.216.179; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-qt0-f179.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Aa+01XBK3Yq6wI7nv3NmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgUKP/xwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBX660e/5j8KGxj5KRE9?= =?us-ascii?q?ZqGsQtaT3PKMyvuq9pbPTwJNjTu7KfMufVTl5TnW4+sLhYprYoI41RLNpjMcef?= =?us-ascii?q?lSxGouIVuMlhL4zsOx5MAl/T4G6Nw78MsVfqzwZaU1SfRjBzQrKW0vrJnkvBPZ?= =?us-ascii?q?TAaLoGAXUmgMnwBgDA3M7RW8VZD05Hip/tFh0TWXaJWlBYs/Xi6vuuI2ERI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+AQA08C5af7PYVdFbGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQkdCcHg3uBNlCXGoF9AoJfhwiPOAolgziBXgKEawdDFAEBAQEBAQE?= =?us-ascii?q?BAQESAQEJCwsIJjGCOAUBHgaCQAEBAQECASMdARsSCwEDAQsGAwILDQ0dAgIiA?= =?us-ascii?q?REBBQEKEgYTEol9AQMNCBCKRZEcQIwQggUFARyDCgWDVwoZJwMKWYJNAQEBAQE?= =?us-ascii?q?BBAEBAQEBAQEBGAIGEoNWgguBVoUUgyOCKYJogmMFiFcMmi6COYVAjSiCeZBqj?= =?us-ascii?q?QqGJoMaFAUfgRcPJ4FxMhojTzKBZwEBAQ0JghAqghNANwGIBYFZAQEB?= X-IPAS-Result: =?us-ascii?q?A0C+AQA08C5af7PYVdFbGgEBAQEBAgEBAQEIAQEBAYQkdCc?= =?us-ascii?q?Hg3uBNlCXGoF9AoJfhwiPOAolgziBXgKEawdDFAEBAQEBAQEBAQESAQEJCwsIJ?= =?us-ascii?q?jGCOAUBHgaCQAEBAQECASMdARsSCwEDAQsGAwILDQ0dAgIiAREBBQEKEgYTEol?= =?us-ascii?q?9AQMNCBCKRZEcQIwQggUFARyDCgWDVwoZJwMKWYJNAQEBAQEBBAEBAQEBAQEBG?= =?us-ascii?q?AIGEoNWgguBVoUUgyOCKYJogmMFiFcMmi6COYVAjSiCeZBqjQqGJoMaFAUfgRc?= =?us-ascii?q?PJ4FxMhojTzKBZwEBAQ0JghAqghNANwGIBYFZAQEB?= X-IronPort-AV: E=Sophos;i="5.45,392,1508796000"; d="scan'208,217";a="304994542" Received: from mail-qt0-f179.google.com ([209.85.216.179]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Dec 2017 21:57:07 +0100 Received: by mail-qt0-f179.google.com with SMTP id u42so42104877qte.7 for ; Mon, 11 Dec 2017 12:57:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=qnzxbgttkokzuMzEmSQAIid61ZP2KE4cBTOeBo/tHGU=; b=C1LPD6wgfz7C/0FGDac1okS5CQjca/QqReWFiFvx/Qb6ZQ0KzLsR7vbvBFca0BT/lm Ft8ePvfa+zHenO4y1swL1XiI94SCBNpDhn/2rpN7msCf55yMoATyqZph5bCKLFOKE7dd 2LIK79DgZ2jnTUM8Sbzn3rgvp9WjSMdu2NIC9JZQJqpH+AbuHB/Am2VaZ+awBHiSZqi9 wyNWiX4PcEwdmHoak+FgDpRsHw6CxCXIPdvPbG5amII/YpA7wPhFoAlu7/4OPM9nzDXH PnCwIMbJZENEGTUGvatg16sM34m9Vs3hJmA9pnMaO+a3iP7a172bUulgh5w+co9IJrTd W8Wg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=qnzxbgttkokzuMzEmSQAIid61ZP2KE4cBTOeBo/tHGU=; b=K73cxBe66gRR+4+Bl+SWWR4pMDq9Echd9NsMJ2hAlcIPNBHxOQHeYL6PjkcW9veKwT pv3rt2yaroM2ZsnIhzbkiXZueHVDRrCFecEPk0xXrpifeKF0bcjiTjJQzXMjMZynV33p OGS4laZ2p1ClaBO6Z8kErnZZk6j5MaPOHmQhHuYF0iwH2oXNM5E3QqzJ0MyONHUfqPNr drjwymElrVrUh66qD0IymP1KcFMoZUa7Dt9uIeZjYy95Ak6Gxg4uW97vcNBpqlBUp7om tD7q8Jm1NlZYTaJPC9P7gvEdBSXfqhOho9WXL1QS59HUKw4TM48JnaH8Ca/RXKkWEpJj u7gQ== X-Gm-Message-State: AKGB3mKxfhk1OlV4tReJfVCiVX8WDoiq0Ja7s3hd6p9pXwi04IhppQiL gVtBVXztFYm8sw/Nj/N5zTv0mvtjpVyxJoJZGyE= X-Google-Smtp-Source: ACJfBov98bFMSmLO1ltRcmS6HE0VOBigYDhZdbEr+WRmH3ye0k3okX93kzEm1sVT4xPMFn/tqySflmCPjOhBrL1N+tI= X-Received: by 10.233.220.199 with SMTP id q190mr2549519qkf.72.1513025826152; Mon, 11 Dec 2017 12:57:06 -0800 (PST) MIME-Version: 1.0 Received: by 10.12.194.140 with HTTP; Mon, 11 Dec 2017 12:56:25 -0800 (PST) In-Reply-To: References: From: Gabriel Scherer Date: Mon, 11 Dec 2017 21:56:25 +0100 Message-ID: To: Julia Lawall Cc: Yawar Amin , caml users Content-Type: multipart/alternative; boundary="94eb2c043b68e76568056016c664" Subject: Re: [Caml-list] gc overhead --94eb2c043b68e76568056016c664 Content-Type: text/plain; charset="UTF-8" There is an instrumentation mode for the OCaml GC whose usage I have described in a blog post and on the caml-list: http://prl.ccs.neu.edu/blog/2016/05/24/measuring-gc-latencies-in-haskell-ocaml-racket/ https://sympa.inria.fr/sympa/arc/caml-list/2016-05/msg00219.html (I am realizing that the simple change I proposed, of building the instrumented runtime by default, was forgotten, and will submit a pull request shortly -- hopefully it will be present in 4.07... In the meantime, people have to build the compiler with the -with-instrumented-runtime flag explicitly set.) On Mon, Dec 11, 2017 at 7:53 PM, Julia Lawall wrote: > > > On Tue, 28 Nov 2017, Yawar Amin wrote: > > > Hi Juli, you can take a lookat https://realworldocaml. > org/v1/en/html/understanding-the-garbage-collecto > > r.html for some explanations of the various knobs. Specifically, the > in-text > > note sections (marked with the icon of two pages) give some helpful > hints. > > The first one on the page is 'Setting the Size of the Minor Heap'. > > Is it possible to know when a major GC starts, to be able to measure the > time spent? I saw the verbose flag in the control structure, but that > just prints a message. I don't see how to get the time. > > thanks, > julia > > > Regards, > > > > Yawar > > > > On Tue, Nov 28, 2017 at 1:11 PM, Julia Lawall > wrote: > > Hello, > > > > Is there any reasonable way to reduce the amount of garbage > > collection > > activity in an OCaml program? I see various knobs in the > > control > > structure, but I don't know what the impact of changing the > > values would > > be. > > > > thanks, > > juli > > > > -- > > Caml-list mailing list. Subscription management and archives: > > https://sympa.inria.fr/sympa/arc/caml-list > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > > > > > > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --94eb2c043b68e76568056016c664 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
There is an instrumentation mode for the OCaml GC who= se usage I have described in a blog post and on the caml-list:

=C2= =A0 http://prl.ccs.neu.edu/blog/2016/05/24/measurin= g-gc-latencies-in-haskell-ocaml-racket/
=C2=A0 https://sympa.inria= .fr/sympa/arc/caml-list/2016-05/msg00219.html

(I am realiz= ing that the simple change I proposed, of building the instrumented runtime= by default, was forgotten, and will submit a pull request shortly -- hopef= ully it will be present in 4.07... In the meantime, people have to build th= e compiler with the -with-instrumented-runtime flag explicitly set.)

On Mon, Dec 11= , 2017 at 7:53 PM, Julia Lawall <julia.lawall@lip6.fr> wr= ote:


On Tue, 28 Nov 2017, Yawar Amin wrote:

> Hi Juli, you can take a lookat=C2=A0https://realworldocaml.org/v1/en/= html/understanding-the-garbage-collecto
> r.html for some explanations of the various knobs. Specifically, the i= n-text
> note sections (marked with the icon of two pages) give some helpful hi= nts.
> The first one on the page is 'Setting the Size of the Minor Heap&#= 39;.

Is it possible to know when a major GC starts, to be able to measure= the
time spent?=C2=A0 I saw the verbose flag in the control structure, but that=
just prints a message.=C2=A0 I don't see how to get the time.

thanks,
julia

> Regards,
>
> Yawar
>
> On Tue, Nov 28, 2017 at 1:11 PM, Julia Lawall <julia.lawall@lip6.fr> wrote:
>=C2=A0 =C2=A0 =C2=A0 =C2=A0Hello,
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0Is there any reasonable way to reduce the am= ount of garbage
>=C2=A0 =C2=A0 =C2=A0 =C2=A0collection
>=C2=A0 =C2=A0 =C2=A0 =C2=A0activity in an OCaml program?=C2=A0 I see va= rious knobs in the
>=C2=A0 =C2=A0 =C2=A0 =C2=A0control
>=C2=A0 =C2=A0 =C2=A0 =C2=A0structure, but I don't know what the imp= act of changing the
>=C2=A0 =C2=A0 =C2=A0 =C2=A0values would
>=C2=A0 =C2=A0 =C2=A0 =C2=A0be.
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0thanks,
>=C2=A0 =C2=A0 =C2=A0 =C2=A0juli
>
>=C2=A0 =C2=A0 =C2=A0 =C2=A0--
>=C2=A0 =C2=A0 =C2=A0 =C2=A0Caml-list mailing list.=C2=A0 Subscription m= anagement and archives:
>=C2=A0 =C2=A0 =C2=A0 =C2=A0https://sympa.inria.fr/symp= a/arc/caml-list
>=C2=A0 =C2=A0 =C2=A0 =C2=A0Beginner's list: htt= p://groups.yahoo.com/group/ocaml_beginners
>=C2=A0 =C2=A0 =C2=A0 =C2=A0Bug reports: http://caml.inria.fr/b= in/caml-bugs
>
>
>
>

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--94eb2c043b68e76568056016c664--