互斥锁保护作用域能否保证线程读写全局变量而非线程上下文副本？

首先纠正一个常见误解：线程上下文本身并不会存储全局变量的副本。你提到的“副本”，本质是CPU为了性能优化在缓存行中保存的本地缓存，或是编译器优化时将变量暂存到寄存器的临时值——这是硬件/编译器层面的优化行为，并非线程上下文自带的机制。

回到你的核心问题：只要所有线程对目标全局变量的读写操作，都严格通过同一把互斥锁的加锁/解锁来包裹临界区，完全可以保证操作的是全局内存中的同一个实例，而非本地缓存或寄存器里的“副本”。原因有两个关键层面：

• 互斥性保证访问顺序：同一时刻只有一个线程能进入被锁保护的临界区，彻底避免了多线程同时读写导致的竞争冲突，确保每次操作都是基于全局变量的最新状态执行。
• 内存屏障同步缓存：互斥锁的加锁/解锁操作自带内存屏障语义：
  • 当线程获取锁时，会强制刷新CPU缓存，将主内存中全局变量的最新值加载到本地缓存；
  • 当线程释放锁时，会把本地缓存中对变量的修改同步回主内存，同时让其他线程的对应缓存失效，迫使它们后续访问时重新从主内存读取最新值。

举个直观的C语言示例（基于pthread库）：

#include <pthread.h>

// 全局变量
int global_counter = 0;
// 全局互斥锁
pthread_mutex_t counter_mutex = PTHREAD_MUTEX_INITIALIZER;

void* increment_counter(void* arg) {
    // 加锁进入临界区
    pthread_mutex_lock(&counter_mutex);
    // 操作全局变量，此时读写的是同步后的主内存实例
    global_counter++;
    // 解锁，同步修改到主内存并失效其他线程缓存
    pthread_mutex_unlock(&counter_mutex);
    return NULL;
}

这里要特别强调：必须确保所有涉及该全局变量的读写操作都被同一互斥锁覆盖。如果有任何一处读写没加锁，缓存不一致、竞争冲突的问题依然会出现，之前的保证也就失效了。

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