ReentranLock源码分析

在上一章我们知道AQS中存在大量模板方法，让其子类实现。ReentranLock中的成员变量Sync有两中NofairSync，FairSync为AQS的实现类并且是ReentranLock的嵌套类

我们以ReentranLock中的非公平锁中的lock和unlock方法进行源码分析

上面为ReentranLock中的加锁代码很简单其调用成员变量上面的lock也就非公平锁上的lock

这里试着将AQS中被volatile修饰的成员变量从0修改为1（如果state为0表示当前lock的方法此时未发生调用）

如果成功表示没有任何其他线程和当前线程抢占当前锁住方法执行，直接将AQS中排他线程修改为当前线程

否则进入到acquire中试图获取锁进入。由于进入方法调用会将state次数加1

这里上面方法就是AQS中上次分析的方法，我们只关心是tryAcquire的实现

这里会将调用转到nonfairTryAcquire方法中

从上面源码分析可知ReentranLock是支持锁重入的，它通过state来表示某个线程锁重入的次数，exclusiveOwnerThread表示当前持有锁的线程变量

 

ReentranLock中unlock流程又是如何

和加锁一样这里会委派给NofairSync对象的relase方法

上面代码也是AQS中的核心代码，其tryRelease为NofairSync实现

上面重要步骤主要做的事情入下：

1.计算释放后的state大小

2.判断当前调用释放线程是否为锁独占线程

3.判断是否满足完全释放如果是修改独占线程变量为null

 

补充：

ReentranLock能实现锁功能和AQS中volatile修饰的成员变量state功不可没。

在JMM（java memory model）java内存模型中，每个CPU都会有自己的内存缓存，这样会导致都线程访问成员变量会出现不一致性。为了解决这个问题，引入happen-before原则来保证多线程对成员变量的可见性。

上面就是利用 对volatile成员变量的写操作happen-before 对volatile成员变量的读操作

上面局部缓存可以理解为cpu上面的一级缓存，二级缓存

主内存也就是我们RAM