JUC Reentrantlock原理

AQS是什么？

AbstractQueuedSynchronizer，是一个抽象类，称之为同步器，分为sync，fairsync和nofairsync。是lock式锁加锁和解锁真正用到的框架。

 

 

特点？

1、AQS中用 state 属性来表示是否上锁，在Reentrantlock中0表示没有上锁，大于0表示重入了几次锁。在ReentrantReadWriteLock中state分为读状态和写状态

2、提供了基于 FIFO 的虚拟队列，类似于 Monitor 的 EntryList

3、内部维持了一个等待队列，也是虚拟队列，支持多个条件变量，类似于 Monitor 的 WaitSet

 

exclusiveOwnerThread

表示当前获取到锁的线程

 

Node节点的模式？

AQS中有一个Node类，分为Exclusive独占模式和Shared共享模式，如果加的是Reentrantlock锁或写锁，对线程采用Exclusive独占模式；如果加的是读锁，对线程采用Shared共享模式

 

Node节点的waitStatus状态

在阻塞队列/同步队列中除了tail指向的Node的waitStatus为0，其他都为-1，表明它的继任节点需要被唤醒。

在等待队列/条件队列中的Node的waitStatus都为-2，表明正处于等待队列

 

子类Sync主要实现哪些方法？

tryAcquire

tryRelease

tryAcquireShared

tryReleaseShared

isHeldExclusively

 

AQS的底层使用了模板方法模式

 

Reentrantlock原理

 

绿色实现，蓝色继承，红色依赖，Reentrantlock中有三个同步器，Sync，NonfairSync，FairSync

 

 

Reentrantlock非公平同步器原理

内部使用NonfairSync同步器

 

首先lock方法内尝试将state状态CAS改为1，如果不能更改，进入acquire，

 

 

出队列的条件是：当前节点是head节点并且当前节点释放了锁资源，且当前节点的后继节点成功获取到锁资源。否则当前节点就无法出队。