Analyse d'accès à la baie - Array access analysis

En informatique , l' analyse d'accès aux tableaux est une approche d' analyse du compilateur utilisée pour décider des modèles d'accès en lecture et en écriture à des éléments ou à des parties de tableaux.

Le type de données principal manipulé dans les programmes scientifiques est le tableau. L'analyse de définition/utilisation sur l'ensemble d'un tableau est insuffisante pour les optimisations agressives du compilateur telles que la parallélisation automatique et la privatisation du tableau . L'analyse d'accès au tableau vise à obtenir la connaissance de quelles portions ou même quels éléments du tableau sont accédés par un segment de code donné ( bloc de base , boucle , ou encore au niveau de la procédure ).

L'analyse d'accès aux baies peut être largement classée en méthodes exactes (ou basées sur des listes de références) et récapitulatives pour différents compromis de précision et de complexité. Les méthodes exactes sont précises mais très coûteuses en termes de calcul et de stockage d'espace, tandis que les méthodes récapitulatives sont approximatives mais peuvent être calculées rapidement et économiquement.

L'analyse d'accès au tableau exact typique comprend la linéarisation et les images d'atomes . Les méthodes récapitulatives peuvent être divisées en sections de tableau , en sections régulières délimitées à l'aide de la notation en triplet , en méthodes de contrainte linéaire telles que les descripteurs d'accès aux données et l' analyse de région de tableau .

Les références