目录
1.前置知识
公平锁和非公平锁、可重入锁、自旋思想、LockSupport、数据结构与双向链表、设计模式之模板方法模式
2.AQS入门级别理论知识
2.1AQS是什么
AbstractQueuedSynchronizer简称AQS,字面意思:抽象的队列同步器
技术解释
是用来实现锁或者其它同步器组件的公共基础部分的抽象实现,是重量级基础框架及整个JUC体系的基石,主要用于解决锁分配给”谁”的问题。
整体就是一个抽象的FIFO队列来完成资源获取线程的排队工作,并通过一个int类变量表示持有锁的状态。
2.2AQS为什么是JUC内容中最重要的基石
和AQS有关的类
ReentrantLock、CountDownLatch、ReentrantReadWriteLock、Semaphore等,里面关联有AQS的实现类。
进一步理解锁和同步器的关系
锁,面向锁的使用者:定义了程序员和锁交互的使用层API,隐藏了实现细节。
同步器,面向锁的实现者:Java并发大神DougLee,提出统一规范并简化了锁的实现,将其抽象出来,屏蔽了同步状态管理、同步队列的管理和维护、阻塞线程排队和通知、唤醒机制等,是一切锁和同步组件实现的--------公共基础部分。
2.3能干什么
加锁会导致阻塞,有阻塞就需要排队,实现排队必然需要队列。
解释说明
抢到资源的线程直接使用处理业务,抢不到资源的必然涉及一种排队等候机制。抢占资源失败的线程继续去等待(类似银行业务办理窗口都满了,暂时没有受理窗口的顾客只能去候客区排队等候),但等候线程仍然保留获取锁的可能且获取锁流程仍在继续(候客区的顾客也在等着叫号,轮到了再去受理窗口办理业务)。
既然说到了排队等候机制,那么就一定会有某种队列形成,这样的队列是什么数据结构呢?
如果共享资源被占用,就需要一定的阻塞等待唤醒机制来保证锁分配。这个机制主要用的是CLH队列的变体实现的,将暂时获取不到锁的线程加入到队列中,这个队列就是AQS同步队列的抽象表现。它将要请求共享资源的线程及自身的等待状态封装成队列的结点对象(Node),通过CAS、自旋以及LockSupport.park()的方式,维护state变量的状态,使并发达到同步的效果。
源码说明
AQS同步队列的基本结构
3.AQS源码分析前置知识储备
AQS内部体系构架
3.1AQS自身
AQS的int变量
//AQS的同步状态State成员变量
private volatile int state;
AQS的CLH队列
CLH队列(三个大牛的名字组成),为一个双向队列
小总结
有阻塞就需要排队,实现排队必然需要队列,state变量+CLH双向队列。
3.2内部类Node(Node类在AQS类内部)
Node的int变量
//Node的等待状态waitState成员变量
volatile int waitState
说人话
等候区其他顾客(其他线程)的等待状态,队列中每个排队的个体就是一个Node
Node的讲解
内部结构
属性说明
4.AQS源码深度理解和分析
Lock接口的实现类,基本都是通过【聚合】了一个【队列同步器】的子类完成线程访问控制的。
ReentrantLock的原理
从最简单的lock方法开始看看公平和非公平
以非公平锁ReentrantLock()为例作为突破走起,方法lock()
对比公平锁和非公平锁的tryAcquire()方法的实现代码,其实差别就在于非公平锁获取锁时比公平锁中少了一个判断 IhasQueuedPredecessors()。
hasQueuedPredecessors()中判断了是否需要排队,导致公平锁和非公平锁的差异如下:
公平锁:公平锁讲究先来先到,线程在获取锁时,如果这个锁的等待队列中已经有线程在等待,那么当前线程就会进入等待队列中;
非公平锁:不管是否有等待队列,如果可以获取锁,则立刻占有锁对象。也就是说队列的第一个排队线程苏醒后,不一定就是排头的这个线程获得锁,它还是需要参加竞争锁(存在线程竞争的情况下),后来的线程可能不讲武德插队夺锁了。
lock方法
Acquire方法
tryAcquire(arg)方法
return false,继续推进条件,走下一个方法;return true,结束。
addWaiter(Node.EXCLUSIVE)
双向链表中,第一个节点为虚节点(也叫哨兵节点),其实并不存储任何信息,只是占位.真正的第一个有数据的节点,是从第二个节点开始的。
acquireQueued(addwaiter(Node.EXCLUSIVE), arg)
如果前驱节点的 waitStatus是SIGNAL状态,即shouldParkAfterFailedAcquire方法会返回true
程序会继续向下执行parkAndCheckInterrupt方法,用于将当前线程挂起