让我们来debug看AQS源码

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

目录

文章目录

一、AQS是什么？

二、画出调用顺序图

1.debug开始，如​图

总结

 

一、AQS是什么？

AQS是cas的实现，是一种在用户态下操作的锁，没有到内核态的切换，所以效率比较高。使用它的有ReentrantLock，CountdownLatch（火箭倒计时），CyclicBarrier（攒齐七颗龙珠许愿，可循环的），Phaser（分阶段的CyclicBarrier）， Semaphore（可以同时运行指定数个线程），Exchanger（两个线程交换数据）。这么多实现的我们就挑一个问的最多的ReentrantLock来debug看一下源码。

二、画出调用顺序图

如图

 

1.debug开始，如图

首先代码如如图

 

进入lock方法

可以看到调用了Sync的lock方法

 

而NonfairSync实现了这个方法，所以是NonfairSync集成了Sync，Sync继承了AQS。

这个地方首先调用cas将期望值修改成1，成功了就获取到了锁；如果失败就调用acquire（1）方法

然后这个acquire是aqs的，AQS其实是使用了模板方法，比方说tryAcquire，acquire，compareAndSetState等

这个地方的tryAcquire就是留给继承者实现的

，我们直接点看到的是aqs跑出了一个异常，但是如果我们debug会发现

 

NonfairSync重写了这个方法，然后调用了自己的nonfairTryAcquire方法

这个方法做的操作是，获取state的值，如果等于零就调用aqs的compareAndSetState方法将期望值设置成一，成功了就获取到了锁，如果是当前线程就说明是重入锁加一设置进去，否则尝试获取锁失败

state是volatile修饰，所以解决了可见性问题，（可见性的原理是缓存一致性协议，禁止重排序的原理是内存屏障）

 

继续debug回到这个方法，这个addWaiter方法的作用是将当前线程放入Node

这个特殊的双向队列的结尾，代码的意思就是将当前线程的pre指向tail节点，将tail的next指向当前线程

然后再走到这个方法，这个方法会一直循环，首先获取当前节点的上一个节点，如果是头结点，那就traAcquire获取一下锁，如果成功了就获取到了锁，如果失败了就阻塞当前线程等待上一个线程的唤醒，用的是lockSupport.park方法

 

解锁的跟这个相反，首先掉用的是ReentrantLock的unlocak，sync.unlock()，aqs的tryRelease获取state，如果是当前线程就减一

---

总结

AQS的解读是个人见解，如有不当欢迎指出共同进步