Зависимость по управлению

Материал из WEGA
Версия от 13:47, 20 октября 2009; Glk (обсуждение | вклад) (Создана новая страница размером '''Зависимость по управлению''' (''Control dependence'') - зависимость, направленная от ...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Зависимость по управлению (Control dependence) - зависимость, направленная от оператора IF к операторам, находящимся под его управлением. Более строгое определение использует понятие постдоминатора. А именно, пусть [math]\displaystyle{ G }[/math] --- управляющий граф, а [math]\displaystyle{ x }[/math] и [math]\displaystyle{ y }[/math] --- две его вершины. Вершина [math]\displaystyle{ y }[/math] зависит по управлению от [math]\displaystyle{ x }[/math], если:

(1) существует путь из [math]\displaystyle{ x }[/math] в [math]\displaystyle{ y }[/math], в котором любая вершина [math]\displaystyle{ z }[/math] (за исключением [math]\displaystyle{ x }[/math] и [math]\displaystyle{ y }[/math]) постдоминируется вершиной [math]\displaystyle{ y }[/math], и

(2) вершина [math]\displaystyle{ x }[/math] не постдоминируется вершиной [math]\displaystyle{ y }[/math].

В применении к циклу в управляющем графе данное определение З.п.у. характеризует сильно связную область (зону) зависимости по управлению, вершинами которой являются предикаты, определяющие выход из цикла.

Литература

[Векторизация]