面试八股之线程篇2.5——线程中的并发锁篇——AQS

---

🌈个人主页

🌈所有八股​​​​​​​

---

2.6 什么是AQS？

难易程度：☆☆☆

出现频率：☆☆☆

2.6.1 概述

全称是 AbstractQueuedSynchronizer，是阻塞式锁和相关的同步器工具的框架，它是构建锁或者其他同步组件的基础框架

2.6.1.1AQS与Synchronized的区别

（两者属于不同底层实现，前者是与内置的Monitor关联，后者是AQS框架）

synchronized	AQS
关键字，c++ 语言实现	java 语言实现
悲观锁，自动释放锁	悲观锁，手动开启和关闭
锁竞争激烈都是重量级锁，性能差	锁竞争激烈的情况下，提供了多种解决方案

这样看来ReentrantLock和AQS很像，ReentrantLock用起来需要手动开关设锁，还可以结合条件对象设置，灵活多样，适用于锁竞争激烈的场景。为程序员提供了更灵活的选择。

 

---

AQS常见的实现类x

• Semaphore 信号量

• CountDownLatch 倒计时锁

  ---

2.6.2 工作机制

• 在AQS中维护了一个使用了volatile修饰的state属性来表示资源的状态，0表示无锁，1表示有锁
• 提供了基于 FIFO 的等待队列，类似于 Monitor对象 的 EntryList
• 条件变量来实现等待、唤醒机制，支持多个条件变量，类似于 Monitor 的 WaitSet

（ReentrantLock就是AQS的一种实现，关于ReentrantLock的详情请点击这里）​​​​​​​《JAVA核心技术卷·I》——第十二章6——同步2——竞态条件的解决方法之一——ReentrantLock——《并发》-CSDN博客

• 线程0来了以后，去尝试修改state属性，如果发现state属性是0，就修改state状态为1，表示线程0抢锁成功
• 线程1和线程2也会先尝试修改state属性，发现state的值已经是1了，有其他线程持有锁，它们都会到FIFO队列中进行等待
• FIFO是一个双向队列，head属性表示头结点，tail表示尾结点

  ---

如果多个线程共同去抢这个资源是如何保证原子性的呢？

---

在去修改state状态的时候，使用的CAS自旋锁来保证原子性，确保只能有一个线程修改成功，修改失败的线程将会进入FIFO队列中等待

---

2.6.3 AQS是公平锁吗，还是非公平锁？

• 新的线程与队列中的线程共同来抢资源，是非公平锁

• 新的线程到队列中等待，只让队列中的head线程获取锁，是公平锁

比较典型的AQS实现类ReentrantLock，它默认就是非公平锁，新的线程与队列中的线程共同来抢资源。

通过在创建ReentrantLock对象时传入true或false参数，可以选择使用公平锁或非公平锁。

2.6.4 公平锁与非公平锁的优缺点

1.公平锁可以保证线程获取锁的顺序性，但可能会导致性能下降，特别是在并发量较高的情况下。

要点：上下文切换、CPU时间片、频繁地阻塞唤醒指令本身开销、饥饿

---

首先，严格的顺序性会引入更多的上下文切换。因为每个线程都要按照顺序等待，即使后续的线程可能能够更快地完成任务，也必须等待前面的线程获取并释放锁，这增加了线程切换的频率。

其次，频繁的线程阻塞和唤醒操作会带来较大的开销。当线程无法获取锁时，它会被阻塞，而当轮到它获取锁时又要被唤醒，这些操作都需要一定的系统资源和时间。

最后，由于公平锁的规则限制，可能会出现一些“饥饿”现象。即使某些线程的任务执行速度很快，但由于前面有大量排队的线程，它们可能需要等待较长时间才能获取到锁，从而影响了整体的系统效率。

---

2.非公平锁可以提高性能，但可能会导致某些线程饥饿。