Юлюгин Евгений Андреевич Исследование и оптимизация современных систем моделирования, применяемых для разработки программного обеспечения вычислительных машин

Краткое описание

Юлюгин Евгений Андреевич Исследование и оптимизация современных систем моделирования, применяемых для разработки программного обеспечения вычислительных машин
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Юлюгин Евгений Андреевич
2.3.3 Измерения

2.4 Ускорение сценариев, использующих современные векторные инструкции

2.4.1 История развития векторных инструкций архитектуры Intel®

2.4.2 Актуальность функционального моделирования векторных инструкций

2.4.3 Моделирование современных векторных инструкций через инструкции предыдущих поколений

2.4.4 Прямое исполнение векторных инструкций архитектуры Intel

2.5 Использование аппаратной поддержки вложенной виртуализации для ускорения сценариев моделирования гипервизоров

2.5.1 Трудности, вызванные несовпадением хозяйской и гостевой архитектур

2.5.2 Описание разработанного алгоритма

2.5.3 Измерения

2.6 Моделирование технологии контроля целостности потока управления

2.6.1 Невозможность использования режима прямого исполнения

2.6.2 Использование обновлений микрокода для обеспечения прямого исполнения

2.6.3 Измерения

2.7 Выводы по главе

3 Взаимодействие между режимами моделирования

3.1 Достаточные условия построения монитора виртуальных машин при неполном совпадении гостевой и хозяйской архитектуры

3.1.1 Модель вычислительной системы

3.1.2 Монитор виртуальных машин

3.1.3 Достаточные условия построения монитора виртуальных машин

3.1.4 Построение монитора виртуальных машин

3.1.5 Замечания об эффективности

3.2 Моделирование инструкций, нарушающих достаточные условия построения монитора виртуальных машин

3.2.1 Инструкции, нарушающие достаточные условия

3.2.2 Примеры некорректного моделирования в режиме прямого исполнения

3.2.3 Обеспечение корректного моделирования

3.2.4 Измерения

3.2.5 Улучшение производительности при моделировании инструкций сохранения и восстановления состояния XSAVE

3.3 Уменьшение числа переключений между режимами прямого исполнения и программного моделирования

3.3.1 Обзор существующих решений

3.3.2 Разработанное решение

3.3.3 Измерения

3.4 Выводы по главе

Заключение

Список литературы