Многозадачная операционная система

Многозадачная операционная система — это операционная система, поддерживающая режим разделения времени, при котором несколько процессов (задач, программ) выполняются одновременно, поочерёдно используя ресурсы центрального процессора (ЦП). Основная цель многозадачности — обеспечить иллюзию параллельного выполнения нескольких задач на одном компьютере, повышая эффективность использования вычислительных мощностей и удобство работы пользователя.

История

Концепция многозадачности возникла в 1960-х годах с развитием систем пакетной обработки данных и появлением первых многопользовательских операционных систем. Ранние мейнфреймы, такие как IBM System/360, использовали простые планировщики для поочерёдного выполнения заданий. Настоящий прорыв произошёл с внедрением алгоритмов вытесняющей многозадачности в системах UNIX (разработанных в Bell Labs в начале 1970-х годов) и в операционных системах реального времени.

В 1980-х годах многозадачность стала доступна на персональных компьютерах. Операционная система AmigaOS (1985) одной из первых реализовала вытесняющую многозадачность для домашних ПК. В то же время Microsoft Windows (начиная с версии 3.0 в 1990 году) ввела кооперативную многозадачность, которая впоследствии была заменена вытесняющей в Windows NT (1993) и Windows 95. Современные ОС (Linux, macOS, Windows 10/11, Android, iOS) используют преимущественно вытесняющую многозадачность.

Типы многозадачности

Кооперативная (невытесняющая)

В кооперативной многозадачности процессы добровольно уступают процессорное время другим задачам. Операционная система не прерывает выполнение программы принудительно. Этот подход проще в реализации, но критически зависит от корректности программ: если один процесс зависает или отказывается передавать управление, вся система блокируется. Примеры: ранние версии Windows (3.x, 9x), Mac OS до версии 9, некоторые встраиваемые системы.

Вытесняющая (превентивная)

При вытесняющей многозадачности операционная система сама распределяет кванты времени между процессами с помощью планировщика. Каждому процессу выделяется фиксированный или динамический квант времени (обычно 10–100 миллисекунд). По истечении кванта или при наступлении события (например, завершения ввода-вывода) планировщик принудительно переключает контекст на другой процесс. Это обеспечивает более равномерное распределение ресурсов и устойчивость к сбоям отдельных программ. Все современные универсальные ОС (Linux, Windows NT, macOS, iOS, Android) используют вытесняющую многозадачность.

Реализация многозадачности

Планировщик задач

Планировщик — ключевой компонент ядра ОС, отвечающий за выбор следующего процесса для выполнения. Основные алгоритмы планирования:

• Round Robin (карусель): процессы получают равные кванты времени по кругу. Прост в реализации, но не учитывает приоритеты.
• Приоритетное планирование: каждому процессу назначается приоритет (например, от 0 до 255). Процессы с более высоким приоритетом получают больше процессорного времени. Может быть статическим (приоритет задаётся один раз) или динамическим (приоритет меняется в зависимости от поведения процесса).
• Многоуровневая очередь с обратной связью (MLFQ): процессы распределяются по нескольким очередям с разными квантами времени. Система может перемещать процессы между очередями в зависимости от их поведения (например, интерактивные процессы получают меньшие кванты, но более частый доступ к ЦП). Используется в большинстве современных ОС.

Контекст переключения

Переключение между процессами включает сохранение состояния текущего процесса (регистры, счётчик команд, указатель стека) в его блоке управления процессом (PCB) и загрузку состояния следующего процесса. Это требует определённых накладных расходов (обычно несколько микросекунд), поэтому частое переключение может снижать производительность.

Управление памятью

Для эффективной многозадачности необходима защита памяти: каждый процесс работает в своём виртуальном адресном пространстве, изолированном от других. Это предотвращает случайное или злонамеренное вмешательство одного процесса в данные другого. Современные ОС используют механизмы страничной или сегментной организации памяти, поддерживаемые аппаратными блоками управления памятью (MMU).

Преимущества и недостатки

Преимущества

• Повышение производительности: процессор не простаивает, пока одна программа ожидает ввода-вывода (например, чтения с диска или ответа пользователя).
• Удобство для пользователя: возможность одновременно запускать несколько приложений (браузер, текстовый редактор, плеер).
• Эффективное использование ресурсов: многозадачность позволяет загружать процессор полезной работой практически постоянно.
• Поддержка многопользовательского режима: несколько пользователей могут одновременно работать на одном компьютере через терминалы.

Недостатки

• Накладные расходы на переключение контекста: каждое переключение требует времени и ресурсов.
• Сложность синхронизации: одновременный доступ нескольких процессов к общим данным может приводить к состояниям гонки, взаимным блокировкам (deadlocks) и другим проблемам, требующим применения механизмов синхронизации (семафоры, мьютексы, мониторы).
• Повышенное энергопотребление: в мобильных устройствах постоянная активность ЦП может быстрее разряжать батарею.
• Необходимость в аппаратной поддержке: для эффективной работы требуются MMU, таймеры, механизмы защиты памяти.

Применение

Многозадачные операционные системы используются повсеместно:

• Персональные компьютеры: Windows, macOS, Linux — обеспечивают одновременную работу браузера, офисных приложений, игр и фоновых служб.
• Серверы: Linux, Windows Server, FreeBSD — обслуживают множество клиентских запросов одновременно (веб-серверы, базы данных, файловые серверы).
• Мобильные устройства: Android (на базе Linux), iOS (на базе XNU) — поддерживают фоновые процессы, уведомления и многозадачность между приложениями.
• Встраиваемые системы: RTOS (FreeRTOS, QNX) — обеспечивают детерминированное выполнение задач в реальном времени (автомобильные системы, медицинское оборудование, промышленные контроллеры).

Многозадачность и многопоточность

Следует различать многозадачность на уровне процессов и многопоточность на уровне потоков (threads) внутри одного процесса. Потоки разделяют адресное пространство и ресурсы родительского процесса, что упрощает обмен данными, но требует тщательной синхронизации. Многопоточность является частным случаем многозадачности, когда планировщик оперирует не процессами, а потоками. Большинство современных ОС поддерживают как многозадачность между процессами, так и многопоточность внутри них.

Критика и ограничения

Несмотря на повсеместное распространение, многозадачность имеет ограничения:

• Закон Амдала: ускорение от распараллеливания задач ограничено долей последовательного кода в программе. Чисто последовательные алгоритмы не выигрывают от многозадачности.
• Проблема «голодания»: процесс с низким приоритетом может никогда не получить процессорное время, если постоянно поступают задачи с более высоким приоритетом. Для решения используются механизмы повышения приоритета (aging).
• Сложность отладки: ошибки синхронизации (гонки, взаимные блокировки) трудно воспроизводимы и отлаживаемы, так как зависят от точного порядка выполнения потоков.
• Энергетическая эффективность: в мобильных устройствах многозадачность может приводить к повышенному энергопотреблению, что компенсируется использованием энергоэффективных ядер (big.LITTLE) и механизмами управления питанием.

Источники

• Таненбаум Э., Бос Х. «Современные операционные системы» (4-е издание). — СПб.: Питер, 2015.
• Сильбершац А., Гэлвин П., Гэгн Г. «Операционные системы: внутренняя структура и принципы проектирования» (9-е издание). — М.: Вильямс, 2016.
• Столлингс У. «Операционные системы» (8-е издание). — М.: Бином, 2017.
• Документация ядра Linux: «Process Scheduling» (kernel.org/doc).
• Microsoft Docs: «Windows Kernel-Mode Scheduling» (learn.microsoft.com).