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

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


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

Навигация