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 52DCE5D4 for ; Sat, 12 May 2018 10:54:15 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,391,1520895600"; d="scan'208";a="326590654" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2018 12:54:14 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E414A8244E; Sat, 12 May 2018 12:54:13 +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 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 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 Reply-To: Frederic Perriot X-Loop: caml-list@inria.fr X-Sequence: 16891 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: 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/ -- 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