|
Информационные технологии и вычислительные системы, 2004, выпуск 3, страницы 27–37
(Mi itvs663)
|
|
|
|
СОВРЕМЕННЫЕ ОПТИМИЗИРУЮЩИЕ КОМПИЛЯТОРЫ
Индексный анализ зависимостей по данным
А. Ю. Дроздовa, Р. М. Корневb, А. С. Боханкоa a Институт микропроцессорных вычислительных систем РАН,
г. Москва
b АО "МЦСТ", г. Москва
Аннотация:
Работа посвящена компиляторной технологии, называемой индексным анализом, которая позволяет предоставить информацию о существовании зависимости между операциями, обращающимися к памяти и находящимися в цикле. Такая информация используется многими оптимизациями, особенно цикловыми. В работе для этой системы применяется алгоритм индексного анализа на основе системы линейных неравенств. Для формирования этой системы требуется выполнить подготовительные действия по поиску гнезд циклов и индуктивных переменных, нахождению инвариантов цикла, делинеаризации и непосредственному построению системы неравенств. Рассматриваются методика выполнения этих действий, временные параметры исполнения алгоритма, полученные результаты, а также некоторые особые случаи, не приведенные в [1].
Образец цитирования:
А. Ю. Дроздов, Р. М. Корнев, А. С. Боханко, “Индексный анализ зависимостей по данным”, ИТиВС, 2004, № 3, 27–37
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/itvs663 https://www.mathnet.ru/rus/itvs/y2004/i3/p27
|
Статистика просмотров: |
Страница аннотации: | 46 | PDF полного текста: | 32 |
|