next up previous
Next: AssertRelation Up: Polaris Assertions and Previous: AssertMayMod and AssertNoMod

AssertParallelCondition

The AssertParallelCondition assertion gives a condition for the parallel scheduling of a loop to be ``profitable'' or not. In other words, there is no doubt that the loop is parallel, only a doubt as to whether it would be advantageous for us to run it as such. The condition given can be tested at run-time to determine whether we should really run it parallel or not.

The CSRD directive form of the AssertParallelCondition assertion is:

CSRD$ PARALLEL CONDITION   L .GT. 5

An example of its usage is as follows:

CSRD$ PARALLEL CONDITION   M .GT. 5
        do i = 1, m
          . . .



Jay Hoeflinger
Mon Apr 21 11:52:18 CDT 1997