Чем отличается поток (Thread) от процесса (Process)?

В операционных системах процессы и потоки являются основными единицами выполнения, но они служат разным целям и имеют разную архитектуру.

Что такое процесс?

Процесс — это экземпляр выполняемой программы. Операционная система выделяет ему собственное виртуальное адресное пространство, таблицу файловых дескрипторов, переменные окружения и другие ресурсы. Процессы сильно изолированы: один процесс не может напрямую читать или писать в память другого процесса без специальных механизмов межпроцессного взаимодействия (IPC), таких как pipes, shared memory или message queues. Создание процесса (fork) обычно дороже, чем создание потока, потому что требуется дублирование адресного пространства и ресурсов.

Что такое поток?

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

Ключевые отличия

• Изоляция памяти: Процессы изолированы, потоки разделяют память.
• Стоимость создания: Создание процесса ресурсоемко, потоки создаются быстрее.
• Коммуникация: Межпроцессное взаимодействие сложнее и медленнее; потоки общаются через общую память.
• Отказоустойчивость: Сбой в одном потоке может "уронить" весь процесс; сбойный процесс обычно не влияет на другие процессы.
• Планирование: Планировщик ОС работает с потоками как с единицами выполнения, но процессы являются контейнерами для потоков.

Пример на Python

Следующий код демонстрирует создание нескольких потоков, которые работают с общей переменной, и необходимость синхронизации.

import threading

# Общая переменная, доступная всем потокам
counter = 0
lock = threading.Lock()

def increment():
    global counter
    for _ in range(100000):
        # Без лока состояние гонки приведет к ошибке
        with lock:
            counter += 1

# Создаем два потока
thread1 = threading.Thread(target=increment)
thread2 = threading.Thread(target=increment)

thread1.start()
thread2.start()
thread1.join()
thread2.join()

print(f"Итоговое значение счетчика: {counter}")  # Должно быть 200000

В этом примере два потока увеличивают общий счетчик. Без блокировки lock итоговое значение, скорее всего, будет меньше 200000 из-за состояния гонки. Использование мьютекса гарантирует атомарность операции.

Где применяются?

• Процессы используются, когда нужна максимальная изоляция и отказоустойчивость (например, микросервисы, веб-браузеры с вкладками как отдельные процессы).
• Потоки эффективны для задач с интенсивным вводом-выводом (I/O-bound) внутри одного приложения, где требуется параллелизм с общим состоянием (например, веб-сервер, обрабатывающий множество соединений).

Вывод: Используйте процессы, когда важна изоляция и стабильность, а потоки — когда нужен легковесный параллелизм внутри одного приложения с общим доступом к данным, и вы готовы управлять синхронизацией.