Межпроцедурная оптимизация

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Межпроцедурная оптимизация (англ. Interprocedural Optimization, IPO) или полнопрограммная оптимизация — оптимизация компилятора, которая затрагивает несколько процедур, зачастую находящихся в разных модулях. Такую оптимизацию можно применить, лишь проанализировав всю программу целиком.

С ростом объёма программ разработчики стали делать свой код всё более удобочитаемым и повторно используемым. Зачастую это приводит к тому, что процедуры становятся предельно общими, в то время как в конкретной программе можно обойтись и частным случаем. Задача межпроцедурной оптимизации — именно генерация таких частных случаев.

Межпроцедурная оптимизация выполняется компилятором автоматически (иногда с указанием специальных директив). Ее активация может приводить к существенному увеличению времени компиляции. К компиляторам, умеющим выполнять указанную оптимизацию, относится Intel C++ Compiler. Компилятор Delphi не умеет выполнять подобную оптимизацию[источник не указан 33 дня].

Примеры[править | править вики-текст]

Замена параметра функции константой[править | править вики-текст]

Пройдя по коду, компилятор убеждается, что один из параметров всегда константа, и уничтожает его.

Было[править | править вики-текст]

void DoSomething(Object* aObj, int aParam)
{
  if (aObj==NULL)
    throw logic_error("aObj==NULL");
  cout << "DoSomething(" << aObj->name() << "," << aParam << ")" << endl;
}
 
int main()
{
  Object obj1, obj2;
 
  DoSomething(&obj1, 1);
  DoSomething(&obj2, 1);
 
  return 0;
}

Стало[править | править вики-текст]

void DoSomething(Object* aObj)
{
  if (aObj==NULL)
    throw logic_error("aObj==NULL");
  cout << "DoSomething(" << aObj->name() << "," << 1 << ")" << endl;
}
 
int main()
{
  Object obj1, obj2;
 
  DoSomething(&obj1);
  DoSomething(&obj2);
 
  return 0;
}

Замена виртуального вызова статическим[править | править вики-текст]

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

В том же примере, если Object::name() — виртуальный метод, оптимизированная функция будет выглядеть так.

void DoSomething(Object* aObj)
{
  if (aObj==NULL)
    throw logic_error("aObj==NULL");
  cout << "DoSomething(" << Object::name(aObj) << "," << 1 << ")" << endl;
}

Удаление незадействованного кода[править | править вики-текст]

После удаления получится:

void DoSomething(Object* aObj)
{
  cout << "DoSomething(" << Object::name(aObj) << "," << 1 << ")" << endl;
}

Заодно может происходить чистка таблиц виртуальных методов.

Инлайнинг[править | править вики-текст]

Если функция используется однократно, она напрямую включается в то место, из которого она вызывается.

Небольшие функции также можно напрямую включать в вызывающий код.

Многие языки программирования (Паскаль, Java, D) не имеют ключевого слова inline, и решение инлайнировать функцию принимается оптимизатором (в случае Java — обфускатором).