Проєктування віртуальних машин
Спеціальність: Комп'ютерні системи та мережі
Код дисципліни: 7.123.01.O.010
Кількість кредитів: 4.00
Кафедра: Електронні обчислювальні машини
Лектор: доцент Наконечний Ростислав Адріанович
Семестр: 2 семестр
Форма навчання: денна
Результати навчання: знати основні принципи, алгоритми, методи проектування програмно-апаратних засобів віртуальних системних і процесних машин, внутрішні механізми функціонування цих машин, способи верифікації.
вміти складати технічне завдання на проект, обирати адекватні програмно-апаратні інструменти проектування, виконувати етап ескізного проектування з розподілом виконання функцій поміж апаратними і програмними засобами, виконати розробку віртуальної машини.
мати навики відлагодження та тестування програмноі віртуальної машини.
Необхідні обов'язкові попередні та супутні навчальні дисципліни: пререквізити
Архітектура комп`ютерів
Мови опису апаратних засобів
Системне програмування
Короткий зміст навчальної програми: Комп'ютерні архітектури і історія віртуалізації. Основи віртуальних машин.
Процесні (прикладні) віртуальні машини. Системні віртуальні машини.
Основи інтерпретації. Ниткова інтерпретація . Прекодування і пряма ниткова інтерпретація. Інтерпретація CISC архітектури. Бінарна трансляція.
Дослідження коду і динамічна трансляція. Продуктивність віртуальної машини.
Реалізація віртуальних машин. Сумісність. Проекція станів. Емуляція архітектури пам'яті. Емуляція виключних ситуацій
Емуляція операційних систем. Керування кодовим кешем. Системне оточення.
Архітектури мовних віртуальних машин. Віртуальна машина Java.
Віртуальні машини VirtualBox, Virtual PC та VMware Workstation.
Віртуалізація ресурсів: процесор, пам'ять, підсистема введення-виведення.
Апаратні технології віртуалізації фірми Intel.
Методи та критерії оцінювання: - поточний контроль - письмові звіти з лабораторних робіт, усне опитування, оцінювання виконаних індивідуальних завдань (30%);
- підсумковий контроль - контрольний захід, залік диференційований: письмово-усна форма (70 %).
Рекомендована література: 1. Tim Lindholm, Frank Yellin, Gilad Bracha, Alex Buckley. The Java Virtual Machine Specifacation. – Addison-Wesley, 2013. – 608 p.
2. Bill Blunden. Virtual Machine Design and Implementation in C/C++ . - Wordware Publishing, Inc: 2002. 689 p.
3. James E. Smith, Ravi Nair. Virtual Machines / Elservier Inc. 2005. 647 p.