C++ 中什么是竞态条件 (race condition)？

推荐答案

竞态条件（Race Condition）是指多个线程或进程在访问共享资源时，由于执行顺序的不确定性，导致程序的最终结果依赖于线程或进程的执行时序。如果程序没有正确处理并发访问，可能会导致不可预测的行为或错误。

本题详细解读

什么是竞态条件？

竞态条件通常发生在多线程或多进程环境中，当多个线程或进程同时访问和修改共享资源时，由于线程调度的不确定性，可能会导致程序的行为出现异常。例如，两个线程同时读取一个变量的值，然后对其进行修改，最终的结果可能只反映了其中一个线程的修改，而另一个线程的修改被覆盖。

竞态条件的示例

// www.javascriptcn.com code example
#include <iostream>
#include <thread>

int shared_value = 0;

void increment() {
    for (int i = 0; i < 100000; ++i) {
        shared_value++;
    }
}

int main() {
    std::thread t1(increment);
    std::thread t2(increment);

    t1.join();
    t2.join();

    std::cout << "Final value: " << shared_value << std::endl;
    return 0;
}

在这个例子中，两个线程 t1 和 t2 同时执行 increment 函数，对 shared_value 进行递增操作。由于 shared_value++ 并不是原子操作，两个线程可能会同时读取 shared_value 的值，然后各自递增，最终导致 shared_value 的值小于预期。

如何避免竞态条件？

为了避免竞态条件，可以使用以下几种方法：

1. 互斥锁（Mutex）：通过互斥锁来保护共享资源，确保同一时间只有一个线程可以访问该资源。

   // www.javascriptcn.com code example
   #include <iostream>
   #include <thread>
   #include <mutex>
   
   int shared_value = 0;
   std::mutex mtx;
   
   void increment() {
       for (int i = 0; i < 100000; ++i) {
           mtx.lock();
           shared_value++;
           mtx.unlock();
       }
   }
   
   int main() {
       std::thread t1(increment);
       std::thread t2(increment);
   
       t1.join();
       t2.join();
   
       std::cout << "Final value: " << shared_value << std::endl;
       return 0;
   }

2. 原子操作（Atomic Operations）：使用原子操作来确保对共享资源的操作是不可分割的。

   // www.javascriptcn.com code example
   #include <iostream>
   #include <thread>
   #include <atomic>
   
   std::atomic<int> shared_value(0);
   
   void increment() {
       for (int i = 0; i < 100000; ++i) {
           shared_value++;
       }
   }
   
   int main() {
       std::thread t1(increment);
       std::thread t2(increment);
   
       t1.join();
       t2.join();
   
       std::cout << "Final value: " << shared_value << std::endl;
       return 0;
   }

3. 条件变量（Condition Variables）：在某些情况下，可以使用条件变量来协调线程之间的执行顺序，避免竞态条件。

总结

竞态条件是并发编程中常见的问题，理解并正确处理竞态条件是编写健壮的多线程程序的关键。通过使用互斥锁、原子操作或条件变量，可以有效地避免竞态条件的发生。