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 D981E5D4 for ; Wed, 9 May 2018 08:40:12 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,381,1520895600"; d="scan'208";a="326251881" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 May 2018 10:40:08 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EABB18244E; Wed, 9 May 2018 10:40:08 +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 6F71E8240C for ; Wed, 9 May 2018 10:39:59 +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-f51.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ATwt9iB+9mMAs+P9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2u8cTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsYSmpPXshfWS9PDJ6i?= =?us-ascii?q?YYQTFOcBIfpUopPhq1cSsRezBw+hD/7vxD9SgX/22LU33eQ7EQ7YwQMvAcgOsH?= =?us-ascii?q?XIo97oLqkdT/q1zLPJzTXEc/NdxDDw6IbQch8/u/GMR7Nwcc3NyUQ0GAPFi0+f?= =?us-ascii?q?qY3hPz+PyusNtG2b4vNmWOmyiGAnsxl8riazysookIXEhYIYxkra+SlkwIs5P9?= =?us-ascii?q?21RFN9bNW5CpVfrTuaOJFzQs46Q2FnpiI6yroetJ6+ZicKyZAnywfba/yJb4SE?= =?us-ascii?q?+xzjWeaMLTtii3Jlf7W/hxm28Ue+0OHzSs600FNSoipElNnDqGwN2gTN5sSbTv?= =?us-ascii?q?Zx5ESs1DaV2wzN9+1JIVo4mKrGJ5I5x74/jJsTsUDNHi/sn0X2ibebdks8+ue2?= =?us-ascii?q?8eTneLTmppiAN4JvhQH+N74hms27AegiLgcOWG2b9fym1LL/5U35XKlKjvoun6?= =?us-ascii?q?bFqp/aIMAbqre9Aw9UyYYj9w2yDyym0dQdhXkINkhJeBOBj4jzOlHBOur0Dfml?= =?us-ascii?q?gwfkrDA+jcjLJKfwSriLZl3OjKXucKw3oxpExRAp3PhH5p9OD7YHPLT4XUqn8J?= =?us-ascii?q?TzDhIleymp2frnGZ0p054ERWKeRKSZPb/6vlqB5+ZpKO6JMtw7ojH4ftY/6vLj?= =?us-ascii?q?l34y0WcQZ7Oo2odfPH6gE+58IkKFSXXpi9YFV2wNu1xtH6TRlFSeXGsLND6JVK?= =?us-ascii?q?Um62R+Udr+VNaRdsWWmLWEmRyDMNhTb2FCBEqLFC6xJYqBUvYILimVJ504y2BW?= =?us-ascii?q?Zf2aU4YkkCqWmkri0bM+d7jb/yQZsdTo090nv7SOxyF3ziR9CoGm60/IT2xwmT?= =?us-ascii?q?lVFTo/3aQ6pUIlj1neiO53hPtXEdEV7PRMAF83?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxBADQsvJafzPXVdFcHAEBAQQBAQoBA?= =?us-ascii?q?YNnAYE2KAqDZYNtkQuDCIdijT8LhGwCgl4HGQcBBDQUAQIBAQEBAQEBAQETAQE?= =?us-ascii?q?JCwsIJiUMgjUkAYJPAwMjHQEbHQEDDAYFCw8CJgICIgERAQUBHAYBhR0BAxWcF?= =?us-ascii?q?zyLBYF/BQEXgnAFg0wKGSYNVFeCQAIGEneHHIFUP4Qah3OCVAKHHIlnhykIjDm?= =?us-ascii?q?CFoxikEEPAx6BBDOBczMaCBsVOzGCEoIUDBeDRYpUPTCRJAEB?= X-IPAS-Result: =?us-ascii?q?A0BxBADQsvJafzPXVdFcHAEBAQQBAQoBAYNnAYE2KAqDZYN?= =?us-ascii?q?tkQuDCIdijT8LhGwCgl4HGQcBBDQUAQIBAQEBAQEBAQETAQEJCwsIJiUMgjUkA?= =?us-ascii?q?YJPAwMjHQEbHQEDDAYFCw8CJgICIgERAQUBHAYBhR0BAxWcFzyLBYF/BQEXgnA?= =?us-ascii?q?Fg0wKGSYNVFeCQAIGEneHHIFUP4Qah3OCVAKHHIlnhykIjDmCFoxikEEPAx6BB?= =?us-ascii?q?DOBczMaCBsVOzGCEoIUDBeDRYpUPTCRJAEB?= X-IronPort-AV: E=Sophos;i="5.49,381,1520895600"; d="scan'208";a="264713253" Received: from mail-lf0-f51.google.com ([209.85.215.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 May 2018 10:39:58 +0200 Received: by mail-lf0-f51.google.com with SMTP id y72-v6so36016709lfd.2 for ; Wed, 09 May 2018 01:39:58 -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=NeOgiPKwdm3O+YewJd4zh7uxaacuvZ3TWrtfMxNRkUQ=; b=LgdwViOENGen35XWTi+bkk1eR2GKXMHwGuF3Eci0mW/du6iz+G9ZzPZneADfefdazX 0bO3SsHwwjKTSI0c6juIZLC0juJ9ExjP2NgLdvIFXoZxLV4kLWjgL0j4DQqJD+R3MTdo ntOkKw7wtnXvCzgMfgt4A0xWhnNhz657SSlcIwyT4dTqvAdlVIaMge7BvRSjQDS+0kIR H5Ac/bD1SIezjN2IavNeB2IPZN2qMxqZO/AjjijcXj5y6XXMX8YxuZEbazS2UlCjUJ2q 0+0XMAo01ER/SLQKwcVMJH4CBmXAaHosG3EjrMBgDcMcoBcXqfM6jdo9wYQ7jI9R2Ubs Shfw== 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=NeOgiPKwdm3O+YewJd4zh7uxaacuvZ3TWrtfMxNRkUQ=; b=L/Lj3koUxht98EyGNU18Sx2RtMw7NSbuy80qcmB5TLWi2vV6v00Jm9BIC3rhtzizMd hBixxirgAWJHCOZytVseA1eSHmZwoiaBrp+yyvpRJa+QrdoQwI9rt+wVUP/XeWmQ+fKU GrUi8+yrUE3HKUXxI2UZ0e6+aRfTjsc7kChn68SteCTPHL1nBD129h5afMZ3RG6+1xWJ ztkSa0GqcupPPqAz9jI2Ng3BMTkc3Owlquu2e0BmvwK6Xuv6u5AycAsP7ieItLVcOyRn byfFK6MkuPfD1kUdCvDEPaiE8ot2HOtywew1J4UbSMixn49xx7bCVtbmzqktQLz8ffPU VOaw== X-Gm-Message-State: ALQs6tABIm40RNN29s/o07ZDamxQXN+S9avBiU1JMqyDcwR7StoAqFJ7 Q0O4HwQwPXHw6UXkAiL6YQ5hQouHH12upLnUFlgQXDtw X-Google-Smtp-Source: AB8JxZqi2xDV87+S4f+bp4axyQ9y0d3AVQDo+mP4NogIdxnHIlYw1r0FRflkWwwgvgjY+nSjfxG6+XadIcrbQJuqRjo= X-Received: by 2002:a19:59c5:: with SMTP id n188-v6mr27384282lfb.53.1525855197810; Wed, 09 May 2018 01:39:57 -0700 (PDT) MIME-Version: 1.0 Received: by 10.46.85.200 with HTTP; Wed, 9 May 2018 01:39:57 -0700 (PDT) In-Reply-To: <20180504164816.61724b3b@jabberwock.cb.piermont.com> References: <20180504164816.61724b3b@jabberwock.cb.piermont.com> From: Frederic Perriot Date: Wed, 9 May 2018 10:39:57 +0200 Message-ID: To: "Perry E. Metzger" , Chet Murthy Cc: 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: 16886 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: Perry E. Metzger answered: > Once, I built a precise garbage collector for a language I'd > implemented in C. It was a simple Cheney collector with two > semispaces. I munmapped the unused semispace after each gc. > [...] I only now realize your very trick is applicable to Ocaml's generational GC too: just alternate the young generation between two virtual address ranges. Then well-behaved programs should incur no page faults. I'll give it a try, thanks. Chet Murthy said: >If I remember correctly, a company once started with Boehm's conservative GC, and by doing things somewhat like you suggest, built a memory-leak-detector product. Interesting. thank you guys, regards, FP -- 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