Анализ доступа к массиву
 | Эта статья в значительной степени или полностью опирается на один источник . ( апрель 2024 г. ) |
В информатике используемый анализ доступа к массиву — это подход к анализу компилятора, для определения шаблонов доступа для чтения и записи к элементам или частям массивов. [1]
Основным типом данных, которым манипулируют в научных программах, является массив. Анализ определения/использования всего массива недостаточен для агрессивной оптимизации компилятора, такой как автоматическое распараллеливание и приватизация массива . Анализ доступа к массиву направлен на получение сведений о том, к каким частям или даже к каким элементам массива осуществляется доступ с помощью данного сегмента кода ( базового блока , цикла или даже на уровне процедуры ).
Анализ доступа к массиву можно в значительной степени разделить на точные (или на основе списка ссылок) и суммарные методы для различных компромиссов между точностью и сложностью. Точные методы точны, но очень затратны с точки зрения вычислений и хранения данных, тогда как сводные методы приблизительны, но могут вычисляться быстро и экономично.
Типичный точный анализ доступа к массиву включает линеаризацию и изображения атомов . Сводные методы можно дополнительно разделить на разделы массива , ограниченные регулярные разделы с использованием триплетной нотации , методы линейных ограничений, такие как дескрипторы доступа к данным и анализ областей массива .
Ссылки
[ редактировать ]- ^ Пэк, Юнхын; Хофлингер, Джей; Падуя, Дэвид (январь 2002 г.). «Эффективный и точный анализ доступа к массиву» . Транзакции ACM в языках и системах программирования . 24 (1): 65–109. дои : 10.1145/509705.509708 .
 | Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |