Учебные курсы – Разработка операционных систем 2024 и 2025 учебного года – Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН) – Национальный исследовательский университет «Высшая школа экономики»

АБB
АБB
АБB

Обычная версия сайта

О кафедре

Кафедра создана в 2015 году в структуре департамента программной инженерии на базе Института cистемного программирования им. В.П. Иванникова РАН (ИСП РАН).

Системное программирование – это основа программной инженерии (науки о производстве программ). Специализация кафедры охватывает ряд важнейших направлений: операционные системы, компиляторные технологии, технологии и инструменты разработки программ, системная интеграция и прикладные программные комплексы и др.

Публикации

Книга

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья

Конструирование программных систем, нацеленное на обеспечение безопасности
В печати

Кулямин В. В., Петренко А. К., Рудина Е.

Труды Института системного программирования РАН. 2024. Т. 36. № 5. С. 7-16.

Глава в книге

Исследование нефункциональных параметров различных типов при реализации путей в параметризованных графах

Бурдонов И., Евтушенко Н. В., Евтушенко Л. Г. и др.

В кн.: Новые информационные технологии в исследовании сложных структур : материалы Пятнадцатой Международной конференции, 16–20 сентября 2024 г.. Томск: Издательство Томского государственного университета, 2024. С. 12-13.

Препринт

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Все публикации

Кто читает:: Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)

Статус:: Курс по выбору

Когда читается:: 4-й курс, 1-3 модуль

Преподаватель

Хорошилов Алексей Владимирович

Полная версия программы учебной дисциплины Задать вопрос

Аннотация

В курсе рассматриваются ключевые принципы проектирования ядра операционных систем с акцентом на их освоение на практике. В рамках курса каждым студентом выполняется постепенная разработка маленькой операционной системы на языке Си с небольшими количеством вставок на ассемблере x86, которая запускается на эмуляторе ЭВМ Qemu. Каркас операционной системы постепенно выдается слушателям, наполнение каркаса осуществляется совместно в ходе занятий и в рамках самостоятельной работы.

Цель освоения дисциплины

Знакомство на практике с основными принципами конструирования ядра операционной системы и сопутствующих понятий, таких как планировщик, виртуальная память, прерывания, механизмы синхронизации, системные вызовы, файловые системы и т.д.

Планируемые результаты обучения

Знание механизмов аппаратной поддержки работы ядра
Знание навыков программирования на языке Ассемблер
Знание навыков проектирования и программирования компонентов ядра операционной системы и отладки программ в привилегированном режиме работы процессора
Знание основных принципов внутреннего устройства ядра операционной системы
Знание ПО начальной инициализации платформы и периферийных устройств, интерфейсов базового программного обеспечения (BIOS) на основе современных спецификаций ACPI, SMBIOS, UEFI и пр.

Содержание учебной дисциплины

Введение.
Устройство ядра JOS.
Описатели процессов в JOS.
Прерывания в x86.
Обработка вложенных прерываний в x86.
Управление распределением физических страниц.
Переключение между режимами работы процессора.
Управление процессами.
Примитивная файловая система.

Элементы контроля

Домашняя работа
Экзамен
Лабораторные
В первом модуле в сумме макс. 10 баллов за все лабораторные работы.

Промежуточная аттестация

2024/2025 1st module
Количество накопленных баллов за лабораторные работы
2024/2025 3rd module
0модуль3 = Олаб*0.1 + Одз*0.1 + Оэкз*0.1

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

Авторы

Буцкая Евгения Александровна

Разработка операционных систем