From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Is Text_IO.Put_Line() thread-safe?
Date: Thu, 21 Jun 2012 14:04:00 -0500
Date: 2012-06-21T14:04:00-05:00 [thread overview]
Message-ID: <jrvr74$41h$1@munin.nbi.dk> (raw)
In-Reply-To: wcc395xycfl.fsf@shell01.TheWorld.com
"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote in message
news:wcc395xycfl.fsf@shell01.TheWorld.com...
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>
>> It would be nice if the exception would propagate in the task's master,
>> but
>> that is impossible without a rendezvous or asynchronous control transfer
>> on
>> the master's side.
>
> Probably the best default behavior would be to stop the program
> with an error message, just like what happens for an unhandled
> exception in the main program. If you don't like that, you would
> program something else.
Wouldn't that be really expensive on a multicore processor (or, in Ada 83
think, a multiprocessor)? Maybe it could be defined in terms of "abort", but
that seems like a heavy mechanism.
> But as a default behavior, silently dropping exceptions on the
> floor is a wrong language design.
I agree. The problem is everything else is worse in some way. ;-)
Randy.
next prev parent reply other threads:[~2012-06-21 19:04 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
2012-06-21 19:01 ` Randy Brukardt
2012-06-14 18:29 ` Robert A Duff
2012-06-21 19:04 ` Randy Brukardt [this message]
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