JUC中的Reentrantlock是如何保证可见性的？

---

happen-before原则

happen-before原则有多条，本文只借助几条来进行解释。
(1) 程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作。
(2) volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读。
(3) 传递性：如果A happens-before B，且B happens-before C，那么A happens-before C。

Reentrantlock是如何保证可见性的？

Reentrantlock的lock和unlock都需要读取并用CAS方式修改被volatile修饰的变量state，

 try {
            reentrantLock.lock(); //操作A
            //临界区，修改共享变量   //操作B
        }finally {
            reentrantLock.unlock(); //操作C
   }

假设我们有线程1和线程2，线程1先执行 。
根据上面的happen-before原则（1），B happen-before C；
线程2在lock的时候需要获取state的值，根据原则（2），此时有 C happen-before A；
根据原则（3），我们可以得到 B happen-before A。即当线程2获取锁之后，线程1对临界区共享变量的改变对线程2可见，所以就实现了可见性。

具体实现上，猜测应是当一个CPU核心写完volatile变量之后会把有变动的缓存都刷新到主存中，并失效其他CPU核心的缓存，Unsafe类的CAS操作应该也会触发类似的操作。