4 Семестр
40 статей
Планировщики
Реальные планировщики Windows и Linux и четыре противоречивых требования к ним. Разбирается проблема deadlock и способы минимизировать риск тупиков в планировании.
Тесты
Статистические тесты на примере критерия для коэффициента корреляции Пирсона. Разбирается постановка задачи и построение проверки гипотезы о наличии линейной связи между переменными.
Планирование
Метрики качества планировщика — время ожидания и время отклика. Разбираются свойства алгоритмов планирования: предсказуемость, масштабируемость и реализуемость на практике.
Примеры критериев
Практическое применение базовых статистических критериев на конкретных задачах. Разбирается, в частности, проверка гипотезы о математическом ожидании на примере честной монеты.
Критерий о медиане
Продолжение темы статистических критериев на примере критерия о медиане для одной выборки. Разбирается постановка задачи и построение соответствующего теста.
Состояния процессов
Модель состояний процесса как автомат с вершинами-состояниями и рёбрами-переходами. Разбирается историческая двухсостоянийная модель Running/Waiting и её развитие.
Проверка гипотез
Формальная постановка задачи проверки статистических гипотез, включая нулевую и альтернативную гипотезы. Разбираются базовые понятия критерия и ошибок первого и второго рода.
Процессы
Понятие процесса как набора команд, ресурсов и контекста исполнения под управлением ОС. Разбираются сигналы вроде SIGKILL и SIGSTOP, а также управление приоритетом процессов через renice.
Архитектуры ядер
Ядро ОС как резидентный привилегированный компонент и компромисс между удобством и размером. Разбирается монолитная архитектура с разделением на main program, services и utilities.
Гипотезы
Формальное определение доверительного интервала и переход к проверке статистических гипотез. Закладывается терминологическая база для дальнейших тем курса.