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

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

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

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

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

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

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

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

您并不总是希望丢弃竞态条件。如果你有一个可以被多个线程读写的标志，并且这个标志被一个线程设置为“done”，这样当标志被设置为“done”时，其他线程就会停止处理，你不希望这个“竞争条件”被消除。事实上，这可以被称为良性竞态条件。

然而，使用检测竞态条件的工具，它将被视为有害的竞态条件。

更多关于比赛情况的详细信息，请访问http://msdn.microsoft.com/en-us/magazine/cc546569.aspx。

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

举个例子:

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。

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

竞态条件是并发编程中的一种情况，其中两个并发线程或进程争夺资源，最终状态取决于谁先获得资源。

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

当两个或多个线程可以访问共享数据，并且它们试图同时更改数据时，就会发生竞态条件。因为线程调度算法可以在任何时候在线程之间交换，所以您不知道线程将尝试访问共享数据的顺序。因此，数据更改的结果依赖于线程调度算法，即两个线程都在“竞相”访问/更改数据。

当一个线程执行“检查-然后-行动”时，问题经常发生。“check”如果值是X，那么“act”做一些取决于值是X的事情)，另一个线程在“check”和“act”之间对值做一些事情。例句:

if (x == 5) // The "Check"
{
   y = x * 2; // The "Act"

   // If another thread changed x in between "if (x == 5)" and "y = x * 2" above,
   // y will not be equal to 10.
}

这一点是，y可以是10，也可以是任何值，这取决于在检查和执行之间是否有另一个线程改变了x。你根本不知道。

为了防止竞争条件的发生，您通常会在共享数据周围放置一个锁，以确保一次只有一个线程可以访问数据。这意味着:

// Obtain lock for x
if (x == 5)
{
   y = x * 2; // Now, nothing can change x until the lock is released. 
              // Therefore y = 10
}
// release lock for x