ReentrantLock的非公平锁实现简单解读

229 阅读1分钟

1. 非公平锁的lock()方法

会先 CAS 一次(JDK11之后好像改掉了,跳过了这个步骤)。如果成功,那么将自己设置为锁的持有者。如果失败 acquire(1)。这个参数 1 ,是指将 AQS 中的 state 设置为 1。

2. 然后调用到了 AQS 抽象类中的实现

这里的条件判断意思是说:tryAcquire(1),失败了的话,就去加入到等待队列,加入到等待队列成功的话,那么就中断本线程。

3. 于是乎看看tryAcquire(arg),这是reentrantlock中的 tryAcquire()

获取当前状态位 state,1——当前锁被占有,0——当前锁空闲。

  • c==0,即这个锁还没有被任何线程占有,直接去 CAS 抢锁。
  • c!=0,且 持有锁的线程就是当前线程,可重入的关键!!!增加计数。
    • nextc<0,意味着加太多了,超过 int 最大值了,抛异常,说明代码有问题,存在死循环。
    • 否则继续重入。
  • 返回获取锁失败

4. 如果tryAcquire(1)失败了,去acquireQueued(addWaiter(Node.EXCLUSIVE), 1)

先执行addWaiter(Node.EXCLUSIVE),这里参数Node.EXCLUSIVE表示互斥节点,这个方法就是为当前线程创造一个节点,将这个节点加入到等待队列,并返回这个节点。

这是 AQS 加入到等待队列的方法,这里有一个死循环,如果当前节点是等待队列的头节点并且 tryAcquire(1)成功的话,那么就可以从等待队列中删除这个节点。

否则,就阻塞当前线程。

5. if 条件成立,阻塞自己,否则获取锁成功。