From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Some questions on task dependency
Date: 09 Feb 2005 09:02:58 -0500
Date: 2005-02-09T09:02:58-05:00 [thread overview]
Message-ID: <wccekfpbzl9.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 5f59677c.0502090530.7f29842f@posting.google.com
evangeli@cnam.fr (Evangelista Sami) writes:
> Hello all
>
> Let us take this code :
> ---------------------------------------------
> procedure Main_Proc is
>
> task type T;
> type Access_T is access T;
> type Array_T is array(1..10) of T;
>
> A_Dynamic_T : Access_T := new T;
> A_T : T;
> Some_Ts : Array_T;
>
> task body T is
> I : Integer;
> begin
> Dont_Care;
> end;
>
> J : Integer;
>
> begin
> Do_Something;
> end;
> ---------------------------------------------
>
> I am interested in the behavior of the main procedure Main_Proc. I
> carefully read the RM but i am not sure of what will exactly happen
> with this program.
> Is the following true :
>
> 1 - Main_Proc allocates A_Dynamic_T and waits for A_Dynamic_T.all to
> finish its activation, i.e., declaration of I
> 2 - Once the activation of A_Dynamic_T.all finished Main_Proc can
> pursue its declarations
> 3 - Main_Proc activates A_T, Some_Ts(1), ..., Some_Ts(10)
> 4 - Main_Proc is suspended on its begin and waits for A_T, Some_Ts(1),
> ..., Some_Ts(10) to finish their activation
> 5 - Main_Proc executes Do_Something
> 6 - Main_Proc is suspended on its end and waits for A_T, Some_Ts(1),
> ..., Some_Ts(10) to be terminated
> 7 - Main_Proc waits for the termination of all the tasks allocated by
> an access varible of type Access_T, i.e., A_Dynamic_T.all
> 8 - Main_Proc is completely finalized by "freeing" variable J.
Yes, except that steps 6 and 7 are really just one step.
6/7: Main_Proc waits for all 12 tasks to terminate.
- Bob
prev parent reply other threads:[~2005-02-09 14:02 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-02-09 13:30 Some questions on task dependency Evangelista Sami
2005-02-09 14:02 ` Robert A Duff [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox