Зачем нужны примитивы синхронизации даже при наличии GIL?

Многие считают, что наличие GIL делает многопоточность безопасной, но это заблуждение.

1. Что делает GIL, а что — нет

Определение:
GIL — глобальная блокировка интерпретатора CPython, разрешающая выполнение Python-байткода только одному потоку в конкретный момент времени.

GIL:

• защищает внутренние структуры интерпретатора;

• упрощает reference counting;

• не гарантирует атомарность сложных операций Python-кода.

GIL не:

• предотвращает логические гонки данных;

• обеспечивает корректность модификации объектов на уровне бизнес-логики;

• делает ваш код потокобезопасным.

2. Почему нужен контроль доступа к данным

Даже если поток выполняется «один за раз», переключение контекста может произойти в любой момент между операциями.

Например, операция counter += 1 не атомарна:

1. чтение значения

2. вычисление нового значения

3. запись результата

Если два потока выполнят эти шаги «вперемешку», данные будут потеряны.

Python

import threading

counter = 0

def wrong():
    global counter
    for _ in 100_000:
        counter += 1  # неатомарно!

Этот код даст неправильный результат даже с GIL.

3. Примитивы синхронизации и их роль

1. Lock / RLock

   • гарантируют, что только один поток выполняет критическую секцию кода.

Python

lock = threading.Lock()

def safe():
    global counter
    with lock:
        counter += 1

2. Semaphore

   • ограничивает количество потоков, которым разрешён доступ к ресурсу.

3. Event, Condition

   • позволяют потокам ждать определённого состояния.

4. Очереди (queue.Queue)

   • исключают общий доступ к mutable state.

4. Когда синхронизация особенно важна

• при работе со структурами данных (списки, словари, множества);

• при модификации общих объектов;

• при наличии фоновых потоков, изменяющих состояние приложения;

• при интеграции с I/O-операциями, где переключение потоков происходит часто.

5. Вывод

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