Preview

Чебышевский сборник

Расширенный поиск

О полурешётке состояний процессов Linux

https://doi.org/10.22405/2226-8383-2019-20-4-124-136

Полный текст:

Аннотация

В работе рассматривается структура данных - множество состояний процессов Linux,
которая используется в задаче восстановления дерева процессов в Unix-подобных операционных системах. Целью исследования является анализ зависимостей в такой структуре,
введение естественного порядка по зависимостям, предложение и обоснование возможности его введения как верхней полной полурешётки. Следующие из технических свойств
прикладной задачи иерархии атрибутов позводяют ввести дополнительные ограничения
на минимальные верхние границы в полурешётке. Ограничения формально описываются в
виде подходящих операторов предзамыкания и замыкания. Из ограничений следует необходимое условие корректности дерева процессов. На основании свойств точек, возвращае-
мых введёнными операторами и схемы выполнения системного вызова, приводится достаточное условие корректности: для каждого атрибута, возникающего в контексте процесса,
должно существовать решёточно упорядоченное относительно наследуемого порядка множество, содержащее промежуточные состояния процессов, через которые и разрешаются
зависимости. Введённые условия формируют критерий корректности дерева процессов,
что может быть полезно в таких задачах как генерация тестов для систем сохранения и
восстановления состояний Unix-подобных ОС, поиск аномалий, повышение портабельности и надёжности программных комплексов. Приводятся также схемы зависимостей между атрибутами, которые вводят частные ограничения на реконструирующее множество.
Рассматриваются открытые вопросы и предлагаются дальнейшие шаги.

Об авторе

Николай Николаевич Ефанов
Московский физико-технический институт
Россия
аспирант, ассистент/преподаватель кафедры информатики и вычислительной математики


Для цитирования:


Ефанов Н.Н. О полурешётке состояний процессов Linux. Чебышевский сборник. 2019;20(4):124-136. https://doi.org/10.22405/2226-8383-2019-20-4-124-136

For citation:


Efanov N.N. On semilattice of Linux processes’ states. Chebyshevskii Sbornik. 2019;20(4):124-136. (In Russ.) https://doi.org/10.22405/2226-8383-2019-20-4-124-136

Просмотров: 118


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2226-8383 (Print)