Что такое Race Condition и как привести пример?

Что означает Race Condition?

• это проблема конкурентного доступа к одним и тем же данным
• результат зависит от непредсказуемого порядка, в котором выполняются потоки или процессы
• проблема появляется при отсутствии синхронизации
• из-за неё возникают некорректные или ошибочные результаты
• пример: два потока одновременно увеличивают счётчик без блокировок, поэтому итоговое значение оказывается заниженным
• для решения применяют мьютексы, семафоры, атомарные операции
• особенно важна для многопоточных, асинхронных систем и БД

Если нужно, могу сформулировать короткий вариант ответа для интервью. Хотите?

Развёрнутый ответ

Краткий ответ

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

Основные моменты

• Гонка возникает, когда механизмы синхронизации (mutex, semaphore, atomic operations) отсутствуют либо используются неправильно.
• Эта проблема особенно характерна для параллельного программирования, где несколько потоков работают с общими ресурсами.
• Распространённый сценарий — слепое затирание данных: если два потока одновременно увеличивают счётчик, один из инкрементов может потеряться.

Пример

Рассмотрим простой счётчик counter = 0, к которому в одно и то же время обращаются два потока:

counter = 0

def increment():
global counter
temp = counter     # чтение
temp += 1          # увеличение
counter = temp     # запись

При параллельном выполнении increment() без блокировки оба потока могут прочитать counter=0, увеличить это значение до 1, и тогда counter будет равно 1 вместо ожидаемых 2. Это классический пример race condition, вызванной отсутствием атомарности.

Практический контекст

В реальных продуктах race condition становится причиной различных багов: например, переписывания транзакций в финансовых приложениях, ошибок многопоточных веб-серверов или неправильного подсчёта голосов и заказов. Для защиты применяют мьютексы, блокировки, atomic-инструкции, а также паттерны, которые уменьшают конкуренцию за общие данные.