RE: [sv-ec] RE: [sv-bc] Can a function contain a fork/join/any/none?

Mantis 1349, SV-EC.

Shalom

> -----Original Message-----
> From: Steven Sharp [mailto:sharp@cadence.com]
> Sent: Tuesday, February 21, 2006 11:27 PM
> To: sharp@cadence.com; sv-ec@eda.org; sv-bc@eda.org;
> Bresticker, Shalom
> Subject: RE: [sv-ec] RE: [sv-bc] Can a function contain a
> fork/join/any/none?
> 
> 
> >From: "Bresticker, Shalom" <shalom.bresticker@intel.com>
> 
> >The LRM says about join_none,
> >"The parent process continues to execute concurrently with all
> the
> >processes spawned by the fork. The spawned processes do not
> start
> >executing until the parent thread executes a blocking
> >statement."
> >
> >The parent thread is this initial block. Where does it execute
> a
> >blocking statement? When do the threads in the
> fork...join_none execute?
> 
> I would say that you have found a hole in the specification.
> It
> should say "until the parent thread executes a blocking
> statement
> or terminates."
> 
> Steven Sharp
> sharp@cadence.com