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

Зависимость по управлению (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].

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

Литература

• Векторизация программ: теория, методы, реализация. — М.: Мир, 1991.