AQS数据结构是基于虚拟的双向链表(CLH)加state资源的状态,底层还是基于CAS算法,通过CAS自旋来进行修改state的值
CLH就是虚拟的双向队列。没有实际的队列,将请求封装成CLH队列中的一个结点,结点和结点存在关系
里面的核心方法,通过tryAcquire尝试获取锁,然后通过addWaiter进行CAS,然后加入CLH中,acquireQueued判断是否可以获取锁,当线程到CLH队列头部的时候,进行一个尝试获取锁,更新锁的状态,如果更新成功,就表示获取到了锁然后移除队列。
AQS定义两种资源共享方式:Exclusive(独占,只有一个线程能执行,如ReentrantLock)和Share(共享,多个线程可同时执行,如Semaphore/CountDownLatch)。
比如reentranLock可重入锁,在第一次获取锁的时候,修改状态为1,代表锁定该资源,然后其他线程不能获取该资源,只有等到reentranLock释放锁,修改为0,其他才能获取,但是在reentranLock释放锁之前,可以重复的获取锁然后释放锁。这就是独占。
共享以CountDownLatch为例,任务分N个子线程去执行,state就初始化为N,N个线程并行执行,每个线程执行完之后countDown()一次,state就会CAS减一。当N子线程全部执行完毕,state=0,会unpark()主调用线程,主调用线程就会从await()函数返回,继续之后的动作。
Node结点的几个属性:
cancelled(1):取消了调度
signal(-1):后继结点再等待当前结点唤醒。需要被唤醒
condition(-2):表示结点等待在条件队列中(Condition)上,当其他线程调用了Condition的signal()方法后,CONDITION状态的结点将从等待队列转移到同步队列中,等待获取同步锁。
PROPAGATE(-3):共享模式下,前继结点不仅会唤醒其后继结点,同时也可能会唤醒后继的后继结点。
0:新结点入队时的默认状态。