Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/specsem/vvp/virtual/
Дата изменения: Wed Feb 11 22:28:56 2015
Дата индексирования: Sun Apr 10 00:21:02 2016
Кодировка: Windows-1251
Спецсеминар «Корректность программ»

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

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

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

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

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

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



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



Дополнительные видеоматериалы

Виртуализация RedHat Linux и CentOS Linux

Виртуализация:

бизнес-взгляд

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


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


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

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

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

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

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

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

  

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

Обновлено: 06.04.2011