构造函数是否应该具有应用商店屏障?

你应该把store-store-barrier放到构造函数中吗？

下面是一个示例。最初假设global_f = f = r = 0。 一个线程 A 创建一个对象，分配给一个字段，并将其分配给一个全局变量：

class Foo {
int x;
void Foo(int x) {
this.x = x;
}
}
f = new Foo(42);
global_f = f;

另一个线程 B 从全局变量获取引用，然后读取字段。

r = global_f.x;

假设线程 B 从线程 B 读取对象引用的执行，它可以从X读取到r的什么值？总是42岁与否？

我对C++和Java的行为很感兴趣。据我对记忆模型的理解，r不能保证是42。

为了确保对象的字段正确初始化，我们通常可以将存储-存储-屏障放在构造函数的末尾。这似乎是C++和Java的一个陷阱。至少对于Java来说，最终字段一切都很好，不是吗？这在实践中并不那么重要，因为至少在x86和AMD64上，商店-商店-屏障是NOP。但是，在ARM或POWER等其他架构上则不然。