From: "Jean-Pierre Rosen" <rosen@adalog.fr>
Subject: Re: Combining entry_call, accept_statment and terminate_statment
Date: Wed, 31 Mar 2004 08:39:07 +0200
Date: 2004-03-31T08:39:07+02:00 [thread overview]
Message-ID: <t6pd4c.7rr.ln@skymaster> (raw)
In-Reply-To: 106jkmlj2g6ik57@corp.supernews.com
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 757 bytes --]
"Randy Brukardt" <randy@rrsoftware.com> a �crit dans le message de news:106jkmlj2g6ik57@corp.supernews.com...
> Barriers of a PO are re-evaluated whenever a protected action ends, and when
> an entry is called. A barrier which can change state without a protected
> action ending is incorrect and may not work properly.
>
I would not describe this as "incorrect", but certainly you need to know what you are doing.
I do have one PO where a barrier state is external to the PO and can change without protected action. But the PO has a "begin null;
end" procedure whose name is "Reevaluate_Guards"...
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2004-03-31 6:39 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-03-29 19:41 Combining entry_call, accept_statment and terminate_statment Lutz Donnerhacke
2004-03-29 22:04 ` Randy Brukardt
2004-03-29 23:19 ` Mark Lorenzen
2004-03-29 23:14 ` Robert I. Eachus
2004-03-30 7:26 ` Lutz Donnerhacke
2004-03-30 20:04 ` Randy Brukardt
2004-03-30 22:47 ` Lutz Donnerhacke
2004-03-31 9:03 ` Dmitry A. Kazakov
2004-03-31 9:14 ` Lutz Donnerhacke
2004-03-31 12:22 ` Dmitry A. Kazakov
2004-03-31 6:39 ` Jean-Pierre Rosen [this message]
2004-03-30 7:29 ` Lutz Donnerhacke
2004-03-30 8:11 ` tmoran
2004-03-30 11:45 ` Lutz Donnerhacke
2004-03-30 0:33 ` James Rogers
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox