From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Select then abort can fail to abort the abortable part
Date: Fri, 21 Nov 2014 09:37:29 +0100
Date: 2014-11-21T09:37:29+01:00 [thread overview]
Message-ID: <r0oh40o2omed$.mb1loq6wi8kp$.dlg@40tude.net> (raw)
In-Reply-To: 546e68f2$0$2913$426a34cc@news.free.fr
On 20 Nov 2014 22:19:30 GMT, Jean François Martinez wrote:
> On Thu, 20 Nov 2014 22:35:27 +0100, Dmitry A. Kazakov wrote:
>
>> You certainly should not abort any code changing dynamically allocated
>> structures. I don't know the implementation of
>> Ada.Containers.Doubly_Linked_Lists, but it is not protected against
>> abort in the middle of changing list links, you may get garbage in the
>> result.
>
> Actually Lists are Controlled Objects and an exception is raised if
> you try to abort a task at the time it is trying to modify the List
I don't see how being controlled (or tagged) were related. Primitive
operations are not abort-deferred except for Initialize and Finalize (and
only under certain conditions). RM 9.8.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2014-11-21 8:37 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-20 21:08 Select then abort can fail to abort the abortable part Jean François Martinez
2014-11-20 21:35 ` Dmitry A. Kazakov
2014-11-20 22:19 ` Jean François Martinez
2014-11-21 8:37 ` Dmitry A. Kazakov [this message]
2014-11-21 15:26 ` Jean François Martinez
2014-11-20 21:36 ` Adam Beneschan
2014-11-20 22:55 ` Jean François Martinez
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox