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

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

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

Литература

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