1288
правок
Участок экономии: различия между версиями
Материал из WikiGrapp
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показана 1 промежуточная версия этого же участника) | |||
| Строка 19: | Строка 19: | ||
алгоритмы глобальной оптимизации упрощаются, если программа ''регуляризуема'' — представима в виде иерархии вложенных интервалов. | алгоритмы глобальной оптимизации упрощаются, если программа ''регуляризуема'' — представима в виде иерархии вложенных интервалов. | ||
'''''Иерархия вложенных альтов'''''. Не менее естественной единицей факторизации является ''[[альт]]'' — фрагмент с единственной ''[[начальная вершина|начальной вершиной]]''. Если программа [[Регуляризуемый уграф|регуляризуема]], то подмножество ее альтов образует ''[[зонно-интервальное представление]]'' программы, выявляющее как циклическую, так и интервальную ее структуру. Любая программа представима в виде иерархии альтов, являющихся [[гамак|гамаками]]. Такое представление не требует изменения алгоритма оптимизации при его факторизации и выделяет фрагменты, являющиеся обобщенными преобразователями. | '''''[[Иерархия вложенных альтов]]'''''. Не менее естественной единицей факторизации является ''[[альт]]'' — фрагмент с единственной ''[[начальная вершина|начальной вершиной]]''. Если программа [[Регуляризуемый уграф|регуляризуема]], то подмножество ее альтов образует ''[[зонно-интервальное представление]]'' программы, выявляющее как циклическую, так и интервальную ее структуру. Любая программа представима в виде иерархии альтов, являющихся [[гамак|гамаками]]. Такое представление не требует изменения алгоритма оптимизации при его факторизации и выделяет фрагменты, являющиеся обобщенными преобразователями. | ||
'''''Группа процедур'''''. Совместное рассмотрение процедур часто предоставляет дополнительные возможности для оптимизации, например позволяет выявить процедуры, не являющиеся рекурсивными, или осуществить открытую подстановку тел процедур на места их вызовов. При этом помимо ''[[уграф|уграфов]]'', кодирующих потоки управления между лучами внутри тел процедур, рассматриваются межпроцедурные связи, например в виде ''[[граф процедур|графа вызовов процедур]]''. | '''''Группа процедур'''''. Совместное рассмотрение процедур часто предоставляет дополнительные возможности для оптимизации, например позволяет выявить процедуры, не являющиеся рекурсивными, или осуществить открытую подстановку тел процедур на места их вызовов. При этом помимо ''[[уграф|уграфов]]'', кодирующих потоки управления между лучами внутри тел процедур, рассматриваются межпроцедурные связи, например в виде ''[[граф процедур|графа вызовов процедур]]''. | ||
==Литература== | ==Литература== | ||
* Векторизация программ: теория, методы, реализация. — М.: Мир, 1991. | * Векторизация программ: теория, методы, реализация. — М.: Мир, 1991. | ||
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994. | * Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994. | ||
* Касьянов В.Н. Оптимизация программ // Прикладная информатика. — М.: Финансы и статистика, 1983. — Вып. 2. | * Касьянов В.Н. Оптимизация программ // Прикладная информатика. — М.: Финансы и статистика, 1983. — Вып. 2. | ||
* Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986. | * Касьянов В.Н. Теоретико-графовые задачи анализа управляющих графов транслируемых программ // Исследования по прикладной теории графов. — Новосибирск: Наука. Сиб. отд-ние, 1986. | ||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
* Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986. | |||
[[Категория:Потоковый анализ программ]] | |||
[[Категория:Преобразование программ]] | |||
[[Категория:Основные термины]] | |||
