Next: EXECUTE-ON-HOME and LOCAL-ACCESS Up: FORALL with INDEPENDENT Previous: What Does ``No
- A FORALL with a single asynchronous sub-block is
the same as a DO with an INDEPENDENT assertion.
A FORALL with no INDEPENDENT directive is the same as a tightly
synchronized FORALL. We only need to define one type of parallel
construct including both synchronized and asynchronous blocks.
Furthermore, combining asynchronous and synchronized FORALLs, we
have a loosely synchronized FORALL which is more flexible for many
loosely synchronous applications.
- With INDEPENDENT directives, the user can indicate which block
needs not to be synchronized. The INDEPENDENT directives can act
as barrier synchronizations.