Разработка компиляторов на основе формы SSA
Бумажное издание
Оригинальное название: Оригинальный правообладатель:
Springer
Перевод: Слинкин А.
Дата выхода: март 2026 года
Объем, стр: 396
ISBN: 978-5-93700-432-1
Формат: 165 * 235 мм
Бумага: офсетная
Обложка: Твердый переплет
Вес, г: 800
Электронное издание
Оригинальное название: Оригинальный правообладатель:
Springer
Перевод: Слинкин А.
Дата выхода: март 2026 года
Объем, стр: 398
ISBN: 978-5-93700-432-1
Купить электронную книгу
| Купить на EUniverse | Купить |
- Самовывоз м. Коломенская - завтра - Бесплатно
- Доставка почтой по РФ - 7-28 дней - от 300 р.
Доставка почтой за пределы РФ - 14-28 дней - от 1400 р. - Курьером по Москве - в течение 7 дней - 300 р.
Аннотация
Перед вами всестороннее руководство по использованию представления SSA (Static Single Assignment) в современном оптимизирующем компиляторе. В нем показано, как форма SSA превращается из удобной теоретической модели в практический фундамент для анализа программ, оптимизации и генерирования эффективного машинного кода. Авторы подробно рассматривают алгоритмы, инженерные решения и расширения SSA, применяемые в промышленных компиляторах.
Среди основных тем книги:
- построение и деструкция формы SSA;
- разреженный анализ потока данных;
- живучесть, индуктивные переменные и устранение избыточности;
- расширения SSA (ψ-SSA, HSSA, форма для массивов и памяти);
- выбор команд и преобразования управления;
- распределение регистров и генерация машинного кода;
- применение SSA в аппаратной компиляции и в реальных компиляторах.
Издание адресовано разработчикам компиляторов, специалистам по оптимизации программ, исследователям и студентам, стремящимся детально изучить принципы устройства и работы современных компиляторов.
Первоначальное название было изменено для более точного отражения содержания книги.





