Data race vs race condition

Data race

Два обращения к памяти без happens-before, одно из них запись. Это data race — формальная ошибка, ловится race detector'ом. Программа некорректна: исходы ограничены моделью памяти, но ничего хорошего не гарантировано — гонка всегда баг.

Race condition

mu.Lock()
enough := balance >= amount // проверка
mu.Unlock()

if enough {
    mu.Lock()
    balance -= amount // списание — уже в другой секции
    mu.Unlock()
}

Всё под мьютексом — data race нет, детектор молчит. Но между «проверил баланс» и «списал» может вклиниться другая горутина и изменить баланс: решение принято по устаревшему состоянию, и баланс уходит в минус. Ошибка порядка операций при формально синхронизированном доступе — это race condition. Детектор её не видит: формально всё синхронизировано.

Разведём термины: race condition — широкий класс ошибок порядка операций; data race — конкретный класс несинхронизированного доступа к памяти. Классы не совпадают: поучительнее всего логическая гонка без data race — ровно то, что показывает этот пример.

Почему их путают

Обе — про конкурентность, обе проявляются «иногда». Разница — в уровне: data race — про то, как горутины обращаются к памяти (формально, машинно проверяемо), race condition — про то, что код делает с данными (семантически, проверяется только головой). Данные могут быть идеально защищены от гонок — и всё равно иметь логическую гонку между операциями.