volatile是否会在关系发生之前提供其他正常存储和加载？

Question

我有一个关于规则之前发生的波动的问题，同样的问题也符合监控规则。根据volatile规则，volatile写入发生在任何后续读取之前。

下面是一个易失性写入和正常后续读取的示例。据我所知，这种易失性写操作应该有一个store-store内存屏障，可以刷新正常的存储到内存，以便其他进程可以看到它（根据DougLea关于JSR-133内存模型的烹饪书）。

所以我的问题是：是否还有一个额外的发生在规则之前，即正常存储的操作1也发生在正常负载的后续操作2之前。

int a;
volatile int x;


public void action1(){
    a = 100;  --- normal store
    x = 123;  ---volatile store
}

public void action2{
    int k = a; ---normal load
}

Answer 1

在正常存储的动作1也发生在正常加载的后续动作2之前的规则之前，是否还有额外的发生？

不，没有。

发生在易失性写入和后续易失性读取之间。

在您的示例中，缺少易失性读取，因此不存在与非易失性读取之前发生关系的链接。因此，您的程序在内存可见性方面没有良好的格式。在某些硬件上，分配给k的值可能不是100。

要解决此问题，您需要执行以下操作：

int a;
volatile int x;

public void action1() {
    a = 100;  --- normal store
    x = 123;  ---volatile store
}

public void action2() {
    int x = x; ---volatile load
    int k = a; ---normal load
}

我有另一个问题为什么易失性保证以下正常负载使用内存而不是缓存？java spec没有解释底层，只是陈述了规则，所以我不太理解背后的机制。

Java规范故意不谈论硬件。相反，它指定了格式良好的Java程序的先决条件。如果程序满足这些先决条件，则保证可见性属性。如何满足它们是编译器编写者的问题。

JMM规范的一个结果是，在具有缓存和多个处理器的硬件上，最明显、最有效的实现方法是进行缓存刷新等操作。但这是编译器编写人员关心的问题。。。不是你的。

你（Java程序员）不需要知道缓存、内存障碍等。你只需要理解发生前的规则。但是如果你想从JSR 133食谱的角度理解事情，那么有几件事要记住：

>

Cookbook只与格式良好的程序的行为直接相关。如果必要的事情发生了——在链不存在之前，那么必要的障碍很可能会丢失，其他事情和所有的赌注都会取消。

一个实际的Java实现不一定会像烹饪书那样做。。。嗯。。。推荐。

请注意，对于我的（更正）版本的示例，食谱说在两个负载之间会/应该有一个LoadLoad屏障。