1288
правок
Участок экономии: различия между версиями
Материал из WikiGrapp
нет описания правки
KVN (обсуждение | вклад) |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 19: | Строка 19: | ||
алгоритмы глобальной оптимизации упрощаются, если программа ''регуляризуема'' — представима в виде иерархии вложенных интервалов. | алгоритмы глобальной оптимизации упрощаются, если программа ''регуляризуема'' — представима в виде иерархии вложенных интервалов. | ||
'''''Иерархия вложенных альтов'''''. Не менее естественной единицей факторизации является ''[[альт]]'' — фрагмент с единственной ''[[начальная вершина|начальной вершиной]]''. Если программа [[Регуляризуемый уграф|регуляризуема]], то подмножество ее альтов образует ''[[зонно-интервальное представление]]'' программы, выявляющее как циклическую, так и интервальную ее структуру. Любая программа представима в виде иерархии альтов, являющихся [[гамак|гамаками]]. Такое представление не требует изменения алгоритма оптимизации при его факторизации и выделяет фрагменты, являющиеся обобщенными преобразователями. | '''''[[Иерархия вложенных альтов]]'''''. Не менее естественной единицей факторизации является ''[[альт]]'' — фрагмент с единственной ''[[начальная вершина|начальной вершиной]]''. Если программа [[Регуляризуемый уграф|регуляризуема]], то подмножество ее альтов образует ''[[зонно-интервальное представление]]'' программы, выявляющее как циклическую, так и интервальную ее структуру. Любая программа представима в виде иерархии альтов, являющихся [[гамак|гамаками]]. Такое представление не требует изменения алгоритма оптимизации при его факторизации и выделяет фрагменты, являющиеся обобщенными преобразователями. | ||
'''''Группа процедур'''''. Совместное рассмотрение процедур часто предоставляет дополнительные возможности для оптимизации, например позволяет выявить процедуры, не являющиеся рекурсивными, или осуществить открытую подстановку тел процедур на места их вызовов. При этом помимо ''[[уграф|уграфов]]'', кодирующих потоки управления между лучами внутри тел процедур, рассматриваются межпроцедурные связи, например в виде ''[[граф процедур|графа вызовов процедур]]''. | '''''Группа процедур'''''. Совместное рассмотрение процедур часто предоставляет дополнительные возможности для оптимизации, например позволяет выявить процедуры, не являющиеся рекурсивными, или осуществить открытую подстановку тел процедур на места их вызовов. При этом помимо ''[[уграф|уграфов]]'', кодирующих потоки управления между лучами внутри тел процедур, рассматриваются межпроцедурные связи, например в виде ''[[граф процедур|графа вызовов процедур]]''. | ||
