Аноним

Зависимость по управлению: различия между версиями

Материал из WikiGrapp
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Зависимость по управлению''' (''[[Control dependence]]'') - зависимость, направленная от оператора IF к операторам, находящимся под его управлением. Более строгое определение использует понятие ''[[постдоминатора]]''. А именно, пусть <math>G</math> --- ''[[управляющий граф]]'', а <math>x</math> и <math>y</math> --- две его [[вершина|вершины]]. Вершина <math>y</math> зависит по управлению от <math>x</math>, если:
'''Зависимость по управлению''' (''[[Control dependence]]'') зависимость, направленная от оператора IF к операторам, находящимся под его управлением. Более строгое определение использует понятие [[постдоминатор|''постдоминатора'']]. А именно, пусть <math>G</math> ''[[управляющий граф]]'', а <math>x</math> и <math>y</math> две его [[вершина|вершины]]. Вершина <math>y</math> зависит по управлению от <math>x</math>, если:


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


(2) вершина <math>x</math> не постдоминируется вершиной <math>y</math>.
:(2) вершина <math>x</math> не постдоминируется вершиной <math>y</math>.


В применении к [[цикл|циклу]] в управляющем [[граф|графе]] данное определение '''З.п.у.''' характеризует сильно связную область (''[[зона|зону]]'') зависимости по управлению, вершинами
В применении к [[цикл|циклу]] в управляющем [[граф|графе]] данное определение '''зависимости по управлению''' характеризует сильно связную область (''[[зона|зону]]'') зависимости по управлению, вершинами
которой являются предикаты, определяющие выход из цикла.
которой являются предикаты, определяющие выход из цикла.
==Литература==
==Литература==
[Векторизация]
* Векторизация программ: теория, методы, реализация. — М.: Мир, 1991.