Publication: ОПРЕДЕЛЕНИЕ И РАЗРАБОТКА НИЗКОУРОВНЕВЫХ КОМПОНЕНТОВ, НЕОБХОДИМЫХ ДЛЯ РЕАЛИЗАЦИИ ЯДРА ОПЕРАЦИОННОЙ СИСТЕМЫ НА ФУНКЦИОНАЛЬНОМ ЯЗЫКЕ ПРОГРАММИРОВАНИЯ OCAML
Аннотация
Выпускная квалификационная работа содержит 80 страниц, на которой размещены 15 рисунков и 5 таблиц. При написании работы использовался 21 источник. В работу входит введение, три главы, итоговое заключение, список используемой литературы. Глава 1 выпускной квалификационной работы посвящена обзору основных типов ядра операционной системы. Дается подробный обзор микроядерного подхода, анализируются современные микроядра семейства L4. Рассматриваются подходы к решению задачи формальной верификации. Описываются основы языка программирования OCaml. В главе 2 был разработан подход к реализации микроядра на языке OCaml. Описывается выполнение портирования среды выполнения языка OCaml в окружение без операционной системы. Были разработаны приложения на языках C и Assembler, работающие без операционной системы. Рассматривается структура ELF-файла. Было выполнено развертывание среды для сборки приложений без кросс-компилятора при помощи эмулятора QEMU. Рассматривается разработка простого приложения на языке OCaml, работающего без операционной системы. В главе 3 описываются способы тестирования производительности разработанных примитивов. Рассматривается разработанный тест межпроцессорного взаимодействия. Рассматриваются новые примитивы, улучшающие производительность. Подробно описываются результаты первоначальных тестирований. Дается оценка производительности на основе сравнения с существующими реализациями. Оценивается влияние сборки мусора на производительность. Предлагаются различные варианты оптимизации и рассматриваются результаты тестирования после оптимизации. Заключение посвящено основным выводам по реализации подхода к разработке микроядра на языке программирования OCaml и результатам производительности разработанных примитивов.
Описание
Уровень образования: магистратура; Код направления/специальности: 09.04.01; Группа: К04-12М
Ключевые слова
ВКР , Выпускная квалификационная работа
Цитирование
Чепик, Н. А. ОПРЕДЕЛЕНИЕ И РАЗРАБОТКА НИЗКОУРОВНЕВЫХ КОМПОНЕНТОВ, НЕОБХОДИМЫХ ДЛЯ РЕАЛИЗАЦИИ ЯДРА ОПЕРАЦИОННОЙ СИСТЕМЫ НА ФУНКЦИОНАЛЬНОМ ЯЗЫКЕ ПРОГРАММИРОВАНИЯ OCAML : Выпускная квалификационная работа, магистратура, 09.04.01 / Н. А. Чепик ; рук. работы Иванов Михаил Александрович, 2016