comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Finalization of a record containing a task
Date: 17 Feb 2005 19:17:32 -0500
Date: 2005-02-17T19:17:32-05:00	[thread overview]
Message-ID: <wcchdkau3fn.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 421454b0$0$9136$ba620e4c@news.skynet.be

Adrien Plisson <aplisson-news@stochastique.net> writes:

> anyway, it is a very bad idea since aborting the task may have a side
> effect: you don't know what was going on at the time you abort the task,
> so the state of the data accessed by the task is undefined.

Yes!  If you use abort (including select-then-abort) then any data
modified by the abortable code can be destroyed in an unpredictable
fashion.  So you have to avoid looking at that data after the abort,
or make sure the data is updated in abort-deferred regions, or....
It is *very* difficult to get this right in a large system.

- Bob



  reply	other threads:[~2005-02-18  0:17 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-02-16 20:35 Finalization of a record containing a task Bj?rn
2005-02-16 20:49 ` Stephen Leake
2005-02-16 21:20   ` Adrien Plisson
2005-02-16 22:09     ` Robert A Duff
2005-02-17  8:24       ` Adrien Plisson
2005-02-18  0:17         ` Robert A Duff [this message]
2005-02-17  9:13     ` Dmitry A. Kazakov
2005-02-18  0:13       ` Robert A Duff
2005-02-18  2:34         ` Randy Brukardt
2005-02-18 11:27         ` Dmitry A. Kazakov
2005-02-16 22:08   ` Robert A Duff
2005-02-21 13:20     ` Craig Carey
2005-02-21 21:41       ` Robert A Duff
2005-02-22  0:15         ` Randy Brukardt
2005-02-17 17:50   ` Bj?rn
replies disabled

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