Il Linguaggio Fortran 90/95

154 Array
b(i) = b(i)+b(2)
END DO
DO i=3,n
a(i) = a(i)+k
END DO
Come si può notare, il primo ciclo non può essere parallelizzato a causa della dipendenza fra
l’iterazione i=2 e le iterazioni i=3,...,n. Inoltre i due cicli non possono essere fusi sotto il
controllo di un’unica variabile indice a causa della differenza degli intervalli di variazione degli
indici stessi. Tuttavia, se a b si applica l’unrolling relativamente al solo primo componente si
risolvono contemporaneamente entrambi i problemi, come banalmente mostrato di seguito:
! dopo il peeling
IF(n>=2) THEN
b(2) = b(2) + b(2)
END IF
DO i=3,n
b(i) = b(i)+b(2)
END DO
DO i=3,n
a(i) = a(i)+k
END DO
! dopo il peeling e il fusion
IF(n>=2) THEN
b(2) = b(2) + b(2)
END IF
DO i=3,n
b(i) = b(i)+b(2)
a(i) = a(i)+k
END DO
3.8.11 Loop reversal
Il loop reversal è un tipo di trasformazione che consiste nell’invertire il verso di avanzamento
dell’indice di un ciclo all’interno del range di iterazione. Questo tipo di trasformazione si rivela
spesso indispensabile per poter consentire l’applicazione di altre forme di ottimizzazione come
il loop fusion o il loop interchange. Come esempio, si consideri il seguente costrutto:
DO i=1,n
DO j=1,n
a(i,j) = a(i-1,j+1)+1
END DO
END DO