Зачем нужны мьютексы в Python, если GIL уже гарантирует однопоточность?

GIL (Global Interpreter Lock) в Python гарантирует, что в каждый момент времени только один поток выполняет байт-код Python, что предотвращает одновременный доступ к объектам Python на уровне интерпретатора. Однако мьютексы (Lock) нужны для защиты разделяемых ресурсов на уровне логики приложения, особенно когда речь идёт о:

• Синхронизации доступа к данным, которые могут быть изменены несколькими потоками.
• Координации сложных операций, где важно избежать состояния гонки.

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

import threading

lock = threading.Lock()
shared_list = []

def add_item(item):
    with lock:
        shared_list.append(item)

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