VARS: Совмещение Интерактивности И Реального Времени

В сфере искусственного интеллекта произошло заметное событие. vi_is_raven 13 минут назад VARS: Совмещение Интерактивности И Реального Времени Сложный 8 мин 178 Системное программирование * Операционные системы Высоконагруженные системы * Математика * Программирование * VARS - Virtual- And Real-time Scheduler. Введение: проблема трёх классов задачСовременные операционные системы вынуждены одновременно обслуживать рабочие нагрузки трёх принципиально разных типов:Интерактивные задачи (графический интерфейс, терминалы, ввод/вывод) — требуют минимальной задержки отклика (латентность не более 10–20 мс) и стабильной плавности. Фоновые задачи (компиляция, архивация, научные расчёты) — потребляют много процессорного времени, но не критичны к задержкам; важно лишь, чтобы они не голодали.

Задачи реального времени (аудио/видео обработка, управление оборудованием, робототехника) — должны выполняться строго в заданные временные рамки (дедлайны). Традиционные планировщики обычно решают одну из этих проблем хорошо, но не все сразу. Например, справедливые планировщики (CFS) дают отличную пропорциональность и низкую задержку для интерактивных задач, но не гарантируют жёстких дедлайнов при перегрузке.

Технические детали

Специализированные RT-расширения (как SCHED_DEADLINE) обеспечивают временные гарантии, но сложны в интеграции с обычными процессами и часто требуют ручного выделения ресурсов. Возникает естественный вопрос: можно ли построить единый планировщик, который естественным образом совмещает все три класса, не требуя сложной настройки? Для этого достаточно объединить два хорошо известных подхода: EEVDF (Earliest Eligible Virtual Deadline First) и приоритетную очередь реального времени с абсолютными дедлайнами.

Гибридное решение оказывается удивительно простым, предсказуемым и эффективным. Общая архитектураПланировщик построен по принципу независимых очередей на каждое ядро процессора (per‑CPU runqueue). Это позволяет избкжать глобальной блокировки и обеспечивает хорошее масштабирование на многоядерных системах.

Каждая очередь содержит:Хранилище всех задач, включая спящие. Две отдельные структуры для выбора: Очередь реального времени — задачи с абсолютными дедлайнами, отсортированные по времени, до которого они должны быть выполнены. EEVDF-очередь — обычные задачи, отсортированные по паре (виртуальный дедлайн, виртуальное время выполнения).

Отраслевые последствия

Текущую задачу, исполняемую на данном ядре. Минимальное виртуальное время (min_vruntime) среди всех задач очереди — ключевой параметр для компенсации лагов. Активация планировщика происходит либо по прерыванию от таймера (каждые 10 мс), либо по добровольному вызову yield от задачи.

На каждом таком событии планировщик обновляет параметры текущей задачи, выбирает следующую и, при необходимости, переключает контекст выполнения. EEVDF: справедливость через виртуальное времяEEVDF является развитием классического подхода виртуального времени, который используется в современных справедливых планировщиках.

Событие, по словам экспертов, усилит конкуренцию в сфере ИИ.