В информатике анализ доступа к массиву — это подход анализа компилятора, используемый для определения шаблонов доступа для чтения и записи к элементам или частям массивов. [1]
Основным типом данных, которым оперируют в научных программах, является массив. Анализ определения/использования всего массива недостаточен для агрессивных оптимизаций компилятора, таких как автоматическое распараллеливание и приватизация массива . Анализ доступа к массиву направлен на получение знаний о том, к каким частям или даже к каким элементам массива обращается заданный сегмент кода ( базовый блок , цикл или даже на уровне процедуры ).
Анализ доступа к массиву можно в значительной степени разделить на точные (или основанные на списке ссылок) и сводные методы для различных компромиссов точности и сложности. Точные методы точны, но очень дороги с точки зрения вычислений и дискового пространства, в то время как сводные методы приблизительны, но могут быть вычислены быстро и экономично.
Типичный точный анализ доступа к массиву включает линеаризацию и атомные изображения. Методы резюме можно далее разделить на разделы массива, ограниченные регулярные разделы с использованием триплетной нотации, методы линейных ограничений, такие как дескрипторы доступа к данным и анализ области массива.