From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8fd45d32d7c94df3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.93.MISMATCH!xlned.com!feeder7.xlned.com!newsfeed.kpn.net!pfeed09.wxs.nl!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: User Defined Storage Pool : did you ever experiment with it ?
Date: Mon, 24 Jan 2011 16:48:24 +0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven
Message-ID: <ihkago$r7o$1@news.eternal-september.org>
References: <op.vpont3pqule2fv@garhos>
 <28c691ce-92e1-43b4-abba-96c63f10d235@r29g2000yqj.googlegroups.com>
 <op.vps3zlzqule2fv@garhos>
 <8e3c0ff0-a96d-41e9-9549-6600786e2af4@v17g2000vbo.googlegroups.com>
Injection-Date: Mon, 24 Jan 2011 16:48:24 +0000 (UTC)
Injection-Info: mx03.eternal-september.org;
 posting-host="FWUfW0kfyVkZLU6Rosk8rg";
	logging-data="27896"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19SXH9RVg1edfMRZTq4o3DNVcJT/0Npixo="
Summary: See also Ada-Europe paper.
Originator: dirk@vana.cs.kuleuven.be. (Dirk Craeynest)
X-Newsreader: trn 4.0-test76 (Apr 2, 2001)
Cancel-Lock: sha1:6rcv135VXBMdu2G4QIOrcIrCv5Y=
Xref: g2news2.google.com comp.lang.ada:17640
Date: 2011-01-24T16:48:24+00:00
List-Id: <comp.lang.ada>

In article <8e3c0ff0-a96d-41e9-9549-6600786e2af4@v17g2000vbo.googlegroups.com>,
Emmanuel Briot  <briot.emmanuel@gmail.com> wrote:
>On Jan 24, 10:43�am, Yannick Duch�ne (Hibou57)
><yannick_duch...@yahoo.fr> wrote:
>> You did not said enough :)
>
>See the package GNAT.Debug_Pools and its documentation for more
>information.
>
>Emmanuel

For a paper co-authored by AdaCore and Eurocontrol
about the introduction of that package, see:
<http://www.cs.kuleuven.be/~dirk/papers/ae03cfmu-paper.pdf>

It is titled "Exposing Memory Corruption and Finding Leaks: Advanced
Mechanisms in Ada" and was presented at the Ada-Europe 2003 conference.

HTH

Dirk
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail)

*** 16th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2011
*** June 20-24, 2011 **** Edinburgh, UK **** http://www.ada-europe.org