From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ligand@free.fr>
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 07E108240C
	for <caml-list@sympa.inria.fr>; Mon,  9 Apr 2018 07:20:11 +0200 (CEST)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ligand@free.fr; spf=None smtp.mailfrom=ligand@free.fr; spf=None smtp.helo=postmaster@smtp2-g21.free.fr
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  ligand@free.fr) identity=pra; client-ip=212.27.42.2;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ligand@free.fr"; x-sender="ligand@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  ligand@free.fr) identity=mailfrom; client-ip=212.27.42.2;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ligand@free.fr"; x-sender="ligand@free.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp2-g21.free.fr) identity=helo;
  client-ip=212.27.42.2;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ligand@free.fr";
  x-sender="postmaster@smtp2-g21.free.fr";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3A0UuRmR8NHsh9aP9uRHKM819IXTAuvvDOBiVQ1KB4?=
 =?us-ascii?q?0OgcTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?=
 =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?=
 =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?=
 =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?=
 =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMsrqQ740Rzmu9r5nRQLyhy?=
 =?us-ascii?q?gaKzM27WfXhNBsg6JFvR2tuQF0z4rUbY2IMfZzeL7Wc9EHSmpbRsteWDBODIyy?=
 =?us-ascii?q?YYUPEeQPIOVWrobzqFYVsRuzBwusCP/zxjJSmHP727Ax3eQ7EQHB2QwtB9YOsH?=
 =?us-ascii?q?XbrNrvMqcdTPu4zKfSzTrdcfxawzn96JLOfxs8r/+MWrdwftDQyUkpDw7KlEmf?=
 =?us-ascii?q?qYn/MzOSzOQNvHCX4PRkVeK0jm4osQdxriKzyccrj4nEgJ8exFPc9Shh3oo5OM?=
 =?us-ascii?q?O0RFRlbdOmCpdduD+WO5FoTs86XW1kpTo2xqcbtZO1fyUG0poqyhHFZ/Cab4SF?=
 =?us-ascii?q?4BTuX/uLLzhinnJqYre/ig6y8Ue+zu38UdG50E1PripZitnAqGkB1xPN5sSaUP?=
 =?us-ascii?q?d98F2h1iiR2AzJ5OFEO1g4lavdK5E/3r49joQfvVndEiPshkn7jrWae0o69uSy?=
 =?us-ascii?q?9ejrerDmqYWdN49whAH+KKMumsmnDOQ8MwgOUHKU+eKh27D48035WqtFgeMsnq?=
 =?us-ascii?q?nXqpDWPd4bqbKhAw9JzoYj7A6yACu839QdmXkLNVZFeBOcj4j1IFzOO/D5DfKn?=
 =?us-ascii?q?g1u2ijtrxvbGPqfgAprXNHTDnq3hLv5B7BtXwQ83iNRe/I58C7cbIfu1VFWims?=
 =?us-ascii?q?bfC0o9MgO9xerPBs9w28UQQzHcSpSFOb/f5AfbrtkkJPOBMdJM4WevG70e//fr?=
 =?us-ascii?q?yEQBtxoYdKit04EQbSHqEO5rLgOXeyi024tTISIxpgM7CdfSphiaSzcCNXioUq?=
 =?us-ascii?q?966CtpUNv7X7eGfZikhfm65An+HpBSYTkXWEuJDW+yMoreArECci+fZMF7wGQJ?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRCQAo98paaAIqG9Rbg3NhbyiYaoMDk?=
 =?us-ascii?q?l4TgWYLBR6HGxkGBjcRAQIBAQEBAQEBAQETCw0JBiglDII1DAyCWjoCMSKBRYR?=
 =?us-ascii?q?sARcFAQqmJIY7CYE0RIIeh2uCE4NiggKBJhcDARiBCoEEhQgCjFqKbQiBNIQii?=
 =?us-ascii?q?FcIh0SEf4kchmqBJTYKgWZ0S4JDCYVzhRSFTWABAQGPSAEB?=
X-IPAS-Result: =?us-ascii?q?A0BRCQAo98paaAIqG9Rbg3NhbyiYaoMDkl4TgWYLBR6HGxk?=
 =?us-ascii?q?GBjcRAQIBAQEBAQEBAQETCw0JBiglDII1DAyCWjoCMSKBRYRsARcFAQqmJIY7C?=
 =?us-ascii?q?YE0RIIeh2uCE4NiggKBJhcDARiBCoEEhQgCjFqKbQiBNIQiiFcIh0SEf4kchmq?=
 =?us-ascii?q?BJTYKgWZ0S4JDCYVzhRSFTWABAQGPSAEB?=
X-IronPort-AV: E=Sophos;i="5.48,426,1517871600"; 
   d="scan'208";a="321848880"
Received: from smtp2-g21.free.fr ([212.27.42.2])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Apr 2018 07:20:10 +0200
Received: from webmail.free.fr (unknown [172.20.243.54])
	by smtp2-g21.free.fr (Postfix) with ESMTP id 34BCC2003C1
	for <caml-list@inria.fr>; Mon,  9 Apr 2018 07:20:10 +0200 (CEST)
Received: from [210.138.34.107]
	by webmail.free.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII;
 format=flowed
Content-Transfer-Encoding: 7bit
Date: Mon, 09 Apr 2018 14:20:10 +0900
From: ligand@free.fr
To: caml-list@inria.fr
Message-ID: <1ecada996e0b0d0069daf03241622159@free.fr>
X-Sender: ligand@free.fr
User-Agent: Webmail Free/1.3.3
X-Validation-by: ligand@free.fr
Subject: [Caml-list] Would it be possible to add automatic, region-based
 memory management to OCaml?

Dear list,

Would it be possible to have automatic, region-based memory management 
in OCaml?

Also, would it have a better run-time performance than using the current 
GC?

Would it completely replace the GC or would the two systems have to 
cohabit?

I have seen even optimized OCaml programs spend 20% of their time doing 
GC.
I wonder if parts of those 20% could go away.

This is an honest question, I am not a PL/compiler expert.

Here is some bibliography that I could find or that was advised
to me:

https://dl.acm.org/citation.cfm?id=268946.268949
http://www.elsman.com/mlkit/pdf/mlkit-4.3.0.pdf
http://www.elsman.com/pdf/pldi2002.pdf

Of course, I don't want to have to annotate source code in any way.
I am thinking about a static analysis pass.

Regards,
Francois.