Java中并发访问volatile变量：对3.6与3.7章节的疑惑

嘿，咱们把你的疑问拆解开，一步步理清楚核心逻辑：

关于3.6章节的误解澄清 #

你提到3.6章节说(1,0)是不可能出现的结果，原因是存在裸数据竞争，这里可能你搞反了因果关系哦。

其实裸数据竞争的本质是：多个线程无同步地读写同一共享变量（至少有一个是写操作），此时程序行为属于未定义行为——编译器、CPU可以自由重排序指令（只要不破坏单线程内的语义），甚至产生违背直觉的结果。而3.6章节说(1,0)不可能，大概率是这段代码里的操作存在数据依赖，即使有裸数据竞争，特定的重排序也不会发生；但反过来，正是因为裸数据竞争的存在，其他“奇怪”的结果反而可能出现。

举个常见的类似场景（假设3.6代码结构如下）：

// 线程1
int x = 1;
boolean ready = true;

// 线程2
if (ready) {
    System.out.println(x);
}

没有同步时，线程1的指令可能被重排序为ready=true先执行、x=1后执行，导致线程2读到ready=true但x=0——这就是裸数据竞争带来的不可预测性。

为什么3.7章节不会出现同样问题？ #

3.7的代码必然引入了同步机制，直接消除了裸数据竞争，同时约束了指令重排序的可能，常见的解决方式有这几种：

• 互斥锁：比如Java的synchronized、C++的std::mutex，锁的获取/释放会建立happens-before关系，确保锁内操作对其他线程可见，同时禁止跨锁边界的指令重排序。
• volatile/原子变量：Java的volatile、C++的std::atomic会通过内存屏障，禁止编译器和CPU对其周边指令重排序，同时保证读写操作的跨线程可见性。
• 内存顺序约束：C++中原子操作指定memory_order_acquire/memory_order_release，同样能建立明确的执行顺序保证。

还是用上面的例子，如果3.7给变量加上volatile：

// 线程1
volatile int x = 1;
volatile boolean ready = true;

// 线程2
if (ready) {
    System.out.println(x);
}

此时线程1中x=1的写操作必然先于ready=true的写操作完成，线程2读到ready=true时，也必然能读到x=1——同步机制消除了裸数据竞争，自然不会出现3.6里的异常结果。

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