java - 垃圾收集和同步可见性

Question

我已经读过有关将对象标记为 volatile 并不能保证其成员的可见性的内容(我不是说线程安全只是内存可见性，引用:

only the object reference will be considered to be volatile by the JVM and not the object data itself which will reside on the heap

我的问题:

1. 同步将确保成员(在同一锁定对象上)在被编辑时的可见性。这是因为在锁结束(释放)之前发生使得其他线程可以看到操作吗？
2. 如果在对象上使用 volatile，并且对象引用发生变化。如果旧引用缓存在一个线程 CPU 缓存中会发生什么？ GC 会让它保持活力吗？

示例代码:

class Test{
  volatile Data data;

}

Class Data{
 int x;
 int y;
}


data= new Data(); // happens-before relationship only on creation

 //writer
 Thread writerThread = new Thread(() -> {
    data.setX(a);
    data.setY(b);
   });


 //reader
 Thread readerThread = new Thread(() -> {

  // read here is not guaranteed visibility, x,y not volatile
   int x = data.getX(); 
   int y = data.getY();          
  });

Answer 1

1. 是的，happens-before 关系将保证这一点。而volatile关键字还在写入线程和读取线程之间建立happens-before关系。

Using volatile variables reduces the risk of memory consistency errors, because any write to a volatile variable establishes a happens-before relationship with subsequent reads of that same variable.

java语言规范中没有提到它，也没有提到任何关于如何实现 volatile 的具体机制。所以我猜这取决于具体的JVM。