Re: confusion about message passing between the tasks

[Simon Wright <simon@pushface.org>]

compguy45@gmail.com writes:

> I am really kind of lost with tasks and message passing. Would anyone
> show me an example where 2 tasks would be created by environment
> task...each task has same body and one entry...so for example one task
> waits at entry while the other one completes the entry block and on
> the exit lets waiting task that's its done.

with Ada.Text_IO; use Ada.Text_IO;
procedure Strib is

   type T;
   type T_Access is access T;

   task type T (Next : T_Access) is
      entry Start (Message : Integer);
   end T;
   task body T is
      Data : Integer;
   begin
      Put_Line ("waiting");
      accept Start (Message : Integer) do
         Data := Message;
      end Start;
      Put_Line ("working with " & Integer'Image (Data));
      delay 1.0;
      if Next /= null then
         Put_Line ("kicking off next task");
         Next.Start (Data + 1);
      else
         Put_Line ("no next task");
      end if;
      Put_Line ("done");
   end T;

   Tasks : array (1 .. 2) of T_Access;

begin
   --  we have to create the tasks in reverse order, because the first
   --  task needs to be able to reach the second task.
   Tasks (2) := new T (Next => null);
   Tasks (1) := new T (Next => Tasks (2));
   Tasks (1).Start (42);
end Strib;