comp.lang.ada
 help / color / mirror / Atom feed
From: "wiljan" <W.Derks@nl.cis.philips.com>
Subject: Re: How to wait for task completion
Date: 1996/09/17
Date: 1996-09-17T00:00:00+00:00	[thread overview]
Message-ID: <01bba4c8$a5ad67c0$2d208b82@wd> (raw)
In-Reply-To: 51mhns$jif@watnews1.watson.ibm.com


Norman H. Cohen <ncohen@watson.ibm.com> wrote in article
<51mhns$jif@watnews1.watson.ibm.com>...
> Indeed, RM95-C.7.2(17) guarantees this.  However, unlike Ada 83, Ada 95
> does not guarantee that unchecked deallocation will reclaim the storage
> for a task object (or for a composite object with a subcomponent that is
> a task object), even if the task has terminated when the deallocation
> procedure is called!  See the last sentence of RM95-13.11.2(9).
> 
> I hope none of the implementors has read this sentence. :-)
Incredible. I think here is a point to look at in the next Ada standard.

Thanks for pointing me to the locations in the RM.

Wiljan





  reply	other threads:[~1996-09-17  0:00 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-09-15  0:00 How to wait for task completion wiljan
1996-09-15  0:00 ` David C. Hoos, Sr.
1996-09-20  0:00   ` Stephen & Tammy House
1996-09-15  0:00 ` Samuel Tardieu
1996-09-16  0:00   ` wiljan
1996-09-17  0:00     ` Ted Dennison
1996-09-17  0:00     ` Samuel Tardieu
1996-09-17  0:00       ` Norman H. Cohen
1996-09-17  0:00         ` wiljan [this message]
1996-09-18  0:00           ` Tucker Taft
1996-09-18  0:00             ` Norman H. Cohen
1996-09-17  0:00       ` wiljan
1996-09-18  0:00   ` Jon S Anthony
1996-09-16  0:00 ` Jon S Anthony
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox