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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a6c65cbc407987fe
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-18 09:49:41 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed-east.nntpserver.com!nntpserver.com!newsfeed1.easynews.com!easynews.com!easynews!newsfeed.news2me.com!sn-xit-05!sn-xit-06!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "David C. Hoos" <david.c.hoos.sr@ada95.com>
Newsgroups: comp.lang.ada
Subject: Re: dynamic multithreading
Date: Mon, 18 Nov 2002 11:41:33 -0600
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <uti9idia498k70@corp.supernews.com>
References: <ar07km$u72$1@news.lucky.net>
 <CbOA9.153$Y04.251@nntpserver.swip.net> <3DD3D841.CD16A4CB@canal-plus.fr>
 <8MCB9.8643$8o1.1371873@news.xtra.co.nz> <uzns7t0ft.fsf@gsfc.nasa.gov>
X-Newsreader: Microsoft Outlook Express 6.00.2720.3000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
X-Complaints-To: abuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:31060
Date: 2002-11-18T11:41:33-06:00
List-Id: <comp.lang.ada>


"Stephen Leake" <stephen.a.leake.1@gsfc.nasa.gov> wrote in message
news:uzns7t0ft.fsf@gsfc.nasa.gov...
> "AG" <ang@xtra.co.nz> writes:
>
> > "Thierry Lelegard" <thierry.lelegard@canal-plus.fr> wrote in message
> > news:3DD3D841.CD16A4CB@canal-plus.fr...
> > > - Second, you must absolutely unchecked_deallocate each task after
> > >   it is terminated (not always trivial to synchronize on actual
> > >   termination of a task). Otherwise, you have a memory leak.
> >
> > Which means you don't trust the run-time system to do some
> > elementary GC?
>
> Well, since the Ada Standard says that anything allocated with "new"
> will _not_ be "garbage collected", I do _not_ expect the "run-time
> system" to do "free" for me.

Can you cite the section that states this?  My copy of the Ada LRM
says in 4.8 (15)  "Implementations are permitted, but not required, to
provide garbage collection (see 13.11.3)."
<snip>