Re: 'Number_Of_CPUs' tasks creation, with discriminants, running simultaneously.

[onox <denkpadje@gmail.com>]

On Monday, July 20, 2020 at 10:31:46 PM UTC+2, olivier...@gmail.com wrote:
> > The order of the discriminants is arbitrary; there is no guarantee that Worker (I) will have ID of I. Elaboration is sequential, so each Worker will have a unique ID.
> As long as all the tasks get a unique ID, I am fine. 
> 
> Function as a discriminant at elaboration ... should have thought about it but it looks like I am missing some wisdom points. 
> 
> Thank you Jeffrey.

Another way is to use an extended return:

spec:

   type Worker;

   task type Worker_Task (Data : not null access constant Worker);

   type Worker is limited record
      ID : Positive;
      T  : Worker_Task (Worker'Access);
   end record;

   type Worker_Array is array (Positive range <>) of Worker;

   function Make_Workers return Worker_Array;

body:

   function Make_Workers return Worker_Array is
   begin
      return Result : Worker_Array (1 .. Positive (Count)) do
         for Index in Result'Range loop
            Result (Index).ID := Index;
         end loop;
      end return;
   end Make_Workers;

   Workers : constant Worker_Array := Make_Workers;
   pragma Unreferenced (Workers);