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 c5ff346549e7 (Postfix) with ESMTPS id 7AB2E5D5 for ; Thu, 12 Apr 2018 15:42:03 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,442,1517871600"; d="scan'208,217";a="322585125" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Apr 2018 17:42:02 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6B01D82438; Thu, 12 Apr 2018 17:42:02 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 520718240C for ; Thu, 12 Apr 2018 17:39:57 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sk826@cam.ac.uk; spf=Pass smtp.mailfrom=sk826@cam.ac.uk; spf=Pass smtp.helo=postmaster@ppsw-31.csi.cam.ac.uk IronPort-PHdr: =?us-ascii?q?9a23=3A6NsDXBzYFkXF+crXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+keIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDtU7s6RSqt4LtqSB/wiS?= =?us-ascii?q?cIKTg58H3MisdtiK5XuQ+tqwBjz4LRZoyeKfhwcb7Hfd4CR2VBUMZfWSJCDI2h?= =?us-ascii?q?cYUAE/EMMvxEo4TnvVYCsQeyCAuqCejyyjFInHj23agi3uokDwzNwREuH9MQsH?= =?us-ascii?q?vOttX6LqISXvq2zKnSzDXDdPNW2THn54jObxsspuqMXbFzfMbPyEQiDB/KgU+V?= =?us-ascii?q?qYD/JTyayv4Bs3WY7+d5U++klmApqwZ0oje1x8csjJHEhoMTylDe9CV22pw5Jd?= =?us-ascii?q?OiSEJjbt6kEYdQtyGHN4RtWM8tX2ZouCM8x7YbupC7ZDAHxIkpyhLCcfCLbpWE?= =?us-ascii?q?7g/5WOuSOzt0mXxodK+nixqs7UStzvfwW8q03VpQsCZJjNfBumoQ2xHR6sWKTO?= =?us-ascii?q?Z28F271jaVzQ/T7/lJIUAqmqrfLJ4s2qYwloIIsUXNByP7llj6gLWKeUU/++ik?= =?us-ascii?q?8fjoba/jppOGLYB7lhvyMrktmsCnAOQ4NBYBX3SD9Oih2rDv4Ff1TKhXgvEriK?= =?us-ascii?q?XUs4rWKdkVq6KkGwNV15ws6xe7DzeoytQYmnwHIUpeeBKEjIXlJVDDLevkAvil?= =?us-ascii?q?hlSgii1kyOzcMr38AZXBNmLDn6v5fbZh905czxI+wsxF6JJRDrENOfbzWk7qtN?= =?us-ascii?q?zEFRI5KAy1w+P/CNpnzI8eWGSPArWYMKzIq1OI6PgvcKGwY9o6sTznKvUhr8Xl?= =?us-ascii?q?jXIjlEVVKaag14EWZXT+Bf9mLl+Ue1Ljh94AFSEBuQ9oH8Lwj1jXchUbXHesVr?= =?us-ascii?q?g14zg4EoO9DYHKQMj5m7/RhnmTFZRTIGlNTE2PRyS7P76YUusBPXrBavRqlSYJ?= =?us-ascii?q?AP34E9d4hEOe8TTiwr8iFdL6vygRtJbtzt9wvrSBnhg3szV/SdmegTjUEzNE21?= =?us-ascii?q?gQTjpz55hR5FRnww7ag6NxhrpRHppO5KERC1poBdvn1+V/TuvKdEfBc9OOEg30?= =?us-ascii?q?Ws29HnRqF5Q62N5IaE94XdypyA3AjXOn?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DSAAAJfc9ah4MIb4NchFRvKAqDWYEdl?= =?us-ascii?q?WyBD4ZmjXgBCh6EGksCghoHGgYBBDQUAQIBAQEBAQEBAQETAQEBCgsJCCgjDII?= =?us-ascii?q?1JAGCSAEBAQECASNWBQsLBAcNKgICIQESAQUBHAYThHUDDQgPnCg8iwWCHIcKD?= =?us-ascii?q?SsYaIIqBYoQhBqCT0IBAQKEXoJUAoEjAQEBlgsrAQYBAYVWhWSCfYxEiSM9hiM?= =?us-ascii?q?PAx6BBDOBXQ4IgQE+MQZmgRYBD4FwPoNOgT6JFW4BAQEHjncBAQ?= X-IPAS-Result: =?us-ascii?q?A0DSAAAJfc9ah4MIb4NchFRvKAqDWYEdlWyBD4ZmjXgBCh6?= =?us-ascii?q?EGksCghoHGgYBBDQUAQIBAQEBAQEBAQETAQEBCgsJCCgjDII1JAGCSAEBAQECA?= =?us-ascii?q?SNWBQsLBAcNKgICIQESAQUBHAYThHUDDQgPnCg8iwWCHIcKDSsYaIIqBYoQhBq?= =?us-ascii?q?CT0IBAQKEXoJUAoEjAQEBlgsrAQYBAYVWhWSCfYxEiSM9hiMPAx6BBDOBXQ4Ig?= =?us-ascii?q?QE+MQZmgRYBD4FwPoNOgT6JFW4BAQEHjncBAQ?= X-IronPort-AV: E=Sophos;i="5.48,442,1517871600"; d="scan'208,217";a="261852314" Received: from ppsw-31.csi.cam.ac.uk ([131.111.8.131]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Apr 2018 17:39:56 +0200 X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://help.uis.cam.ac.uk/email-scanner-virus Received: from mail-io0-f175.google.com ([209.85.223.175]:33974) by ppsw-31.csi.cam.ac.uk (smtp.hermes.cam.ac.uk [131.111.8.157]:587) with esmtpsa (PLAIN:sk826) (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) id 1f6eKJ-000fcT-LD (Exim 4.89_2) for caml-list@inria.fr (return-path ); Thu, 12 Apr 2018 16:39:55 +0100 Received: by mail-io0-f175.google.com with SMTP id d6so6818100iog.1 for ; Thu, 12 Apr 2018 08:39:55 -0700 (PDT) X-Gm-Message-State: ALQs6tDbt6hmjNGf9E3VpW8nWAJqNzwpbZ92VURWkh5TneuLholjd0z2 osu8hyHJ28jAaNfIktp/ginfcnLj37O/tXhXOMU= X-Google-Smtp-Source: AIpwx49TVX39ShSNl+kyPvYp+15Mf3pOwZ7XI6wVLV6SNW0gn5QGOTeAjGLL++V+W0Ld1wr/ICGeiCHxT2TMEJNXfB8= X-Received: by 10.107.163.200 with SMTP id m191mr100587ioe.295.1523547594592; Thu, 12 Apr 2018 08:39:54 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.191.135 with HTTP; Thu, 12 Apr 2018 08:39:54 -0700 (PDT) In-Reply-To: References: From: KC Sivaramakrishnan Date: Thu, 12 Apr 2018 16:39:54 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Gabriel Scherer Cc: caml users Content-Type: multipart/alternative; boundary="001a1140ef762cb7140569a891d4" X-Validation-by: sk826@cam.ac.uk Subject: Re: [Caml-list] Use of ephemerons Reply-To: KC Sivaramakrishnan X-Loop: caml-list@inria.fr X-Sequence: 16802 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --001a1140ef762cb7140569a891d4 Content-Type: text/plain; charset="UTF-8" Thanks Gabriel. Hadn't seen that one. On Thu, Apr 12, 2018 at 4:23 PM, Gabriel Scherer wrote: > One notable use of ephemerons within a "compiler fork" is their use in > the runtime of Jacques-Henri Jourdan's statistical memory profiler: > > paper: https://hal.inria.fr/hal-01406809/document > code: https://github.com/jhjourdan/ocaml/blob/memprof/byterun/memprof.c > > On Thu, Apr 12, 2018 at 5:12 PM, KC Sivaramakrishnan > wrote: > > Hi All, > > > > I'm looking to find out the extent of the use of ephemerons in the wild. > A > > quick search for "Ephemerons.set_key" on github led me to a single use > in an > > external library [1], while other uses seem to be wrappers, unit tests or > > compiler forks. Are there other uses of ephemerons in tools or libraries > > which I am missing? > > > > Kind Regards > > KC > > > > [1]: > > https://github.com/dune-universe/dune-universe/blob/ > f49e4812532abee72d3b858ee0aeb7babb933cb6/packages/sexplib0. > v0.11.0/sexp_conv.ml#L118 > -- 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 --001a1140ef762cb7140569a891d4 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Thanks Gabriel. Hadn't seen that one.=C2=A0

On Thu, Apr 12, 2018 a= t 4:23 PM, Gabriel Scherer <gabriel.scherer@gmail.com> wrote:
One notable use of ephemerons w= ithin a "compiler fork" is their use in
the runtime of Jacques-Henri Jourdan's statistical memory profiler:

paper: https://hal.inria.fr/hal-01406809/document=
code: https://github.com/jhjourdan/= ocaml/blob/memprof/byterun/memprof.c

On Thu, Apr 12, 2018 at 5:12 PM, KC Sivaramakrishnan <sk826@cam.ac.uk> wrote:
> Hi All,
>
> I'm looking to find out the extent of the use of ephemerons in the= wild. A
> quick search for "Ephemerons.set_key" on github led me to a = single use in an
> external library [1], while other uses seem to be wrappers, unit tests= or
> compiler forks. Are there other uses of ephemerons in tools or librari= es
> which I am missing?
>
> Kind Regards
> KC
>
> [1]:
> https://github.com/dune-unive= rse/dune-universe/blob/f49e4812532abee72d3b858ee0aeb7babb933cb6/p= ackages/sexplib0.v0.11.0/sexp_conv.ml#L118

--001a1140ef762cb7140569a891d4--