Зарегистрироваться
Восстановить пароль
FAQ по входу

Серебряный К.С. Методы высокоуровневой оптимизации циклов

  • Добавлен пользователем , дата добавления неизвестна
  • Отредактирован
Серебряный К.С. Методы высокоуровневой оптимизации циклов
Москва. – МФТИ. – 2004 г. – 92 стр. – Диссертация на соискание ученой степени кандидата технических наук. Специальность: 05.13.11 – "Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей". (На правах рукописи). Научный руководитель: кандидат технических наук Волконский В. Ю.
Аннотация.
Целью диссертационной работы является разработка новых и модификация имеющихся методов и алгоритмов оптимизации программ, связанных с программной конвейеризацией и автопараллелизацией, а также использующих профилирование.
Предмет исследования составляют различные аспекты разработки и реализации алгоритмов оптимизации программ: разработка эффективных алгоритмов идентификации, анализа и трансформации индуктивных переменных; разработка эффективных методов профилирования значений и выбора участков кода для специализации; оценка конечной производительности оптимизированного кода.
Содержание.
Трансформации индуктивных переменных.
Трансформации циклов.
Автоматическая параллелизация.
Распознавание циклов-идиом.
Перестановка циклов.
Снижение стоимости индуктивных выражений.
Развертка циклов.
Индуктивные переменные и выражения.
Преобразование типов индуктивных переменных.
Деление индуктивного выражения на константу.
Символьное представление индуктивных выражений.
С-функция.
Каноническая форма С-функции.
Линейные С-функции.
Подстановка индуктивных переменных.
Подстановка точек модификации.
Вычисление количества итераций цикла.
Подстановка индуктивных переменных.
Снижение стоимости.
Другие реализации алгоритмов.
Идентификация индуктивных переменных.
Снижение стоимости индуктивных выражений.
Подстановка индуктивных переменных.
Нормализация структуры управляющей переменной цикла. Использование беззнакового типа.
Использование оператора постинкремента.
Использование глобальной переменной в качестве верхней границы.
Порядок нормализации циклов.
Ограничения применения специализации кода.
Профилирование значений выражений для специализации кода.
Специализация кода по конкретным значениям инвариантов.
Профилирование значений выражений.
Инструментирование программы.
Использование результатов инструментирования.
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация