垃圾收集和同步可见性

Question

我读过有关将对象标记为volatile的方法，不能保证其成员的可见性（ 我不是在说线程安全，而只是在内存可见性 ，引用：

JVM仅将对象引用视为易失性，而不会将驻留在堆上的对象数据本身视为易失性

我的问题：

1. 如果成员已被编辑，则同步将确保成员（在同一锁定对象上）的可见性。那是因为 发生在锁的末尾（释放）之前， 这使得操作对其他线程可见？
2. 在对象上使用易失性的情况下，对象引用也会更改。如果将旧的引用缓存在一个线程的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在写入线程和读取线程之间建立关系。

使用易失性变量可降低内存一致性错误的风险，因为对易失性变量的任何写入都会与该变量的后续读取建立先发生后关联的关系。

1. Java语言规范没有提及它，也没有提及有关如何实现volatile的任何特定机制。所以我想这取决于特定的JVM。