Re: task time-out&abort

["Steve" <nospam_steved94@comcast.net>]

If you just want to see Asynchronous Transfer of control in action, change 
your example to read:

   task body Un_Task is
   begin
      loop
         select
            accept Uno do
               Ada.Text_Io.Put_Line("foo");
            end Uno;
             loop           -- ;)
                delay(0.0);
             end loop;
         or
            accept Due do
               Ada.Text_Io.Put_Line("buffering");
               Ada.Text_Io.Put_Line("bar");
            end Due;
         end select;
      end loop;
   end Un_Task;

Note: I didn't test this to verify, but I think it will give you the result 
you're looking for.
Uno starts the long operation.  Since the task will not go back to the 
select until the loop is done, your abort should kick in.

Also...
  In my informal view of things, you should minimize the amount of work you 
do inside of an accept block.  During the rendevous, only one of the tasks 
is active, so it kind of defeats the purpose of using a separate task.  In 
fact you could change your example task to:

   task body Un_Task is
   begin
      loop
         select
            accept Uno;
            Ada.Text_Io.Put_Line("foo");
             loop           -- ;)
                delay(0.0);
             end loop;
         or
            accept Due;
            Ada.Text_Io.Put_Line("buffering");
            Ada.Text_Io.Put_Line("bar");
         end select;
      end loop;
   end Un_Task;

Which completely eliminates any work done inside the accept block.

Steve
(The Duck)