Análisis de acceso a matrices

En ciencias de la computación , el análisis de acceso a matrices es un enfoque de análisis del compilador que se utiliza para determinar los patrones de acceso de lectura y escritura a elementos o partes de matrices. ^{[ 1 ]}

El tipo de dato principal que se manipula en los programas científicos es el array. El análisis de definición/uso de un array completo resulta insuficiente para optimizaciones agresivas del compilador, como la paralelización automática y la privatización del array . El análisis de acceso al array tiene como objetivo determinar qué partes, o incluso qué elementos, del array son accedidos por un segmento de código determinado ( bloque básico , bucle o incluso a nivel de procedimiento ).

El análisis de acceso a matrices se puede clasificar en gran medida en métodos exactos (o basados ​​en listas de referencia ) y métodos de resumen, que presentan diferentes compensaciones entre precisión y complejidad. Los métodos exactos son precisos, pero muy costosos en términos de computación y almacenamiento de espacio, mientras que los métodos de resumen son aproximados, pero se pueden calcular de forma rápida y económica.

Los análisis típicos de acceso exacto a matrices incluyen la linealización y las imágenes atómicas . Los métodos de resumen se pueden dividir a su vez en secciones de matriz , secciones regulares delimitadas mediante notación de triplete , métodos de restricción lineal como descriptores de acceso a datos y análisis de regiones de matriz .