From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Is Text_IO.Put_Line() thread-safe?
Date: Thu, 14 Jun 2012 14:34:46 -0400
Date: 2012-06-14T14:34:46-04:00 [thread overview]
Message-ID: <wccy5npwxmh.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: jrcu2h$uh9$1@dont-email.me
"J-P. Rosen" <rosen@adalog.fr> writes:
> Asynchronous raising of exceptions was in preliminary Ada, the issue was
> studied, and removed for Ada 83.
Not really. It was renamed to be "abort". The semantics of
"abort" in Ada 83 are essentially the same as the semantics
of T'Failure in preliminary Ada.
In all Ada implementations I have worked on (which is a lot),
abort is implemented internally via a special exception that
is invisible to user code.
In any case, it doesn't make sense for a single task to be
raising two exceptions at the same time, so that must be
prevented. Likewise simultaneously aborting and raising
an exception.
- Bob
next prev parent reply other threads:[~2012-06-14 18:34 UTC|newest]
Thread overview: 38+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-06-14 12:53 Is Text_IO.Put_Line() thread-safe? awdorrin
2012-06-14 13:49 ` Robert A Duff
2012-06-14 14:35 ` Adam Beneschan
2012-06-14 14:38 ` Dmitry A. Kazakov
2012-06-14 14:56 ` J-P. Rosen
2012-06-14 16:01 ` Dmitry A. Kazakov
2012-06-14 18:34 ` Robert A Duff [this message]
2012-06-21 19:01 ` Randy Brukardt
2012-06-14 18:29 ` Robert A Duff
2012-06-21 19:04 ` Randy Brukardt
2012-06-14 21:14 ` tmoran
2012-06-14 14:42 ` awdorrin
2012-06-14 18:24 ` Robert A Duff
2012-06-14 20:37 ` awdorrin
2012-06-14 21:37 ` Robert A Duff
2012-06-15 5:32 ` Georg Bauhaus
2012-06-15 7:22 ` Dmitry A. Kazakov
2012-06-15 21:32 ` Robert A Duff
2012-06-16 7:41 ` Dmitry A. Kazakov
2012-06-15 21:27 ` Robert A Duff
2012-06-14 18:56 ` Jeffrey Carter
2012-06-14 20:50 ` awdorrin
2012-06-14 21:41 ` Robert A Duff
2012-06-15 12:39 ` awdorrin
2012-06-14 22:17 ` Jeffrey Carter
2012-06-14 22:40 ` Simon Wright
2012-06-14 23:35 ` Jeffrey Carter
2012-06-15 5:04 ` Simon Wright
2012-06-15 5:41 ` Jeffrey Carter
2012-06-21 19:20 ` Randy Brukardt
2012-06-16 2:00 ` BrianG
2012-06-16 6:04 ` J-P. Rosen
2012-06-16 6:49 ` Simon Wright
2012-06-16 7:58 ` Dmitry A. Kazakov
2012-06-16 8:03 ` Simon Wright
2012-06-16 8:14 ` Dmitry A. Kazakov
2012-06-21 19:27 ` Randy Brukardt
2012-06-16 7:51 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox