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

From: Steven Sharp <sharp_at_.....>
Date: Thu Mar 23 2006 - 16:38:06 PST
>From: "Rich, Dave" <Dave_Rich@mentor.com>

>I don't think anyone can argue that the current LRM allows functions to
>call a task or contain blocking statements. The argument about whether
>fork/join**** is legal is moot without those constructs inside the
>function.

Absolutely.  The LRM does not allow task calls or blocking statements
inside functions, regardless of whether they are inside fork...join_none.
And without those, fork...join/join_any/join_none blocks are useless in
a function, so they might as well be illegal there.


>This may very well be a desirable enhancement request, but it's much
>more complex than just removing a few restrictions in the definition of
>functions.

I strongly agree.  Allowing task calls or blocking statements to appear
inside fork...join_none inside a function is not simple.  The fact that
this does not cause the function to block is not the only issue.  Other
issues have been raised, and these would all have to be resolved before
this could be allowed.

Steven Sharp
sharp@cadence.com
Received on Thu Mar 23 16:38:12 2006

This archive was generated by hypermail 2.1.8 : Thu Mar 23 2006 - 16:38:24 PST