Главная страница « Спецсеминары «

Спецсеминар «Корректность программ и операционные системы»

Руководители:
доктор физ.-мат. наук Петренко Александр Константинович,
канд. физ.-мат. наук Хорошилов Алексей Владимирович,
канд. физ.-мат. наук Кулямин Виктор Вячеславович

вернуться на страницу спецсеминара

Новости
Информация
Преподаватели и сотрудники
Студенты и аспиранты
Научно-исследовательский семинар
Просеминар
Спецкурсы
Проекты
Ссылки
Поиск

ВИРТУАЛИЗАЦИЯ



Заинтересовались?
Напишите нам:
Пакулин Николай
npak@ispras.ru



Сейчас одним из основных направлений развития архитектур компьютера является многоядерность. А на каждом ядре можно запустить свою ОС. Это называется виртуализацией. Раз ОС (и процессы в них) могут себя вести как угодно, то они могут в том числе выполнять и вредоносные функции (например, передавать конфиденциальную информацию врагам). Увы, самые распространенные ОС далеко не всегда занимаются контролем допустимости поведения и себя, и процессов. А это может иметь самые плачевные последствия.


Мы пытаемся придумать такую виртуализацию, при которой осуществлялся бы контроль ресурсов (см. картинку). Всеми ОС управляет одна программа, не относящаяся ни к одной из конкретных ОС – гипервизор. Гипервизор – это ключевая часть каждой предлагаемой нами схемы виртуализации. Кстати, гипервизоры разрабатываются и в Microsoft, и в IBM, есть гипервизор у VMWare, идейно похожие разработки активно ведутся в Google (Native Client).


Сейчас нам интересны такие исследования:

  1. Совершенствование технологии защищенной виртуализации в гипервизоре;

  2. Совершенствование кода гипервизора.

Что можно почитать:

  1. П.Яковенко. Прозрачный механизм удаленного обслуживания системных вызовов

Присоединяйтесь!


  

© Кафедра системного программирования ВМК МГУ.

Обновлено: 23.III.2020