Кудинова Марина Викторовна Математическая модель восстановления дерева процессов при живой миграции контейнеров

brief description

Кудинова Марина Викторовна Математическая модель восстановления дерева процессов при живой миграции контейнеров
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Кудинова Марина Викторовна
1.2 Актуальность темы
1.3 Область из которой появилась задача
1.3.1 Определения и история
1.3.2 Живая миграция
1.3.3 Инструменты для живой миграции. CRIU
1.3.4 Сохраняемые параметры
1.3.5 Восстановление из пространства пользователя
1.3.6 Когда мигрируем
1.3.7 Куда мигрируем
1.4 Степень разработанности темы исследования
1.4.1 Алгоритмической подход к решению задачи восстановления дерева процессов при миграции
1.4.2 Подходы к определению порядка операций
1.4.3 Сохранение информации о создании процессов
1.5 Цели и задачи
1.6 Научная новизна
1.7 Теоретическая и практическая значимость работы
1.8 Методология и методы исследования
1.9 Положения, выносимые на защиту
1.10 Степень достоверности и апробация результатов
1.11 Структура и объем диссертации
2 Глава 1. Формализация исследуемых механизмов и объектов
2.1 Особенности системных вызовов ядра Linux
2.1.1 Рассматриваемые параметры процессов
2.1.2 PID namespace
2.1.3 Системные вызовы и их влияние на параметры процессов
2.1.4 Обоснование выбора параметров для построения математической модели
2.2 Формализация дерева процессов
2.2.1 Пример дерева процессов
2.2.2 Пример изменения дерева процессов
2.3 Формализация операций над деревом процессов
2.3.1 Операции над деревом процессов
2.4 Формализация операций

2.4.1 Действие операций на дерево процессов

2.4.2 Дополнительные ограничения и порядок операций

2.5 Требования к математической модели

2.6 Обоснование выбора представления математической модели

3 Глава 2. Плоские матрицы

3.1 Матричное представление

3.1.1 Как строится математическая модель

3.2 Вид матриц

3.2.1 Дополнительные столбцы

3.2.2 Размер и форма матриц

3.2.3 Вид матрицы дерева Т

3.2.4 Вид матрицы операций Р

3.3 Общий вид уравнения

3.3.1 Входные параметры и результаты математической модели

3.3.2 Общий вид уравнения для матрицы Т

3.3.3 Покомпонентный вид выражения для матрицы Т

3.3.4 Выводы о виде уравнений (4) и (5)

3.3.5 Оценка количества операций

3.4 Частные случаи

3.4.1 Случай fork и setsid

3.4.2 Добавляется операция exit(). Одна операция влияет на только на один процесс

3.4.3 Добавляется операция exit(). Одна операция влияет на несколь ко процессов одновременно

3.5 Дополнительные ограничения

3.5.1 Дополнительные ограничения для случая fork()

3.5.2 Дополнительные ограничения для случая fork() + setsidQ

3.5.3 Упрощение системы уравнений

Глава 3. Многомерная математическая модель

4.1 Операции над деревом процессов в представлении многомерных матриц

4.1.1 Fork

4.1.2 Setsid

4.1.3 Exit

4.2 Общий вид операций

4.3 Итерационное уравнение

4.4 Естественные ограничения на выполняемые операции над деревом процессов

4.5 Плюсы и минусы использования многомерных матриц

4.6 Состояние дерева после п произведенных операций для частного случая fork

4.6.1 Возможные пути решения

4.7 Таблица взаимодействия операций.

Случай: fork(), setsidQ, exit()

4.7.1 Таблица взаимодействия операций

4.8 Упрощение вида уравнений

4.8.1 Проекции на плоскости {pid; sid} и {pid; ppid}

4.8.2 Действие операций в этих плоскостях

4.8.3 Вывод уравнения для плоскости {pid; sid}

4.8.4 Система уравнений

4.9 Возможные пути решения. Алгебра логики

4.10 Программный комплекс и численный эксперимент

4.10.1 Выбранный способ решения задачи

4.10.2 Алгоритм определения порядка операций

4.10.3 Проведение эксперимента и анализ результатов

4.10.4 Преобразование к виду алгебры логики для случая fork
4.10.5 Вывод формулы для элементов итоговой матрицы на шаге п131
4.10.6 Получение выражения Л, описывающего систему
4.10.7 Упрощение выражения для Л и получение упорядоченного набора операций
4.10.8 Не единственность решения
4.10.9 Корректность дерева
4.10.10 Расчеты для случая трех системных вызовов
4.10.11 Возможные конфигурации деревьев
5 Заключение
5.1 Основные результаты и выводы диссертации
5.2 Перспективы дальнейшей работы
5.3 Итоги Список литературы

1 Введение