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