ReentranLock源码分析

版权声明:本文为博主原创文章,遵循 CC 4.0 by-sa 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/yinbucheng/article/details/90750818

在上一章我们知道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

展开阅读全文

没有更多推荐了,返回首页