关于 volatile 可见性的一个问题

[mtmax]

为啥线程读取了一个 volatile 变量 b, 居然能同时读到非 volatile 变量 a 的最新值

static long a = 0;

static long p1, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15, p16;

static volatile long b = 0;

public static void main(String[] args) throws InterruptedException {

    new Thread(() -> {
        while (a == 0) {
            long x = b; // 为什么这里读 b, 能让线程同时读到 a 的最新值?  如果注释这行, a 就读不到
        }
        System.out.println("a=" + a);
    }).start();

    Thread.sleep(100);

    a = 1;
}

[Weixiao0725]

因为 a 只是普通变量，什么时候刷新到内存要看运行时。当你加上读取 b 的那句代码时，因为 b 是 volatile 的，会强制从内存读，所以这时候强制把 a 的内容重新刷到了内存中，所以这时候就可以读取到最新的 a 值了

[matt5ttam]

这个是缓存一致性协议造成的 volatile 会使用 lock#锁总线

[Newyorkcity]

我本来想说会不会是缓存行（字）的问题..

但楼主的代码里之所以会有

static long p1, p2, p3, p4, p5, p6, p7, p8, p9, p10, p11, p12, p13, p14, p15, p16;

想必也是考虑到这个方向了吧....而且看这个样子应该也不是缓存行的问题了.

[letianqiu]

https://docs.oracle.com/javase/specs/jls/se11/html/jls-17.html#jls-17.4.5

[letianqiu]

@Wicked 这么多楼就你一个明白人。