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

Материал из WikiGrapp
Перейти к:навигация, поиск

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

(1) существует путь из x в y, в котором любая вершина z (за исключением x и y) постдоминируется вершиной y, и
(2) вершина x не постдоминируется вершиной y.

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

Литература

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