Assertion Examples

- The compiler is analyzing the code given the information in the assertion and does automatic parallelization if possible
- even with the c*$* assert do (concurrent) directive, the compiler will not make loops parallel where it finds obvious data dependencies
- If it does not work, next step is to introduce the parallelization directive with explicit rules for variable usage given by the user (e.g. OpenMP semantics)

C*$* assert concurrent call

do I=1,n

call do_parallel_work(I)

enddo

C*$* assert permutation(i1)

do k=1,nsite

A(i1(k)) = A(i1(k))+force*B(k)*B(k)

enddo