Разработка компиляторов - тест 13

Задачей анализа потоков данных является:

Общая семантика присваивания заключается в вычислении выражения, стоящего:

В случае, когда выражение в правой части не имеет побочных эффектов, а переменная в левой части более нигде не используется, данный оператор становится:

Идея анализа потока управления заключается в следующем:

На смысл каждой конструкции может оказывать влияние любая конструкция, из которой:

Для правильного учета контекста необходимо учесть влияние всех путей до данной вершины, сначала определив влияние каждого пути, а затем:

При наличии контуров множество всех путей в графе управления становится:

С помощью какого способа можно решать задачи анализа потоков данных?

В данном примере:struct S {int a; int b};

int F (int n, struct S * v)
{
int i, s = 0;

for (i=0; i<n; i++)
{
	int q = (v+i)->a - (v+i)->b; --- 1

	if (q < 0) s += (v+i)->a + (v+i)->>b;  --- 2
else (v+i)->b = q;

(v+i)->a = (v+i)->b;   --- 3
}

return s;
}
эквивалентны следующие вхождения выражения (v+i)->b:

Для каждого вхождения переменной требуется определить множество присваиваний, такое, что для каждого из них существует путь, в котором между ним и данным вхождением отсутствуют другие присваивания той же переменной - так формулируется задача:

В выяснении, где именно устанавливаются значения того или иного вхождения данной переменной заключается:

К классическим задачам анализа потоков данных можно отнести:

Cледующим свойством: существует путь через данную вершину, начинающийся присваиванием данной переменной и кончающийся ее использованием, не содержащий иных присваиваний той же переменной - обладают:

Анализ потоков данных состоит из следующих стадий:

В учете влияния отдельного оператора в предположении, что уже имеется решение задачи анализа потоков данных перед этим оператором заключается:

На какой стадии анализа потоков данных, происходит решение задачи анализа для каждого пути, ведущего в данную вершину и затем выделение общей части всех таких решений:

Поточечное распространение отношений равенства и порядка вводит:

Разметку Us назовем неподвижной точкой отображения функции перехода F тогда и только тогда, когда:

Разметка представляет собой некоторый:

Набор потоковых утверждений - это:

Процесс решения задачи анализа потоков данных может быть описан как:

Основной проблемой разметки и потоковых функции является:

Для определения завершаемости алгоритма используется принцип:

Если функция сохраняет отношение порядка, то она называется:

Если функция является гомоморфизмом относительно полурешеточной операции, то она называется:

Дистрибутивная функция всегда:

Если L - ограниченная полурешетка конечной высоты, f - монотонная функция, то тогда можно показать что:

Набор монотонных функций f1,f2,...,fk соответственно на полурешетках L1,L2,...,Lk  индуцирует:

Полурешетка конечной высоты L, представляет собой:

Если фактически разметка before ассоциируется с входящими ребрами вершины, а разметка after - с исходящими, то такая задача называется:

Достижимые определения являются:

В качестве полурешетки потоковых фактов фиксируется:

Живые переменные - это:

Итеративный подход дает:

При итеративном перевычислении разметок с использованием рабочего списока вершин - опустошение списка свидетельствует о том, что:

Следующие шаги, необходимы для решения задачи анализа потока данных с помощью итеративного подхода: