Next: EXECUTE-ON-HOME and LOCAL-ACCESS Up: FORALL with INDEPENDENT Previous: What Does ``No

Rationale

1. 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.
2. With INDEPENDENT directives, the user can indicate which block needs not to be synchronized. The INDEPENDENT directives can act as barrier synchronizations.