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 ESMTP id CF01A5D5 for ; Thu, 12 Apr 2018 15:24:47 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,442,1517871600"; d="scan'208";a="322581852" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Apr 2018 17:24:46 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 39C3F82444; Thu, 12 Apr 2018 17:24:46 +0200 (CEST) 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 CF3A48240C for ; Thu, 12 Apr 2018 17:24:32 +0200 (CEST) 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-f180.google.com IronPort-PHdr: =?us-ascii?q?9a23=3APGRjuRUjNDSepdxs8+5E4Gm3eCPV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBGHt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlD?= =?us-ascii?q?kIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZAIy8?= =?us-ascii?q?YYsBAeQCM+hFsYfyu0ADrQeiCQS2GO/j1iNEi33w0KYn0+ohCwbG3Ak4EtwPqn?= =?us-ascii?q?vbt8/1NKYMXuCx0aLG0CnMb/NI1jfn9ofIaA0qrPaDXb1qasXR00gvGB3BjlmK?= =?us-ascii?q?sozqIzOV2foXs2eF9eptTu2vi2s9pAFwpjij3Nsjio7Mho8MzF3P6Ct3wIEwJd?= =?us-ascii?q?KiSU57Z8apEJpWtyGANot5WNkuQ29yuCoixb0GuIK7fCgXyJs83RLQd/uHc42O?= =?us-ascii?q?7xn+V+iROS91iGx5dL+7nRq/8kitxvfiWsWp0VtGtDdJn9rQun0Lyhfd8NKISu?= =?us-ascii?q?Fn8UekwTuP1x7c6uVDIU0skKrUMZ8hwropmpoKrUTPAjb6mEvrgKKVakko4Oeo?= =?us-ascii?q?6+PgYrXpop+TKZV4hR35MqQrgsC/AOI4PRYSX2WD5+iwyLnu8Vf6TbhKlPE6jL?= =?us-ascii?q?TVvZHAKcgGpaO1HxdZ0oM55Ba+Czem3s4YnX4CLF9ddxKIlZPmO0vPIP/mCfez?= =?us-ascii?q?mU+snytrx//YJL3uHI/NI2PMkLfkZ7l96kpcxBAvwtBY4pJYEqsBL+7rWk/tqN?= =?us-ascii?q?zYCQc0PBCuzObiDNVxz4ceWWOUAq+FK67Sql+J5uc3I+aWfoMVuTD9K+Ik5/H0?= =?us-ascii?q?l3M5l0UdLuGV2s40QziDH+pvOUycaHn2g8wBF24M9l4lT7yw1nWJWDsVbn30Qq?= =?us-ascii?q?FqtR8hD4fzIo7JXIGghPS61ye2BJBMLjRJA1qWEHrsMZ6PW/oWZTi6LcpokzhC?= =?us-ascii?q?Xr+kHdxynSqyvRP3nuI0ZtHf/TcV4Ne6jIAstr/j0Coq/DkxNPyzlmSETmV6hG?= =?us-ascii?q?QNHmZk06V2oEg7wVCGg/Eh365oUOdL7vYMaT8UcIbGxrUjWd/3UwPFONyOTQT+?= =?us-ascii?q?G4j0MXQKVts0huQ2TQN9FtGl1E6R2iOrB/oMi+TOCsVkquTT2H/+I8s7wHHDhv?= =?us-ascii?q?Es?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BKAgDWeM9ahrTYVdFcDoRGbygKg1mDb?= =?us-ascii?q?ZEogXSBD4dKjRQLHoQaSwKCGgcZBwEENBQBAgEBAQEBAQEBARMBAQEICwsIKCM?= =?us-ascii?q?MgjUkAYJJAQIDIx0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhOEdAEDFQ+cKTyLB?= =?us-ascii?q?YF/BQEXgm8Fg04KGSYNVFeCJwIBBRJ3hnSBVD+EGoMRAQEChF6CVAKXXQiBYIN?= =?us-ascii?q?2iGGMRIkjhmAPAx6BBDOBXQ4IMxojTzGCEoIug06BPohaPD0wAQEBB453AQE?= X-IPAS-Result: =?us-ascii?q?A0BKAgDWeM9ahrTYVdFcDoRGbygKg1mDbZEogXSBD4dKjRQ?= =?us-ascii?q?LHoQaSwKCGgcZBwEENBQBAgEBAQEBAQEBARMBAQEICwsIKCMMgjUkAYJJAQIDI?= =?us-ascii?q?x0BGx0BAwwGBQsNAgImAgIiAREBBQEcBhOEdAEDFQ+cKTyLBYF/BQEXgm8Fg04?= =?us-ascii?q?KGSYNVFeCJwIBBRJ3hnSBVD+EGoMRAQEChF6CVAKXXQiBYIN2iGGMRIkjhmAPA?= =?us-ascii?q?x6BBDOBXQ4IMxojTzGCEoIug06BPohaPD0wAQEBB453AQE?= X-IronPort-AV: E=Sophos;i="5.48,442,1517871600"; d="scan'208";a="322581725" Received: from mail-qt0-f180.google.com ([209.85.216.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Apr 2018 17:24:31 +0200 Received: by mail-qt0-f180.google.com with SMTP id j26so6570597qtl.11 for ; Thu, 12 Apr 2018 08:24:31 -0700 (PDT) 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=DQj99ynPv4xwg2h+lvtvMnzM0aKa1kSUHLVA0RmKVIo=; b=fBn5sCGSMNMMfEwEF8zxzLb6MBwENlSBpyPKnPt9RI7Gf9RbbVBUG+T6SUmxpbg+Ev UP4tIpuH26Fbe3GKlrl6M20uvigEcL77rbt2MbTlFvJv3zQXMzo/LTz+Q4nhSc5H88nO gQlUX5CyEXkcjb6qD1ItXZV7RshOmDLMnRKxdjlwGBUhsfvKxPCy+qQBfTSrW1/M+fY1 PcqnoOPogyRznFlXMdZrUt7QC+mxP2ILLeKWzfvrKNu7GKedN/Q9OwK5tWYM4Hk3gxNc taIM0L6g1TQDDjfeYIMnB9fj893B/OCUFEO6a+ZiyhazbM8TtyrrOyU0l/VZA/PRc+rZ zLmQ== 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=DQj99ynPv4xwg2h+lvtvMnzM0aKa1kSUHLVA0RmKVIo=; b=AlRo2PJVGVpwvU7unD4liwRUxjBNpcwsbTi/ySPISa+Kx8aBjGy8T1BHgcF0zReZJF hWMlctn3ipwAn+ucghVhoIboq83v/74wYf7DZvLdxSaC9+YI+OIoBCB9QJGnNOfUWoFg kSzlrO2+0ToM4Q/GKaezFztL4+6Ado2hNtlWW5VKMuADe7USrS0YWlb9nQ+OZRwJZxrx MVA9wqXBeXqdC/Cr0KmlJ6jnU4cMBHDtR67PvZJuyvR2+qEGOr+Ey3nTxoCc26C5pb8M ak4Raz8tk9rNxqjnU8TdhE9CM1/In1z61r/nYNuXhANH09YrA7PVzJPEZZeXR2x+CSC7 VkCA== X-Gm-Message-State: ALQs6tC8wXpI8kYW9p/XDvsMcMYpeuw+l9ZarlfA925nyoBjheNAv509 jRxCFRXUuBNJJAG9eNix9ZoEyQrDRQZ7xUlMCsE= X-Google-Smtp-Source: AIpwx48wQgP3ShuH9ZpvOK6UDK+WK7kTKKSE8MDEwd0MpgGqH84kJWx5KegyfShvmrtoaQ4QQ8/EUwovqBI/Rlky0sA= X-Received: by 10.200.43.49 with SMTP id 46mr1799671qtu.97.1523546670581; Thu, 12 Apr 2018 08:24:30 -0700 (PDT) MIME-Version: 1.0 Received: by 10.12.132.3 with HTTP; Thu, 12 Apr 2018 08:23:49 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Thu, 12 Apr 2018 17:23:49 +0200 Message-ID: To: KC Sivaramakrishnan Cc: caml users Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Use of ephemerons Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 16801 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: 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