多线程编程中的隐形杀手：volatile关键字

概述

C++中std::mutex本身是一个非volatile类型的对象，但是它保护的共享资源可能需要被volatile修饰，以确保对该资源的修改在不同线程之间的可见性。这种情况通常发生在多线程访问共享数据时，这些数据可能被异步修改，且修改的发生时间点无法预测。

实例分析

#include <iostream>
#include <thread>
#include <mutex>

// 共享变量
volatile int shared_data = 0;

// 互斥锁
std::mutex mtx;

// 线程函数，对共享变量进行修改
void threadFunction() {
    for (int i = 0; i < 100000; ++i) {
        mtx.lock();
        shared_data++;
        mtx.unlock();
    }
}

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

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

    // 输出共享变量的值
    std::cout << "Shared data: " << shared_data << std::endl;

    return 0;
}

在上述代码中，不加 volatile 关键字是有问题的，可能会导致程序输出错误的结果。

原因分析：

1. 多线程竞争： shared_data 变量是多个线程共享的，在没有同步机制的情况下，可能会出现多个线程同时修改该变量的值，导致数据竞争问题。

2. 编译器优化： 编译器在编译代码时，可能会对程序进行优化，例如指令重排等。如果对 shared_data 变量不加 volatile 关键字，编译器可能会将对该变量的读取操作优化为读取寄存器中的值，而忽略了内存中的最新值。由于多个线程同时修改 shared_data 变量，导致寄存器中的值可能不是最新的，从而导致读取到错误的值。

3. 硬件因素： 在某些硬件平台上，例如多核处理器，不同核心的缓存可能对同一个变量有不同的副本。如果对 shared_data 变量不加 volatile 关键字，不同线程可能读取到不同的缓存副本，导致数据不一致。

加 volatile 关键字的作用：

1. 禁止编译器优化： 告诉编译器不要对该变量的访问进行优化，每次都必须从内存中读取最新值。

2. 保证内存可见性： 确保所有线程都能看到对该变量的最新修改。

因此，在多线程环境中，对共享变量使用 volatile 关键字是非常重要的，可以有效避免数据竞争问题。

在上述代码中，如果去掉 volatile 关键字，可能导致程序输出的值小于 200000。 这是因为多个线程可能同时修改 shared_data 变量，导致该变量的值被多个线程重复累加。例如，两个线程同时执行 shared_data++ 操作，可能会导致 shared_data 的值只增加 1 而不是 2。

为了避免数据竞争问题，除了使用 volatile 关键字之外，还可以使用互斥锁等同步机制来保护共享变量。 在上述代码中，使用了 std::mutex 互斥锁来保证对 shared_data 变量的互斥访问，因此即使不加 volatile 关键字，也能保证程序正确运行。

总结：

• 在多线程环境中，对共享变量使用 volatile 关键字可以有效避免数据竞争问题。
• 为了更安全地访问共享变量，建议使用互斥锁等同步机制。