Re: Problem with task component

[Simon Wright <simon@pushface.org>]

"J-P. Rosen" <rosen@adalog.fr> writes:

> The principle of the "terminate" is that a task terminates
> automatically if it can be proven that its entries cannot be called.

If that's the case, why do we need to say so?!

I asked earlier whether a select with an accept/terminate body would
behave as I wanted, and wrote this:

   procedure Termination is
      task type T is
         entry Stop;
      end T;
      type R is limited record
         The_T : T;
      end record;
      task body T is
      begin
         loop
            select
               accept Stop;
            or
               terminate;
            end select;
         end loop;
      end T;
      The_R : R;
   begin
      null;
   end Termination;

which does indeed manage to run to completion and return to the command
line.

On thinking about it, I can see that a whole class of toy programs that
demonstrate tasking would have to replace the 'null;' body above with
'delay 1_000_000.0;' if the language worked the way I had hoped.

Until about 10 years ago, my main procedures were exactly like that!