Ф. Растелло, Ф. Буше Тишаду | Разработка компиляторов на основе формы SSA (2026) [PDF]
picАвтор: Ф. Растелло, Ф. Буше Тишаду
Перевод: А.А. Слинкин
Издательство: ДМК Пресс
ISBN: 978-5-93700-432-1
Жанр: Компьютерная литература
Формат: PDF
Качество: Изначально электронное (ebook)
Иллюстрации: Цветные и черно-белые
Описание:
Перед вами всестороннее руководство по использованию представления SSA (Static Single Assignment) в современном оптимизирующем компиляторе. В нем показано, как форма SSA превращается из удобной теоретической модели в практический фундамент для анализа программ, оптимизации и генерирования эффективного машинного кода. Авторы подробно рассматривают алгоритмы, инженерные решения и расширения SSA, применяемые в промышленных компиляторах.
Читать фрагмент
Дополнительная информация:
Среди основных тем книги:
построение и деструкция формы SSA;
разреженный анализ потока данных;
живучесть, индуктивные переменные и устранение избыточности;
расширения SSA (ψ-SSA, HSSA, форма для массивов и памяти);
выбор команд и преобразования управления;
распределение регистров и генерация машинного кода;
применение SSA в аппаратной компиляции и в реальных компиляторах.
Издание адресовано разработчикам компиляторов, специалистам по оптимизации программ, исследователям и студентам, стремящимся детально изучить принципы устройства и работы современных компиляторов.
Аннотация
Ф. Растелло, Ф. Буше Тишаду | Разработка компиляторов на основе формы SSA (2026) [PDF]
picАвтор: Ф. Растелло, Ф. Буше Тишаду
Перевод: А.А. Слинкин
Издательство: ДМК Пресс
ISBN: 978-5-93700-432-1
Жанр: Компьютерная литература
Формат: PDF
Качество: Изначально электронное (ebook)
Иллюстрации: Цветные и черно-белые
Описание:
Перед вами всестороннее руководство по использованию представления SSA (Static Single Assignment) в современном оптимизирующем компиляторе. В нем показано, как форма SSA превращается из удобной теоретической модели в практический фундамент для анализа программ, оптимизации и генерирования эффективного машинного кода. Авторы подробно рассматривают алгоритмы, инженерные решения и расширения SSA, применяемые в промышленных компиляторах.
Читать фрагмент
Дополнительная информация:
Среди основных тем книги:
построение и деструкция формы SSA;
разреженный анализ потока данных;
живучесть, индуктивные переменные и устранение избыточности;
расширения SSA (ψ-SSA, HSSA, форма для массивов и памяти);
выбор команд и преобразования управления;
распределение регистров и генерация машинного кода;
применение SSA в аппаратной компиляции и в реальных компиляторах.
Издание адресовано разработчикам компиляторов, специалистам по оптимизации программ, исследователям и студентам, стремящимся детально изучить принципы устройства и работы современных компиляторов.