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