Участок экономии: различия между версиями

'''Участок экономии''' (''[[Economy region]]'') -

фрагмент программы, который содержит все изменяемые части

программы и семантика которого гарантирует корректность и

целесообразность данной оптимизации по отношению ко всей

программе. По существу, оптимизирующее преобразование,

рассмотренное как преобразование участка экономии, является

бесконтекстным.

Понятно, что ограничение на размер участка экономии сужает

возможности улучшения программы (в этом случае говорят о

глобальной оптимизации), и поэтому наилучшим участком

экономии является вся программа. Однако глобальность

оптимизации, как правило, не только приводит к существенному

увеличению объема рассматриваемой информации, но и не

позволяет разработать обоснованный и эффективный [[алгоритм]]

реализации этой оптимизации. Поэтому на практике обычно

рассматривают следующие участки экономии.

''Оператор''. Арифметические операции - основной источник оптимизации в операторе.

алгоритмы глобальной оптимизации упрощаются, если программа ''регуляризуема'' - представима в виде иерархии вложенных интервалов.

''Иерархия вложенных альтов''. Не менее естественной единицей факторизации является ''альт'' - фрагмент с единственной ''[[начальная вершина|начальной вершиной]]''. Если программа регуляризуема, то подмножество ее альтов образует ''[[зонно-интервальное представление]]'' программы, выявляющее как

''Группа процедур''. Совместное рассмотрение процедур часто предоставляет дополнительные возможности для оптимизации, например позволяет выявить процедуры, не являющиеся рекурсивными, или осуществить открытую подстановку тел процедур на места их вызовов. При этом помимо ''[[уграф|уграфов]]'', кодирующих потоки управления между лучами внутри тел процедур, рассматриваются межпроцедурные связи, например в виде ''[[граф вызовов процедур|графа вызовов процедур]]''.

[Касьянов/88],

[Касьянов-Поттосин],

[Евстигнеев-Касьянов/94],

[Векторизация],}

[Касьянов/83],

[Касьянов/86]