ReentranLock源码分析

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

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

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

ReentranLock源码分析_第1张图片

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

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

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

ReentranLock源码分析_第2张图片

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

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

ReentranLock源码分析_第3张图片

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

 

ReentranLock中unlock流程又是如何

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

ReentranLock源码分析_第4张图片

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

ReentranLock源码分析_第5张图片

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

1.计算释放后的state大小

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

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

 

补充:

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

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

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

ReentranLock源码分析_第6张图片

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

主内存也就是我们RAM

你可能感兴趣的:(ReentranLock源码分析)