comp.lang.ada
 help / color / mirror / Atom feed
From: sjw <simon.j.wright@mac.com>
Subject: Re: Storage management
Date: Sat, 8 Nov 2008 03:04:24 -0800 (PST)
Date: 2008-11-08T03:04:24-08:00	[thread overview]
Message-ID: <c69aec9a-cb89-426c-9f64-3c223ba0d389@c22g2000prc.googlegroups.com> (raw)
In-Reply-To: 13hpf6ht4tl2m$.1su6rgr67eb2o$.dlg@40tude.net

On Nov 7, 8:30 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> I have a general question. Does anybody use abort and asynchronous transfer
> of control?
>
> After all, there is no chance to have them reasonably working anyway. The
> notorious example from ARM 9.7.1:
>
> select
>    delay 5.0;
> then abort
>    Get_Line (...);
> end select;
>
> has good chances not to work.

I've used this for test code where the idea was to demonstrate that
the abortable_part didn't get blocked like it used to.

Also, in deliverable code -- the abortable_part was waiting for a PO
to be triggered by an interrupt (or not).

Personally I've found no need to worry about problems with Get_Line in
the abortable_part.



  parent reply	other threads:[~2008-11-08 11:04 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-11-01 11:13 Storage management Florian Weimer
2008-11-01 22:28 ` Robert A Duff
2008-11-02 14:27   ` Florian Weimer
2008-11-07  1:14     ` Randy Brukardt
2008-11-07  8:30       ` Dmitry A. Kazakov
2008-11-07  9:54         ` Niklas Holsti
2008-11-07  9:20           ` Dmitry A. Kazakov
2008-11-07 12:12             ` Niklas Holsti
2008-11-07 13:22               ` Dmitry A. Kazakov
2008-11-07 13:28                 ` Georg Bauhaus
2008-11-07 14:41                   ` Dmitry A. Kazakov
2008-11-10 14:28                 ` christoph.grein
2008-11-10 16:08                   ` Dmitry A. Kazakov
2008-11-08 11:04         ` sjw [this message]
2008-11-08 12:33           ` Dmitry A. Kazakov
2008-11-10  9:34             ` sjw
2008-11-01 22:36 ` sjw
replies disabled

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