ReentrantLock源码解析

可重入锁源码分析

AQS 首节点:1.是持有锁的线程 2如果没有持有锁,则虚拟出来的线程节点。  假如T2拿到线程, T2又变成首节点了。  队首的线程不参与队列,第一人永远处于受理状态,第二个才是排队的第一个。

存在一种锁已经释放了但是没有去唤醒另外一个线程的情况

  1. 队列没有初始化
  2. 队列的长度大于1
  3. 队列中只存在一个Node. 正在执行队首和队尾是同一个

ReentrantLock实现了Lock接口,Lock接口中定义了一下锁需要实现的方法。类中定义了不可变的Sync属性. Sync是一个静态的抽象类,继承了AbstractQueuedSynchronizer(队列同步器).

ReentrantLock里面还定义了两个静态内部类NonfairSync(不公平) ,FairSync(公平),这两个类都继承Sync。好,那我们先从非公平锁的加锁过程讲起。

NonfairSync.lock

ReentrantLock源码解析

  1. 当第一个线程进来的时候,会直接通过CAS去比较并setState.如果state的预期值是0,则修改成1. 如果修改成功则代表当前线程获取到锁,然后将锁的持有者修改成自己.
  2. 当CAS比较失败时,则会调用acquire方法.acquire方法会首先去尝试获取锁ReentrantLock源码解析ReentrantLock源码解析
  3. 如果tryAcquire获取锁成功,则会返回true,true取反则不会走接下来的流程,直接结束。如果获取锁失败则会执行addWaiter和acquireQueued方法。
  4. ReentrantLock源码解析ReentrantLock源码解析ReentrantLock源码解析ReentrantLock源码解析
  5. NonfairSync.unlock 

  6. ReentrantLock源码解析

  7. ReentrantLock源码解析