Re: Dynamic allocation of tasks

[Florian Weimer <fw@deneb.cygnus.argh.org>]

lutz@iks-jena.de (Lutz Donnerhacke) writes:

> * Florian Weimer wrote:
> >What's the effect of an abort statement if the task in question is
> >blocked in a syscall (such as read(2))?
> 
> OS depended: May block forever.

Yes, but we can assume an OS where unkillable processes stuck in the
kernel are considered buggy kernel behavior (e.g., Linux).

In my last posting, I have failed to mention a piece of information which
might be important: after an "abort Some_Task;", "Some_Task'Terminated'
never became true (even if I waited three or five seconds before
examining the attribute).  In fact, this motivated my first RM
interpretation that an abnormal task is not a terminated task.  (No,
compiler behavior does not determine my RM interpretations, but it
suggest the direction in which I search for evidence.  The Ada tasking
stuff is rather new to me, and I don't see the whole picture yet.)