From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D75518240C for ; Sat, 12 May 2018 12:54:06 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=fperriot@gmail.com; spf=Pass smtp.mailfrom=fperriot@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f43.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of fperriot@gmail.com) identity=pra; client-ip=209.85.215.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fperriot@gmail.com"; x-sender="fperriot@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of fperriot@gmail.com designates 209.85.215.43 as permitted sender) identity=mailfrom; client-ip=209.85.215.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fperriot@gmail.com"; x-sender="fperriot@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f43.google.com) identity=helo; client-ip=209.85.215.43; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="fperriot@gmail.com"; x-sender="postmaster@mail-lf0-f43.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AraY8mhHVTpl15QpLX0L/E51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zp8qwAkXT6L1XgUPTWs2DsrQY07GQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDSwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95TWCxPAo2y?= =?us-ascii?q?YYgBAfcfM+lEtIT9u0cCoAGiCQWwGO/iyDlFjWL2060g1OQhFBnL0gw6H90QrX?= =?us-ascii?q?vbss/1NKYOXuuo1qfH0y/Db+lX2Tf69IjDbxcsof+UXb1ua8rR00gvFwTZjliL?= =?us-ascii?q?pozlOima1uUJs2SB8+VgUuevhnchpgpsrDavwcIshZPIhoIT0l3E9z92wIArKt?= =?us-ascii?q?2jVE57e8CrH4VMty2AK4R2RcYiTmd1syg50r0LoYC3cDQOxZg9xBPSa+aLf5aV?= =?us-ascii?q?7h/jTuqcLjl1iXR4c7ylnRmy61KvyujkW8m0zllKqi1Fn8HJtn8X1hzT7tGLSv?= =?us-ascii?q?9z/ku9wDqP2Q/e5+9eLUA7kqrbLJEhwroumZYJrUvDGSr2lF33jK+QaEok5vCl?= =?us-ascii?q?5/r7brjivJORNI95hhvgPqgzmsGzG+s1PwYWU2ie4+u81bnj/UPjQLVNi/07iq?= =?us-ascii?q?fZsIjEKsQBvK65AghV0po45hawCjepytUYnX0dIF1ZfxKHipDlO0vSL/DgEfe/?= =?us-ascii?q?n1OsnS93yP/cO73hBozBLnzCkLf6YbZw8FVcyQo2zdBH/Z1YELABIPTpWk/wrt?= =?us-ascii?q?PUFBE5Mxbni9rgXe5h14EYEU6CHLWYPaXerRfc3f4uIe/KSIILojfwLfQ5z+Hi?= =?us-ascii?q?hjkynlpLLoez2p5CRmq1Evl8Ik7RWXf2mNYGDS9esBIzVvbrj0GqXjtaZnL0VK?= =?us-ascii?q?U5sGJoQLm6BJvOE9j+yIeK2z22S9gPPjgfWwK8VEzwfoDBYM8iLSebI8tviDsB?= =?us-ascii?q?DOHzRIoo1BXovwj/meM+crjkvxYAvJem7+BbovXJnEhrpzNxBsWZlWqKSjMsxz?= =?us-ascii?q?5ad3oNxKl65HdF5BKD3Kx/2aEKENVS47ZNXF9/O8KHieN9DN/2V0TKedLbEFs?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D7AQCBx/ZafyvXVdFbHAEBAQQBAQoBA?= =?us-ascii?q?YQkeygKg2iDbYQXjHCBeYEPh2SLToF4CyOESQKDAgcZBwEEMBgBAgEBAQEBAQE?= =?us-ascii?q?BARMBAQkLCwgmJQyCNSQBgk8BBAEjHQEbHQEDAQsGBQsPAiYCAiIBEQEFARwGE?= =?us-ascii?q?4MlgWYBAw0ID6AAPIsFgX8FAReCcAWDWgoZJg1UV4IfAgEFEneHHIFUP4Qah3O?= =?us-ascii?q?CVAKYNQmFZ4hqgSgBi0SJVIZ/DwMegQQcggozGggbFTsxghKCFINoilQ9MJEPA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0D7AQCBx/ZafyvXVdFbHAEBAQQBAQoBAYQkeygKg2iDbYQ?= =?us-ascii?q?XjHCBeYEPh2SLToF4CyOESQKDAgcZBwEEMBgBAgEBAQEBAQEBARMBAQkLCwgmJ?= =?us-ascii?q?QyCNSQBgk8BBAEjHQEbHQEDAQsGBQsPAiYCAiIBEQEFARwGE4MlgWYBAw0ID6A?= =?us-ascii?q?APIsFgX8FAReCcAWDWgoZJg1UV4IfAgEFEneHHIFUP4Qah3OCVAKYNQmFZ4hqg?= =?us-ascii?q?SgBi0SJVIZ/DwMegQQcggozGggbFTsxghKCFINoilQ9MJEPAQE?= X-IronPort-AV: E=Sophos;i="5.49,391,1520895600"; d="scan'208";a="264990083" Received: from mail-lf0-f43.google.com ([209.85.215.43]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 May 2018 12:54:05 +0200 Received: by mail-lf0-f43.google.com with SMTP id t129-v6so11410639lff.3 for ; Sat, 12 May 2018 03:54:05 -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=mcuPnzk1cDG32O4nHVJr/cWMXrE4D3PuKjNfByk98ds=; b=pWRLsPjpJb0MNiwPwq0Xd8moyrLq1FIIibn/Mu14QFiPC1Ajpri8wyP8pfOnKRnq6Z Z7K2tlATno6JyaLwsN+fmZIm3j58GlyrzeWjfJl74L++ZpBooJOp49SSCjEw7AEKEoqc 3LY+l7z3fZ4vfMMnvj3FGF5RJB9XOr+s3zcE+f2cVKpFluOPuBoXPnQoxULhW9RdZL2y f4tYFfssbbtNmn0YpZ8iCCMILVXckVXK50n2Pl30AWMD6eYlbnA7MTnA0HzzccK8Vs1S z5Ju5epvx/+85nK0HQwmJJWFyNWVQNGcdnPtf4ZamIEK4X693S+3DsdLDu6HVfRaAGhg BBBQ== 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=mcuPnzk1cDG32O4nHVJr/cWMXrE4D3PuKjNfByk98ds=; b=jfEMcbj3rDeyw8vwZgrw5eRwe8vYi7cuyiL+G3D8rFJZWcSQijH1ZrVjMohqxhdF92 ESR3iywkU91Hvr5lPcZuv5s4oUdNDYUpdnNqpmoaDXHgrRxTwTgk7ygNo58FIwfxJXbB q2Q3iUwGe15z0FPtAD+Cna6qFMkEFDERDQeStPE6zwLhj5GRC/sxdw1/7mrGxUB7vDf6 tW44ZxnWViC77PmOtcZ3jDw8zBat3YH5nST1fJ64ewiDgmH5wbroHqQ+WH2LxqiOaz5D qggAC/RY4XT6zVsXIwZm3x6wkWpgF1kB4s9ujSNXTNCrH5JScLCsKNYkehBItWKG0yMo dIOw== X-Gm-Message-State: ALKqPwdh/mYt5Lja5c2rZZIn1uPVxAAn3y/Vdf9qdmAlJCE3GTEG5MKO ygq9pLUQEkTV8C8En78nWZ03dP/mIUUb53oECvKKxEPa X-Google-Smtp-Source: AB8JxZqjaW/NJ3+OxaqOgQuEHhuRbwjG7YRk7Er/do769w0wwaiLSf04FoTExXRqK0+RExy3XDpSBWGr0IapcId9iCE= X-Received: by 2002:a19:16c2:: with SMTP id 63-v6mr3626491lfw.3.1526122444762; Sat, 12 May 2018 03:54:04 -0700 (PDT) MIME-Version: 1.0 Received: by 10.46.85.200 with HTTP; Sat, 12 May 2018 03:54:04 -0700 (PDT) In-Reply-To: References: <20180504164816.61724b3b@jabberwock.cb.piermont.com> From: Frederic Perriot Date: Sat, 12 May 2018 12:54:04 +0200 Message-ID: To: Stijn Devriendt Cc: "Perry E. Metzger" , Chet Murthy , caml-list Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] a bad value detector On Fri, May 11, 2018 at 7:54 AM, Stijn Devriendt wrote: > A scheme with 2 minor heaps that alternate could give those allocations the > time they need to become stale, avoiding cluttering the major heap with all > expected beneficial side-effects. Hello Stijn, I believe there's already work in this direction, you may be interested in: https://blog.janestreet.com/building-a-lower-latency-gc/