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 143AF5D5 for ; Tue, 17 Apr 2018 10:03:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.48,463,1517871600"; d="scan'208";a="323202631" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Apr 2018 12:03:42 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 6D9B182448; Tue, 17 Apr 2018 12:03:42 +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 8FE2D8242B for ; Tue, 17 Apr 2018 12:03:33 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oleg@okmij.org; spf=Pass smtp.mailfrom=oleg@okmij.org; spf=None smtp.helo=postmaster@mail1.g3.pair.com IronPort-PHdr: =?us-ascii?q?9a23=3Aw3ngsBxUFoW4bo3XCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OoeIJqq85mqBkHD//Il1AaPAd2Araocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HdbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHmiC?= =?us-ascii?q?kJKSM3/mLYhcNska1Uohyuqgdjw4LIeoyZKOZyc7nDcd4cWGFPXtxRVytEAo6k?= =?us-ascii?q?doUPC/QOPelFpIT6oFsOqQWxBQa3CePoyT9Ig3723a8g3+QmCwHG0xUtEtQTu3?= =?us-ascii?q?raq9X1Mb0dUeGzzKTQ1jXMcfZW1i376IjUcxAuveqMUq5wccrWzUkgDRnFgk+X?= =?us-ascii?q?qYz/MDOY0PkGvWuD7+d4VO+iinQrpg91rzS1yMogkJTFip8ax1zc6Cl0zpo5Kc?= =?us-ascii?q?e2RUN0e9KoDZ9duz+AO4Z4Tc4vRXxjtjwgxb0co5G7eTAHyJQ5yB7bbPyKa42I?= =?us-ascii?q?7QjiVOaVPDt0nn1ldbylixaq60egy/f8WtOo31ZNqypJitjMtnYT2BzP8sWKS/?= =?us-ascii?q?pw8l2v1DuLzQze5PtILV0pmafUM5Ihx6Q/lpsXsUTNBC/2n0D2gbeRdkUg5Oeo?= =?us-ascii?q?5P/qYrLlpp+ZNo90iBvyMqM0msywGeg4KBQBX3CH+eSg073u5VH2T69Pjv0yi6?= =?us-ascii?q?XZtJHaJd8HpqOiGA9U0oMj6w6lADu80dQYm2MHLFNfdx6dgYjpIQKGHPetBv66?= =?us-ascii?q?hxGokSx37/HAJLzoRJvXfVbZl7K0WrJw5AYIzw4+wvhY5JdVCPcGOv2lCRy5j8?= =?us-ascii?q?DREhJsa1/8+O3gEtgojtpPC1LKObeQNebpiXHN4+suJ+eWY4pM4WT6KP0k5bjp?= =?us-ascii?q?l3BrwAZBL5ns5oMebTWDJtojO1+QOCO+hdQEEGVMuRAxHrSz1Q+yFAVLbnP3ZJ?= =?us-ascii?q?oSozE2DIX/XNXGT4Gp2fqOh2GjF5xMIGtBDwLUHA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C/AQAQxdVah3IDJ0JdhFR6jHCMNYMDk?= =?us-ascii?q?miBeAsehEsCglMZBwEEMhYBAgEBAQEBAQEBARMBAQEKCwkIKCMMgjUigkwDAzp?= =?us-ascii?q?aITQFhWkPqCGIQoIgBYgGgVNAg2wuhT+CZIIkAoxliwMIgjWLewuBNIEVhSKEY?= =?us-ascii?q?pAjgSUjB4F8TTAIGoJlgi2IYoVNao8DAQE?= X-IPAS-Result: =?us-ascii?q?A0C/AQAQxdVah3IDJ0JdhFR6jHCMNYMDkmiBeAsehEsCglM?= =?us-ascii?q?ZBwEEMhYBAgEBAQEBAQEBARMBAQEKCwkIKCMMgjUigkwDAzpaITQFhWkPqCGIQ?= =?us-ascii?q?oIgBYgGgVNAg2wuhT+CZIIkAoxliwMIgjWLewuBNIEVhSKEYpAjgSUjB4F8TTA?= =?us-ascii?q?IGoJlgi2IYoVNao8DAQE?= X-IronPort-AV: E=Sophos;i="5.48,463,1517871600"; d="scan'208";a="323202548" Received: from mail1.g3.pair.com ([66.39.3.114]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Apr 2018 12:03:32 +0200 Received: from mail1.g3.pair.com (localhost [127.0.0.1]) by mail1.g3.pair.com (Postfix) with ESMTP id 59D3D3FB1A7; Tue, 17 Apr 2018 06:03:30 -0400 (EDT) Received: from Magus.localnet (g.sf.ecei.tohoku.ac.jp [130.34.192.34]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail1.g3.pair.com (Postfix) with ESMTPSA id BA4ED582C91; Tue, 17 Apr 2018 06:03:29 -0400 (EDT) Date: Tue, 17 Apr 2018 19:10:52 +0900 From: Oleg To: caml-list@inria.fr Message-ID: <20180417101052.GA3192@Magus.localnet> Mail-Followup-To: Oleg , caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <587a5888-629b-1257-2035-4fefc0308ab5@gmail.com> User-Agent: Mutt/1.6.1 (2016-04-27) Subject: Re: [Caml-list] Would it be possible to add automatic, region-based Reply-To: Oleg X-Loop: caml-list@inria.fr X-Sequence: 16827 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: I believe no discussion of region memory can proceed without mentioning the following paper: author = {Tofte, Mads and Birkedal, Lars and Elsman, Martin and Hallenberg, Niels}, title = {A Retrospective on Region-Based Memory Management}, journal = j_hosc, year = 2004, volume = 17, number = 3, pages = {245--265}, https://www.semanticscholar.org/paper/A-Retrospective-on-Region-Based-Memory-Management-Tofte-Birkedal/0f091484790fc7a4807c3bf4d6019db63d1d4097 I have nothing more to say about this paper except that it is a must read. See specifically ``Things we believe work well'' and ``Things that have disappointed'' near the end of the paper. -- 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