Категория
Информатика
Тип
реферат
Страницы
14 стр.
Дата
25.04.2014
Формат файла
.html — Html-документ
Архив
1023553.zip — 9.58 kb
  • novyj-podxod-k-postroeniju-metodov-mezhprocedurnogo-analiza-programm_1023553_1.html — 31.49 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы


Новыйподход к построению методов межпроцедурного анализа программ

(Работа поддержана грантом РФФИ№96-01-01433)

А.С. Антонов , Вл.В. Воеводин

Введение

Необходимость выполнения межпроцедурного анализа очень частовозникает на практике, в частности, прианализе параллельных свойств программ. Можно привести множество примеров задач,решаемых с использованием техники межпроцедурного анализа: определениенезависимости вхождений в тело подпрограммы параметров и глобальных переменных,распараллеливание циклов, содержащих вызовы подпрограмм, определениенеобходимых пересылок данных для вызова распределяемой подпрограммы прииспользовании компьютеров с распределенной памятью, поддержка корректностиданных в кэш-памяти многопроцессорных систем и многие другие. Безмежпроцедурного анализа придется предположить, что все фактические параметры ивнешние переменные как используются, так и переопределяются в вызываемойподпрограмме, поэтому многие полезные свойства программы не будут использованы.

В данной работе рассматривается новый подход, основанный наанализе свойств графа алгоритма [1,2,3] впервые описанный в [4].



1 Обзор существующих методовмежпроцедурного анализа

Одним из первых методов разрешения проблемы межпроцедурногоанализа была предложена подстановка тела подпрограммы на место вызова (inlineexpansion [14]), но она сильно затруднена, если в графе вызовов есть контуры,что приводит к значительному увеличению размера кода и времени анализа. Визвестных обзорах [5,15] большое внимание уделялось методам межпроцедурногоанализа без учета индексных переменных. Но такой анализ является весьма грубыми недостаточным для реальных программ, поскольку в большинстве случаевнеобходима информация о существовании зависимости между ссылками на отдельныеэлементы массивов.



Ваше мнение



CAPTCHA