From: "Jean François Martinez" <darkquark99@gmail.com>
Subject: Re: Select then abort can fail to abort the abortable part
Date: Fri, 21 Nov 2014 07:26:49 -0800 (PST)
Date: 2014-11-21T07:26:49-08:00 [thread overview]
Message-ID: <7bce80e3-6caf-4b59-b013-da426c568e42@googlegroups.com> (raw)
In-Reply-To: <r0oh40o2omed$.mb1loq6wi8kp$.dlg@40tude.net>
On Friday, November 21, 2014 9:37:33 AM UTC+1, Dmitry A. Kazakov wrote:
> 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.
>
Actually while playing with asynchronous select I got an exception from Ada.Containers.Doubly_Linked_Lists telling me I was trying to abort at the wrong time and about a controlled object.
I think somewhere in the code there is
procedure Must_be_atomic is
A: My_controlled_type;
begin
end My_Atomic
and the Finalize of My_Controled_Type raising an exception
---
Jean-Frannçois Martinez
next prev parent reply other threads:[~2014-11-21 15:26 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
2014-11-21 15:26 ` Jean François Martinez [this message]
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