Вопросы на экзамен по первой части курса

Вопросы на экзамен
«Системное программирование»
Первая часть
1)
2)
3)
4)
5)
6)
7)
8)
9)
10)
11)
12)
13)
14)
15)
16)
17)
18)
19)
20)
21)
22)
Понятие «архитектура набора команд» (ISA), классификацию машинных архитектур с точки зрения набора
команд: CISC, RISC, VLIW, EPIC. Предикация, арность команд, выравнивание кода.
Модели среды исполнения, модели исполняемой программы.
Классификация моделей исполняемых программ, абсолютная программа.
Классификация моделей исполняемых программ, относительная программа.
Классификация моделей исполняемых программ, сегментированая программа. Явная и неявная сегментация.
Машинно-зависимые аспекты реализации системы памяти: выравнивание, оптимизация структурных типов
данных, порядок байтов, атомарность доступа.
Машинно-зависимые аспекты реализации системы памяти: кэш, трансляция виртуальных адресов, буфер
трансляции.
Системы с множественными адресными пространствами MAS. Поддержка перемещаемых программ в MAS.
Позиционно-независимый код или «копирование при записи».
Системы с единственным адресным пространством SAS.
Машинно-зависимые аспекты планирования операций: конвейер, зависимости по данным, порядок команд,
развертывание циклов.
Машинно-зависимые аспекты планирования операций: конвейер, зависимости по управлению, политики
предсказания переходов, планирование трассы исполнения программы, профилирование.
Принципы построения исполняемой программы: таблицы векторов перехода, разрешение внешних ссылок,
GOT.
Принципы компоновки исполняемой программы: статическая, динамическая, позднее связывание (ленивая
загрузка).
Архитектура набора команд ISA и проблема эффективного исполнения кода: внеочередное исполнение
команд, параллельное исполнение команд, команды с перекрытием, роль количества регистров, глобальные
зависимости.
Структуры (базы) данных ассемблера. Алгоритмы распознавания ключевых слов и идентификаторов.
Бинарный поиск. Хеширование.
Методы оптимизации распределения регистров. Граф зависимостей, граф интерференций, распределение
регистров на основе раскраски графа.
Алгоритмы работы ассемблеров. Многопроходной ассемблер. Глобальная оптимизация на уровне
компоновщика.
Макропроцессоры.
Редакторы связей. Глобальная оптимизация.
Загрузчики.
Компиляторы, их структура. Back-end и Front-end компилятора. Промежуточные языки, RTL.
Кросс-платформная разработка программ.