RE: [sv-bc] fork...join_any with no statements

Intuitively, the second alternative is intended.

Shalom

> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On
> Behalf Of Steven Sharp
> Sent: Thursday, March 02, 2006 5:17 AM
> To: sv-bc@eda.org
> Subject: [sv-bc] fork...join_any with no statements
> 
> What is supposed to happen if you have a fork...join_any that
> contains
> no statements?  A literal reading would indicate that it should
> hang
> forever, since it is never true that "any one of the processes
> spawned
> by this fork completes."
> 
> On the other hand, all of the processes have completed.  Since
> join_any
> is generally supposed to continue before or at the same time
> that join
> would have continued, it seems like it should continue
> immediately.
> 
> Steven Sharp
> sharp@cadence.com