当访问共享资源的多线程(或其他并行)代码可能以导致意外结果的方式访问共享资源时，就存在“竞争条件”。

举个例子:

for ( int i = 0; i < 10000000; i++ )
{
   x = x + 1; 
}

如果你有5个线程同时执行这段代码，x的值最终不会是50,000,000。事实上，它会随着每一次运行而变化。

这是因为，为了让每个线程增加x的值，它们必须做以下事情:(显然是简化的)

Retrieve the value of x
Add 1 to this value
Store this value to x

任何线程都可以在任何时间处于此进程的任何步骤，并且当涉及共享资源时，它们可以相互踩。在读取x和写回x之间的时间内，x的状态可以由另一个线程改变。

假设一个线程获取了x的值，但还没有存储它。另一个线程也可以检索相同的x值(因为还没有线程更改它)，然后它们都将在x中存储相同的值(x+1) !

例子:

Thread 1: reads x, value is 7
Thread 1: add 1 to x, value is now 8
Thread 2: reads x, value is 7
Thread 1: stores 8 in x
Thread 2: adds 1 to x, value is now 8
Thread 2: stores 8 in x

竞争条件可以通过在代码访问共享资源之前使用某种锁定机制来避免:

for ( int i = 0; i < 10000000; i++ )
{
   //lock x
   x = x + 1; 
   //unlock x
}

这里，答案每次都是50,000,000。

有关锁的更多信息，请搜索:互斥量，信号量，临界区，共享资源。

什么是竞态条件?

You are planning to go to a movie at 5 pm. You inquire about the availability of the tickets at 4 pm. The representative says that they are available. You relax and reach the ticket window 5 minutes before the show. I'm sure you can guess what happens: it's a full house. The problem here was in the duration between the check and the action. You inquired at 4 and acted at 5. In the meantime, someone else grabbed the tickets. That's a race condition - specifically a "check-then-act" scenario of race conditions.

你如何发现它们?

宗教代码审查多线程单元测试没有捷径。在此基础上出现了一些Eclipse插件，但还没有稳定的插件。

你如何处理和预防它们?

最好的方法是创建无副作用和无状态的函数，尽可能使用不可变函数。但这并不总是可能的。使用java。util。concurrent。原子的、并发的数据结构、适当的同步和基于参与者的并发将有所帮助。

并发性的最佳资源是JCIP。你也可以在这里得到更多关于上述解释的细节。

一个有点规范的定义是“当两个线程同时访问内存中的同一个位置，并且至少有一次访问是写操作。”在这种情况下，“reader”线程可能获得旧值或新值，这取决于哪个线程“赢得了比赛”。这并不总是一个bug——事实上，一些非常复杂的低级算法会故意这样做——但通常应该避免。@Steve Gury的例子很好地说明了这可能是个问题。

如果你使用“原子”类，你可以防止竞争条件。原因是线程没有分开操作get和set，示例如下:

AtomicInteger ai = new AtomicInteger(2);
ai.getAndAdd(5);

因此，你将有7在链接“ai”。 虽然你做了两个操作，但这两个操作都确认了同一个线程，没有其他线程会干涉这，这意味着没有竞争条件!

微软实际上已经发布了一篇关于竞态条件和死锁的非常详细的文章。最概括的摘要是标题段:

A race condition occurs when two threads access a shared variable at the same time. The first thread reads the variable, and the second thread reads the same value from the variable. Then the first thread and second thread perform their operations on the value, and they race to see which thread can write the value last to the shared variable. The value of the thread that writes its value last is preserved, because the thread is writing over the value that the previous thread wrote.

在竞争条件和数据竞争之间有一个重要的技术差异。大多数答案似乎假设这些术语是等价的，但事实并非如此。

当两条指令访问相同的内存位置时，就会发生数据竞争，其中至少有一个是写，并且在这些访问之间没有发生排序之前。现在，什么构成happens before顺序还存在很多争论，但一般来说，同一个锁变量上的ulock-lock对和同一个条件变量上的wait-signal对诱导的是happens before顺序。

竞态条件是语义错误。它是发生在事件的时间或顺序上的缺陷，会导致错误的程序行为。

许多竞态条件可能(事实上也是)是由数据竞态引起的，但这是不必要的。事实上，数据竞争和竞争条件既不是彼此的必要条件，也不是彼此的充分条件。这篇博客文章也用一个简单的银行交易例子很好地解释了两者的区别。下面是另一个简单的例子来解释这种区别。

既然我们已经确定了术语，让我们试着回答最初的问题。

由于竞争条件是语义错误，因此没有检测它们的通用方法。这是因为在一般情况下，不可能有一个自动的oracle来区分正确和不正确的程序行为。种族检测是一个无法确定的问题。

另一方面，数据竞争有一个精确的定义，它不一定与正确性有关，因此可以检测到它们。数据竞争检测器有很多种(静态/动态数据竞争检测、基于锁集的数据竞争检测、基于先于事件发生的数据竞争检测、混合数据竞争检测)。最先进的动态数据竞争检测器是ThreadSanitizer，它在实践中工作得非常好。

处理数据竞争通常需要一些编程规程来在访问共享数据之间的边之前诱导happens(在开发过程中，或者在使用上述工具检测到它们之后)。这可以通过锁、条件变量、信号量等来实现。但是，还可以使用不同的编程范例，例如消息传递(而不是共享内存)，以避免构造造成的数据竞争。