Категория
Информатика
Тип
учебное пособие
Страницы
5 стр.
Дата
07.06.2008
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
128200.zip — 80.98 kb
  • novyj-podxod-k-postroeniju-metodov-mezhprocedurnogo-analiza-programm_128200_1.rtf — 1894.44 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

Новый подход к построению методов межпроцедурного анализа программ
Alexander N. Andreyev
Новый подход к построению методов межпроцедурного анализа программ
(Работа поддержана грантом РФФИ №96-01-01433)
А.С.
Антонов ,
Вл.В. Воеводин
Введение
Необходимость выполнения межпроцедурного анализа
очень часто возникает на практике, в частности ,
при анализе параллельных свойств программ. Можно привести множество примеров задач, решаемых с использованием техники межпроцедурного анализа: определение независимости вхождений в тело подпрограммы параметров и глобальных переменных, распараллеливание циклов
, содержащих вызовы подпрограмм, определение необходимых пересылок данных для вызова распределяемой подпрограммы при использовании компьютеров с распределенной памятью, поддержка корректности данных в кэш-памяти многопроцессорных систем и многие другие. Без межпроцедурного анализа придется предположить, что все фактические параметры и внешние переменные как используются, так и переопределяются в вызываемой подпрограмме, поэтому многие полезные свойства программы не будут использованы.
В данной работе рассматривается новый подход, основанный на анализе свойств графа алгоритма [1,2,3] впервые описанный в [4].
1
Обзор существующих методов межпроцедурного анализа
Одним из первых методов разрешения проблемы межпроцедурного анализа была предложена подстановка тела подпрограммы на место вызова (inline expansion [14]), но
она сильно затруднена, если в графе вызовов есть контуры, что приводит к значительному увеличению размера кода и времени анализа. В известных обзорах [5,15] большое внимание уделялось методам межпроцедурного анализа без
учета индексных переменных. Но такой



Ваше мнение



CAPTCHA