Java 并发——volatile关键字能影响多远

Question

一个常见的例子解释了关键字volatile的 function 可以是这样的（引用自此处）：

class VolatileExample {
    int x = 0;
    volatile boolean v = false;
    public void writer() {
        x = 42;
        v = true;
    }
    public void reader() {
        if (v == true) {
            //uses x - guaranteed to see 42.
        }
    }
}

由于v是易失性的，对v的写操作将是“直写”，因此其他线程可以看到。 更重要的是， x受v的影响也表现得像 volatile，因为x是在上面分配的。

所以我的问题是volatile可以在多大程度上影响之前的操作？

影响是否仅限于分配了 volatile 属性的 function？ 所以在以下情况下， x不会有“直写”的行为：

public void foo() {
    x = 42;
}

public void writer() {
    foo();
    v = true;
}

还是影响不会被限制，可以传播到这个线程之前的所有操作？ 但考虑到以下情况，这似乎有点不可能：

private void foo() {
    x = 42; // x will be written through
}

private void fooWrapper() {
    foo();
}

private void writer() {
    fooWrapper();
    v = true;
}

// invoke this! 
public void writerWrapper() {
    y = 0; // y will be written through
    writer();
}

Answer 1

它建立了“之前发生”的关系，因此在该线程中，在 volatile 写入之前发生的任何事情都将对其他线程可见。 在您的最后一个示例中，即使涉及多个函数，它们都在同一个线程中按顺序执行，并且在 volatile 写入之后，之前的所有写入都是可见的。