多线程下volatile变量值异常求助：v2为何有时仍为0？

你忽略了编译器指令重排序和多线程间内存可见性的保障缺失——即便给变量加上volatile，也不足以解决多线程场景下的操作顺序问题。

核心原因 #

volatile的作用仅在于阻止编译器对单个变量的读写优化（确保每次读写都直接操作内存而非寄存器），但它不保证多个volatile变量的操作顺序：

• 从单线程逻辑看，v2 = some_var和v1 = true没有数据依赖关系，GCC编译时会认为重排序这两个操作不影响单线程执行结果，因此可能调换它们的执行顺序。当另一个线程检测到v1变为true时，v2的新值可能还没写入内存，依然是初始的0。
• 即便编译器不重排序，CPU的乱序执行机制也可能导致类似问题：CPU可能先提交v1的写入操作，再提交v2的写入，让其他线程观测到颠倒的操作顺序。

解决方案 #

可以通过以下几种方式解决：

• 使用C11原子操作：将变量改为原子类型，借助标准库提供的原子读写函数保证顺序和可见性：

  #include <stdatomic.h>
  atomic_bool v1;
  atomic_int v2;
  
  // 赋值线程
  atomic_store(&v2, some_var);
  atomic_store(&v1, true);
  
  // 读取线程
  while(!atomic_load(&v1)) { /* 执行无关任务 */ }
  if(atomic_load(&v2) == 0) { /* 执行操作 */ }
  

• 插入内存屏障：在v2 = some_var和v1 = true之间插入GCC内置的内存屏障指令，强制编译器和CPU不重排序屏障前后的内存操作：

  v2 = some_var;
  __sync_synchronize(); // GCC内存屏障，保证前面的写入先于后面的写入被其他线程看到
  v1 = true;
  

• 使用互斥锁：通过互斥锁保护两个变量的读写操作，锁的获取和释放会自动建立内存同步关系，确保操作顺序和可见性：

  #include <pthread.h>
  pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
  bool v1;
  int v2;
  
  // 赋值线程
  pthread_mutex_lock(&mutex);
  v2 = some_var;
  v1 = true;
  pthread_mutex_unlock(&mutex);
  
  // 读取线程
  while(1) {
      pthread_mutex_lock(&mutex);
      bool flag = v1;
      pthread_mutex_unlock(&mutex);
      if(flag) break;
      /* 执行无关任务 */
  }
  pthread_mutex_lock(&mutex);
  int val = v2;
  pthread_mutex_unlock(&mutex);
  if(val == 0) { /* 执行操作 */ }
  

内容的提问来源于stack exchange，提问作者Anonymous