Re: Tasks problem

["Martin Dowie" <martin.dowie@btopenworld.com>]

"Ratson Janiv" <janiv@013.net.il> wrote in message
news:3fe32ff4$1@news.barak.net.il...
> Hi,
> I have a task T_Check that checks if a number is a prime one.
> I have a task T_Manager that manages the checks.
> In T_Manager I have an array of T_Check(1..N).
>
> Now, lets say I want the T_Manager task to check the numbers 1..100 if
they
> are prime.
> I have only 8 T_Checks tasks (N=6).
> How do I manage the tasks allocations ?
> I thought about T_Manager getting a notification from T_Check when it
> finishes checking, and when T_Manager is notified it shold recall the
Check
> entry in the T_CHeck task that notified it.
> The problem is that I dont know how to know which task (T_Check) amongst
the
> Nth tasks has notified me.
> Is there any solution in ADA?
> Maybe my solution is not so good (Hellllllloooooooooo?), what is the
> solution U may suggest me ?

You could use a rendezvous - how else were you going to return the result to
T_Manager?

subtype Check_Index is Integer range 1 .. 6; -- or '8'???

task T_Manager is
-- No need for a task type if you are only going to have one of them
   ...
   accept Notify (Index : Check_Index; N : Integer; Is_Prime : Boolean);
   ...
end T_Manager;

task type T_Check (Index : Check_Index) is
-- Any other task entries
   ...
   entry Check (N : Integer);
   ...
end T_Check;

task body T_Manager is
   Next_Number_To_Check : Integer := 1;
begin
   -- Allocate the checking
end T_Manager;

task body T_Check is
   function Check_If_Prime (I : Integer) return Boolean is
   begin
      return ...;
   end Check_If_Prime;

   Number : Integer;
   Is_Prime : Boolean;
begin
   ...
   accept Check (N : Integer) do
      Number := N;
   end Check;
   ...
   Is_Prime := Check_If_Prime (Number);
   ...
   T_Manager.Notify (Index, Number, Is_Prime);
   ...
end T_Check;