Java中对易失性对象进行非易失性引用的行为

Question

来自C/C++，我对Java中的volatile对象行为有点困惑。

null

class Example {
   private volatile Book b = null;

   public init() { b = new Book(...); }

   public use() {
     Book local = b;
     local.read();
   }
}

faik,volatile意味着b引用的“book对象”应该在主内存中。编译器可能在内部实现引用作为指针，因此b指针可能位于缓存中。我的理解是，volatile是对象的限定符，而不是引用/指针的限定符。

问题是：在使用方法中，本地引用不是易失性的。这个“本地”引用会不会把底层的Book对象从主存带到缓存中，实质上使对象不“易失”？

Answer 1

没有所谓的“易失性对象”，也没有“始终将其保留在主存中”的保证。

引用类型的volatile变量的所有保证是，在对该变量的写入和对同一变量的后续读取之间将存在一种happens-before关系。

由于happens-before关系是可传递的，因此它们适用于示例代码，即对于b=new Book(...)，在将引用写入b之前提交对Book实例的所有修改，因此对于Book local=b；local.read（）；read()保证在写入引用之前看到其他线程所做的所有这些修改。

因此获取对象引用的方式并不重要，重要的是更改是在通过b发布对该对象的引用之前还是之后进行的。同样，如何执行对对象的读取访问并不重要，只要您在通过读取b获得引用之后执行。

使用local.read()；时，您通过局部变量local访问对象，并且在read()中，将通过this访问相同的引用，但重要的是您在读取对象的状态之前通过读取b获得了引用。