From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 18 Aug 93 23:38:45 GMT
From: cis.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!howland.
reston.ans.net!xlink.net!scsing.switch.ch!epflnews!disuns2.epfl.ch!lglsun!madma
ts@ucbvax.Berkeley.EDU  (Mats Weber)
Subject: Re: Question on tasking...
Message-ID: <1993Aug19.013419@lglsun.epfl.ch>
List-Id: <comp.lang.ada>

In article <1993Aug10.144611.23993@evb.com>, jjh@evb.com (John Halper) writes:
|> I have a question in the following program,
|> 
|> procedure Main is
|>         task type Task_Type;
|>         type Task_Ptr is access Task_Type;
|>         Task_Instance : Task_Type;
|> begin
|>    block:
|>       begin
|>          Task_Instance := new Task_Type;
|>          Task_Instance := null;
|>       end;  -->  Does block wait until Task_Instance Terminates ????

No, it does not. The master of all tasks pointed to by the type Task_Ptr
is the procedure Main. (See LRM 9.4(2)).

|> end Main;
|> 
|> -- 
|> 
|> John Halper
|> jjh@evb.com

-- 
Mats Weber
e-mail: weber@lglsun.epfl.ch