并发Java：Reentry antLock是一个错误的设计吗？

Question

我知道ReentantLock使用AbstractQueuedSynsynizer（AQS）来实现Lock。但是实现的细节，我无法理解。

我知道AQS使用挥发性、CAS和自旋来同步。但是，这些动作只控制“状态”成员。

尽管如此，我仍然支持你。停车并上锁。unpark可以同步线程的缓存线。但如果从来没有争用，就永远不会调用LockSupport方法。像这样：1。穿线起跑

2.线程B启动并运行

3.线程A：

lock.lock();
try{
  //modify some shared members
  ....
}finally{
  lock.unlock();
}

4.然后线程B：

lock.lock();
try{
  //read shared members
  ....
}finally{
  lock.unlock();
}

没有争用，线程B不调用LockSupport方法。

lock.lock（）仅CAS部件的状态，并且lock.unlock（）将易失性状态修改为0。

为什么线程B可以看到线程A关于共享成员的修改？

为什么ReentrantLock可以用作“已同步”？

我没有看到任何像fullFence这样的同步内存的代码。

哪些代码实现了线程缓存的同步？

谢啦！

Answer 1

CAS操作定义在关系之前发生，因此Java内存模型保证从一个线程到另一个线程的内存修改是可见的。