Процесс (информатика)

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

Сущность и отличия от программы

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

Структура процесса

Типичный процесс в памяти состоит из нескольких ключевых компонентов:

• Код (текст) — машинные инструкции программы, обычно доступные только для чтения.
• Данные — глобальные и статические переменные, используемые программой.
• Куча (heap) — область динамической памяти, выделяемая во время выполнения (например, при вызове malloc или new).
• Стек (stack) — структура, хранящая локальные переменные, параметры функций и адреса возврата. Каждый поток исполнения внутри процесса имеет собственный стек.

Операционная система хранит для каждого процесса контекст — набор регистров процессора, счётчик команд и информацию о состоянии, которые сохраняются при переключении между процессами (контекстное переключение).

Состояния процесса

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

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

Управление процессами

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

• First-Come, First-Served (FCFS) — очередь по порядку поступления.
• Shortest Job Next (SJN) — процесс с наименьшим ожидаемым временем выполнения.
• Round Robin (RR) — каждый процесс получает фиксированный квант времени циклически.
• Priority Scheduling — выбор процесса с наибольшим приоритетом.
• Многоуровневые очереди — процессы делятся на группы (например, фоновые и интерактивные), каждая со своим алгоритмом.

В современных операционных системах (Linux, Windows, macOS) планирование осуществляется на основе приоритетов и квантов времени, что позволяет одновременно выполнять множество задач (многозадачность). Также поддерживается симметричная многопроцессорность (SMP), при которой процессы могут исполняться на разных ядрах процессора.

Взаимодействие между процессами

Поскольку процессы изолированы друг от друга, для обмена данными и синхронизации требуются специальные механизмы — межпроцессное взаимодействие (IPC). Основные способы IPC:

• Каналы (pipes) — однонаправленная передача данных между процессами, часто используется в командной строке (например, ls | grep txt).
• Сигналы — асинхронные уведомления одному процессу от другого или от ядра (например, SIGTERM, SIGKILL).
• Очереди сообщений — обмен структурированными сообщениями.
• Разделяемая память — несколько процессов получают доступ к одной области физической памяти.
• Семафоры — примитивы синхронизации для управления доступом к разделяемым ресурсам.
• Сокеты — IPC через сетевые протоколы (в том числе локальные UNIX-сокеты).

В Windows дополнительно распространены именованные каналы (named pipes) и почтовые ящики (mail slots).

Процессы и потоки

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

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

История развития

Понятие процесса сформировалось в 1960-е годы с появлением мультипрограммных операционных систем, которые позволяли одновременно держать в памяти несколько задач. Первоначально термин «задача» (task) использовался для обозначения выполняемой программы. В 1965 году в системе MULTICS было введено понятие «процесс» как более абстрактной сущности, обладающей собственной виртуальной памятью. Благодаря работам Эдсгера Дейкстры, Дэвида Ричи и Кена Томпсона, в 1970-е годы в UNIX была реализована модель процессов, ставшая стандартом де-факто. В 1980—1990-е годы развитие виртуальной памяти, параллелизма и SMP привело к усложнению систем управления процессами.

Реализация в популярных ОС

Linux

В Linux каждый процесс представлен структурой task_struct в ядре. Процессы создаются системным вызовом fork(), который порождает почти идентичную копию родительского процесса, или clone(), позволяющим задать степень разделения ресурсов (например, для создания потоков). Управление процессами осуществляется с помощью планировщика CFS (Completely Fair Scheduler), который стремится к равномерному распределению процессорного времени между всеми процессами.

Windows

В Windows реализована гибридная модель: процессы создаются с помощью Win32 API-функции CreateProcess. Потоки создаются через CreateThread. Ядро Windows использует вытесняющий планировщик с приоритетами (32 уровня). Также существует концепция «задач» (jobs), позволяющая группировать процессы для контроля ресурсов.

macOS

Основой управления процессами в macOS является ядро XNU, объединяющее микроядро Mach и компоненты FreeBSD. Процессы создаются через fork, но активно используется механизм launchd — демон, управляющий автозапуском и жизненным циклом системных процессов.

Источники

1. Таненбаум Э. С., Бос Х. «Современные операционные системы» (4-е издание). — СПб.: Питер, 2015.
2. Сильбершац А., Гэлвин П., Ганье Г. «Операционные системы: внутренняя структура и принципы проектирования» (9-е издание). — М.: Вильямс, 2019.
3. Вахалия Ю. «UNIX изнутри». — СПб.: Питер, 2002.
4. Bach M. J. «The Design of the UNIX Operating System». — Prentice Hall, 1986.
5. Love R. «Linux Kernel Development» (3rd edition). — Addison-Wesley, 2010.
6. Russinovich M., Solomon D., Ionescu A. «Windows Internals» (7th edition). — Microsoft Press, 2017.