RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН // Архив

Труды ИСП РАН, 2018, том 30, выпуск 6, страницы 161–170 (Mi tisp382)

Эта публикация цитируется в 2 статьях

Конфигурационная сборка варианта ядра Linux для прикладных систем

С. В. Козинab

a Национальный исследовательский университет Высшая школа экономики
b Институт системного программирования им. В.П. Иванникова РАН

Аннотация: Операционная система Linux - это современная открытая операционная система, содержащая более 10 000 конфигурационных переменных и множество функциональных системных элементов. Ставится задача создания некоторого варианта ОС для класса прикладных систем (медицины, биологии и др.). Эта задача решается путем анализа базовых функций ядра ОС и выбора из множества элементов наиболее подходящих для оперативного управления прикладными функциями. На их основе создается модель вариабельности из базовых характеристик ОС и модель варианта ОС, включающая основные функциональные элементы ядра ОС. Эти модели тестируются на предмет правильности их идентификации и связей с другими элементами. Затем по этим моделям проводится конфигурирование варианта ОС в виде конфигурационного файла. Этот файл верифицируется, и проходит комплексное тестирование на наборе тестов, проверяющих правильность функционирования операционной среды и процессов обработки заданий прикладных систем. В данной работе рассматривается способ сборки готового варианта ядра операционной системы. Будут затронуты необходимые пакеты, патчи для них и способы их установки. Затем представляется способ конфигурирования собранного варианта системы и настройки ядра для запуска.

Ключевые слова: система Linux, модель характеристик, модель системы, верификация, тестирование, вариант ядра ОС, конфигурационная сборка, верификация исходного файла, тестирование выходного файла.

DOI: 10.15514/ISPRAS-2018-30(6)-9



Реферативные базы данных:


© МИАН, 2024