В чем заключается разница между race condition и data race?

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

• Race Condition: Более широкое понятие. Возникает, когда логика программы нарушается из-за непредсказуемого чередования операций потоков. Может быть вызван не только доступом к общим данным, но и, например, неправильным использованием внешних ресурсов.
• Data Race: Конкретный вид race condition. Возникает при одновременном несинхронизированном доступе (минимум один write) к одной и той же переменной из разных потоков. Является undefined behavior в Java Memory Model.

Пример race condition (не data race): два потока пытаются создать файл с одним и тем же именем. Кто создаст первым, тот "победит". Пример data race: два потока одновременно инкрементируют несинхронизированную переменную.

java

Чтобы избежать data race и некоторых видов race condition в Java, используются механизмы синхронизации, такие как synchronized, volatile, Lock, атомарные переменные (AtomicInteger, AtomicLong и т.д.).

java