From: Jean-Pierre Rosen <rosen@adalog.fr>
Subject: Re: Dynamic task activation
Date: Mon, 09 May 2005 14:24:53 +0200
Date: 2005-05-09T14:24:53+02:00 [thread overview]
Message-ID: <iqkn5d.mfh.ln@hunter.axlog.fr> (raw)
In-Reply-To: <1115636549.778984.32550@z14g2000cwz.googlegroups.com>
evangeli@cnam.fr a �crit :
> hello
> let's take this piece of code :
>
> ====================================
> ...
> task type T_Task;
> type T is access T_Task;
> ...
> V : T := new T_Task;
> -- 1
> ...
> ====================================
>
> Is the task pointed by V necessarily activated at point 1, or can it be
> activated later?
>>From RM 9.2.4, I guess the answer is yes but i wanted to be sure.
>
The task is activated *before* the return from "new". The goal is that
when you can access the task, it is guaranteed to have been activated.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2005-05-09 12:24 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-05-09 11:02 Dynamic task activation evangeli
2005-05-09 12:24 ` Jean-Pierre Rosen [this message]
2005-05-09 14:29 ` Marc A. Criley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox