Synchronized与锁升级
先从阿里几其他大厂面试题说起
-
谈谈你对Synchronized的理解
-
请你聊聊Synchronized的锁升级
-
同学的反馈
本章路线总纲
说明
- 阿里巴巴规范:加锁的代码块工作量尽可能小,不要一竹竿打死
- synchronized锁优化的背景
用锁能够实现数据的安全性,但是会带来性能下降。
无锁能够基于现成并行提升程序性能,但是会带来安全性下降
那么如何求平衡?
- 锁的升级过程
无锁-偏向锁-轻量级锁-重量级锁
synchronized锁:由对象头重的Mark Word根据锁标志位的不同而被复用及锁升级策略
Synchronized的性能变化
java5以前,只有Synchronized,这个是操作系统级别的重量级操作
重量级锁,假如锁的竞争比较激烈的话,性能下降
Java5之前,用户态和内核态之间的切换
(我们写一个new Thread().start()的话是调用了底层的native方法的)
java的线程是映射到操作系统原生线程之上的,如果要阻塞或唤醒一个线程就需要操作系统介入,需要在户态与核心态之间切换,这种切换会消耗大量的系统资源,因为用户态与内核态都有各自专用的内存空间,专用的寄存器等,用户态切换至内核态需要传递给许多变量、参数给内核,内核也需要保护好用户态在切换时的一些寄存器值、变量等,以便内核态调用结束后切换回用户态继续工作。
在Java早期版本中,synchronized属于重量级锁,效率低下,因为监视器锁(monitor)是依赖于底层的操作系统的****来实现的,挂起线程和恢复线程都需要转入内核态去完成,阻塞或唤醒一个Java线程需要操作系统切换CPU状态来完成,这种状态切换需要耗费处理器时间,如果同步代码块中内容过于简单,这种切换的时间可能比用户代码执行的时间还长”,时间成本相对较高,这也是为什么早期的synchronized效率低的原因Java 6之后,为了减少获得锁和释放锁所带来的性能消耗,引入了轻量级锁和偏向锁
(一句话就是尽量减少用户态和内核态的切换)
为什么每一个对象都可以成为一个锁-复习之前的知识
markOop.hpp
Monitor(监视器锁)
(我自己总结下,我们说在java中每个对象都可以成为一把锁,因为在JVM中每个对象都一个monitor(监视器锁)。对应到C底层叫做Object Monitor,并用c定义了很多信息。再往下到操作系统中是基于Mutex Lock互斥锁实现,涉及到了用户态和内核态的切换,所以非常耗费资源
结合之前的synchronized和对象头说明
主要就是MarkWord中是什么代码表示了他是什么锁状态
java6开始,优化Synchronized
Java6之后,为了减少获得锁和释放锁所带来的性能消耗,引入了轻量级锁和偏向锁
需要有个逐步升级的过程,别一开始就捅到重量级锁
Synchronized锁种类及升级步骤
多线程访问情况,3种
只有一个线程来访问,有且唯一Only One
有多个线程(2个线程A、B来交替访问)
竞争激烈,更多个线程来访问
升级流程
synchronized用的锁是存在Java对象头里的Mark Word中,锁升级功能主要依赖MarkWord中锁标志位和释放偏向锁标志位
64位标记图再看看
重点关注【偏向锁位】和【锁标志位】
锁指向,请牢记
偏向锁:MarkWord存储的是偏向的线程ID;
轻量锁:MarkWord存储的是指向线程栈中Lock Record的指针;
重量锁:MarkWord存储的是指向堆中的monitor对象的指针;
无锁
复习C源码的MarkWord标记
和上面是对应的
Code演示
注1:整体从右下角往左上角看,但是每8位都是从左往右看
注2:这个HashCode调用了才有,不然就是0000…
程序不会有锁的竞争
偏锁
是什么
偏向锁**:单线程竞争**
当线程A第一次竞争到锁时,通过修改Mark Word中的偏向ID、偏向模式。如果不存在其他线程竞争,那么持有偏向锁的线程将永远不需要进行同步。
主要作用
当一段同步代码一直被同一个线程多次访问,由于只有一个线程访问那么该线程在后续访问时便会自动获得锁。
(防止不停的在用户态和内核态之间切换)
举个例子,同一个老顾客来访,直接老规矩行方便
看看多线程卖票,同一个线程获得体会一下(表面上又三个线程在竞争,但实际上呈现aaaa bbbb cccccc 这样的特性,大部分情况下都是一个线程获得票)
小结论
Hotspot 的作者经过研究发现,大多数情况下:
多线程的情况下,锁不仅不存在多线程竞争,还存在锁由同一个线程多次获得的情况,
偏向锁就是在这种情况下出现的,它的出现是为了解决只有在一个线程执行同步时提高性能。
备注:
偏向锁会偏向于第一个访问锁的线程,如果在接下来的运行过程中,该锁没有被其他的线程访问,则持有偏向锁的线程将永远不需要触发同步。也即偏向锁在资源没有竞争情况下消除了同步语句,懒的连CAS操作都不做了,直接提高程序性能
64位标记图
偏向锁的持有
说明
理论落地:
在实际应用运行过程中发现,“锁总是同一个线程持有,很少发生竞争”,也就是说锁总是被第一个占用他的线程拥有,这个线程就是锁的偏向线程。
那么只需要在锁第一次被拥有的时候,记录下偏向线程ID。这样偏向线程就一直持有着锁(后续这个线程进入和退出这段加了同步锁的代码块时,不需要再次加锁和释放锁。而是直接会去检查锁的MarkWord里面是不是放的自己的线程ID)。
如果相等,表示偏向锁是偏向于当前线程的,就不需要再尝试获得锁了,直到竞争发生才释放锁。以后每次同步,检查锁的偏向线程[D与当前线程1D是否一致,如果一致直接进入同步。无需每次加锁解锁都去CAS更新对象头。如果自始至终使用锁的线程只有一个,很明显偏向锁几乎没有额外开销,性能极高。
如果不等,表示发生了竞争,锁己经不是总是偏向于同一个线程了,这个时候会尝试使用CAS来替换MarkWord里面的线程ID为新线程的ID,
竞争成功,表示之前的线程不存在了,MarkWord里面的线程1D为新线程的ID,锁不会升级,仍然为偏向锁;
竞争失败,这时候可能需要升级变为轻量级锁,才能保证线程间公平竞争锁。
注意,偏向锁只有遇到其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁,线程是不会主动释放偏向锁的。技术实现:
一个synchronized方法被一个线程抢到了锁时,那这个方法所在的对象就会在其所在的Mark Word中将偏向锁修改状态位,同时还会占用前54位来存储县城指针作为标识。若该线程再次访问同一个synchronized方法时,该线程只需要去对象头的Mark Word中去判断一下是否有偏向锁指向本身的ID,无需再进入Monitor去竞争对象了
细化Account对象举例说明
结论:JVM不用和操作系统协商设置Mutex(争取内核),它只需要记录下县城ID就标识自己获得了当前锁,不用操作系统接入。
偏向锁JVM命令
java -XX:+PrintFlagsInitial |grep BiasedLock*
偏向锁存在且默认开启(图片里最后一行的false),并且有4s延迟(图片里的4000)
重要参数说明
关于如何开启偏向锁(延迟设置为0即可)和关闭偏向锁
实际上偏向锁在JDK1.6之后是款认开启的,但是启动时间有延迟,
所以需要添加参数-XX:BiasedLockingStartupDelay=0,让其在程序启动时立刻启动。
开启偏向锁:
-XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0
关闭偏向锁:关闭之后程序默认会直接进入 ----------------------->>>>>>> 轻量级锁状态
实际上偏向锁在JDK1.6之后是款认开启的,但是启动时间有延迟,
所以需要添加参数-XX:BiasedLockingStartupDelay=0,让其在程序启动时立刻启动。
开启偏向锁:
-XX:+UseBiasedLocking -XX:BiasedLockingStartupDelay=0
关闭偏向锁:关闭之后程序默认会直接进入 ----------------------->>>>>>> 轻量级锁状态
-XX:-UseBiasedLocking
Code演示-通过将延迟改为0来开启偏向锁
一切默认
演示无效果,偏向锁本应该是101,000是轻量级锁(无效是因为有4s延迟,程序直接变成了轻量级锁)
因为参数系统默认开启
关闭延迟参数,启用该功能
Code演示2-主动迎合这4秒的延迟
主动迎合4秒的延迟
第一种情况-没用synchronized
确实开启了偏向锁101,但是o对象未采用synchronized加锁,所以线程id是空的
第二种情况- 用synchronized
使用synchronized锁住o之后,发现这五十四位指向了当前线程指针
好日子终会到头
开始有第二个线程来竞争了
偏向锁的撤销
当有另外线程逐步来竞争所的时候,就不能再使用偏向锁了,要升级为轻量级锁
竞争线程尝试CAS更新对象头失败,会等待到全局安全点(此时不会执行任何代码)撤销偏向锁
撤销
偏向锁使用一种等到竞争出现才释放锁的机制,只有当其他线程竞争锁时,持有偏向锁的原来线程才会被撤销。
撇销需要等待全局安全点(该时间点上没有字节码正在执行),同时检查持有偏向锁的线程是否还在执行:
① 第一个线程正在执行synchronized方法(处于同步块),它还没有执行完,其它线程来抢夺,该偏向锁会被取消掉并出现锁升级。此时轻量级锁由原持有偏向锁的线程持有,继续执行其同步代码,而正在竞争的线程会进入自旋等待获得该轻量级锁。
②第一个线程执行完成synchronized方法(退出同步块),则将对象头设置成无锁状态并撤销偏向锁,重新偏向。
总体步骤流程图示
单看这张图其实挺懵的,但是看了上面老师的讲解之后豁然开朗
题外话-java15逐步废弃偏向锁
轻锁
是什么
轻量级锁:多线程竞争,但是任意时刻最多只有一个线程竞争,即不存在锁竞争太过激烈的情况,也就没有线程阻寨
主要作用
有线程来参与锁的竞争,但是获取锁的冲突时间极短
本质就是自选锁CAS
64位标记图再看
轻量级锁的获取
轻量级锁是为了在线程近乎交替执行同步块时提高性能。
主要目的:在没有多线程竞争的前提下,通过CAS减少重量级锁使用操作系统互斥量产生的性能消耗.说白了先自旋,不行才升级阻寨。
升级时机:当关闭偏向锁功能或多线程竞争偏向锁会导致偏向锁升级为轻量级锁
假如线程A己经拿到锁,这时线程B又来抢该对象的锁,由于该对象的锁己经被线程A拿到,当前该锁己是偏向锁了。
而线程B在争抢时发现对象头Mark Ward中的线程ID不是线程B自己的线程1D(而是线程A),那线程B就会进行CAS操作希望能获得锁。此吋线程B操作中有两种情况:
如果锁获取成功,直接替换Mark Word中的线程1D为B自己的1D(A—B).重新偏向于其他线程(即将偏向锁交给其他线程,相当于当前线程"被"释放了锁),该锁会保持偏向锁状态,A线程Over,B线程上位:
如果锁获取失败,则偏向锁升级为轻量级锁(设置偏向锁标识为0并设置锁标志位为00),此时轻量级锁由原持有偏向锁的线程持有,继续执行其同步代码,而正在竞争的线程B会进入自旋等待获得该轻量级锁。
补充说明
轻量级锁的加锁
JVM会为每个线程在当前线程的栈帧中创建用于存储锁记录的空间,官方成为Displaced Mark Word。若一个线程获得锁时发现是轻量级锁,会把锁的MarkWord复制到自己的Displaced Mark Word里面。然后线程尝试用CAS将锁的MarkWord替换为指向锁记录的指针。如果成功,当前线程获得锁,如果失败,表示Mark Word已经被替换成了其他线程的锁记录,说明在与其它线程竞争锁,当前线程就尝试使用自旋来获取锁。
自旋CAS:不断尝试去获取锁,能不升级就不往上捅,尽量不要阻寨
轻量级锁的释放
在释放锁时,当前线程会使用CAS操作将Displaced Mark Word的内容复制回锁的Mark Word里面。如果没有发生竞争,那么这个复制的操作会成功。如果有其他线程因为自旋多次导致轻量级锁升级成了重量级锁,那么CAS操作会失败,此时会释放锁并唤醒被阻寨的线程。
Code演示
如果关闭偏向锁,就可以直接进入轻量级锁
-XX:-UseBiasedLocking
步骤流程图示
轻量级锁状态下,CAS自旋达到一定次数也会升级为重量级锁
自旋达到一定次数和程度
java6之前
了解即可
java6之后
【自适应自选锁】的大致原理
线程如果自旋成功了,那下次自旋的最大次数会增加,因为JVM认为既然上次成功了,那么这一次也很大概率会成功。
反之
如果很少会自旋成功,那么下次会减少自旋的次数甚至不自旋,避免CPU空转。
总之,自适应意味着自选的次数不是固定不变的,而是根据:同一个锁上一次自旋的时间和拥有锁线程的状态来决定。
轻量锁和偏向锁的区别和不同
争夺轻量级锁失败时,自旋尝试抢占锁
轻量级锁每次退出同步块都需要释放锁,而偏向锁是在竞争发生时才释放锁
重锁
有大量的线程参与锁的竞争,冲突性很高
锁标志位
重量级锁原理
Java中synchronized的重量级锁,是基于进入和退出Monitor对象实现的。在编译时会将同步块的开始位置插入monitor enter指令,在结束位置插入monitor exit指令。
当线程执行到monitor enter指令时,会尝试获取对象所对应的Monitor所有权,如果获取到了,即获取到了锁,会在Monitor的owner中存放当前线程的id,这样它将处于锁定状态,除非退出同步块,否则其他线程无法获取到这个Monitor。
Code演示
小总结-面试中的高频考点
锁升级发生后,hashcode去哪啦
说明
锁升级为轻量级或重量级锁后,Mark Word中保存的分别是线程栈帧里的锁记录指针和重量级锁指针,己经没有位置再保存哈希码,GC年龄了,那么这些信息被移动到哪里去了呢?
用更加通俗的话解释(四种锁的不同情况)
在无锁状态下,Mark Word中可以存储对象的identity hash code值。当对象的hashCode()方法第一次被调用时,JVM会生成对应的identity hash code值并将该值存储到Mark Word中。
对于偏向锁,在线程获取偏向锁时,会用Thread |D和epoch值覆盖identity hash code所在的位置。如果一个对象的hashCode()方法己经被调用过一次之后,这个对象不能被设置偏向锁。因为如果可以的化,那Mark Word中的identity hash code必然会被偏向线程Id给覆盖,这就会造成同一个对象前后两次调用hashCode()方法得到的结果不一致。
升级为轻量级锁时,JVM会在当前线程的栈帧中创建一个锁记录(Lock Record)空间,用于存储锁对象的Mark Word拷贝,该拷贝中可以包含identity hash code,所以轻量级锁可以和identity hash code****共存,哈希码和GC年龄自然保存在此,释放锁后会将这些信息写回到对象头。
升级为重量级锁后,Mark Word保存的重量级锁指针,代表重量级锁的ObjectMonitor类里有字段记录非加锁状态下的Mark Word,锁释放后也会将信息写回到对象头。
code01
当一个对象已经计算过identity hash code,它就无法进入偏向锁状态,跳过偏向锁,直接升级轻量级锁
code02
在偏向锁的状态中遇到一致性哈希计算请求,立马撤销偏向模式,膨胀为重量级锁
各种锁优缺点、synchronized锁升级和实现原理
synchronized锁升级过程总结:一句话,就是先自旋,不行再阻塞。
实际上是把之前的悲观锁(重量级锁)变成在一定条件下使用偏向锁以及使用轻量级(自旋锁CAS)的形式
synchronized在修饰方法和代码块在字节码上实现方式有很大差异,但是内部实现还是基于对象头的MarkWord来实现的。
JDK1.6之前synchronized使用的是重量级锁,JDK1.6之后进行了优化,拥有了无锁->偏向锁->轻量级锁->重量级锁的升级过程,而不
是无论什么情况都使用重量级锁。
偏向锁:适用于单线程适用的情况,在不存在锁竞争的时候进入同步方法/代码块则使用偏向锁。
轻量级锁:适用于竞争较不激烈的情况(这和乐观锁的使用范围类似),存在竞争时升级为轻量级锁,轻量级锁采用的是自旋锁,如果
同步方法/代码块执行时间很短的话,采用轻量级锁虽然会占用cpu资源但是相对比使用重量级锁还是更高效。
重量级锁:适用于竞争激烈的情况,如果同步方法/代码块执行时间很长,那么使用轻量级锁自旋带来的性能消耗就比使用重量级锁
更严重,这时候就需要升级为重量级锁。
JIT编译器对锁的优化
JIT
Just In Time Compiler,一般翻译为即时编译器
锁消除
从JIT角度看相当于无视它,synchronized(o)不存在了,
这个锁对象并没有被共用扩散到其它线程使用,
极端的说就是根本没有加这个锁对象的底层机器码,消除了锁的使用
锁粗化
假如方法中首位相接,前后相邻的都是同一个锁对象,那JIT编译器就会把这几个synchronized块合并成一个大块,
加粗加大范围,一次申请使用即可,避免次次都申请和释放锁,提升了性能
AQS是什么?
①. 是用来构建锁或者其它同步器组件的重量级基础框架及整个JUC体系的基石,通过内置的CLH(FIFO)队列的变种来完成资源获取线程的排队工作,将每条将要去抢占资源的线程封装成一个Node节点来实现锁的分配,有一个int类变量表示持有锁的状态(private volatile int state),通过CAS完成对status值的修改(0表示没有,1表示阻塞)
CLH:Craig、Landin and Hagersten 队列,是一个单向链表,AQS中的队列是CLH变体的虚拟双向队列FIFO
- ②. AQS为什么是JUC内容中最重要的基石
(ReentrantLock | CountDownLatch | ReentrantReadWriteLock | Semaphore)
通过代码解释为什么JUC是最重要的基石
(1). 和AQS有关的
(2).ReentrantLock
(3).CountDownLatch
(4).ReentrantReadWriteLock
③. 锁,面向锁的使用者(定义了程序员和锁交互的使用层API,隐藏了实现细节,你调用即可)
同步器,面向锁的实现者(比如Java并发大神Douglee,提出统一规范并简化了锁的实现,屏蔽了同步状态管理、阻塞线程排队和通知、唤醒机制等。)
④. 加锁会导致阻塞、有阻塞就需要排队,实现排队必然需要队列
⑤. 如果共享资源被占用,就需要一定的阻塞等待唤醒机制来保证锁分配。这个机制主要用的是CLH队列的变体实现的,将暂时获取不到锁的线程加入到队列中,这个队列就是AQS的抽象表现。它将请求共享资源的线程封装成队列的结点(Node) ,通过CAS、自旋以及LockSuport.park()的方式,维护state变量的状态,使并发达到同步的效果
AQS内部体系架构
- ①. AQS内部架构图:
②. 详解AQS内部代码有什么?
- ③. CLH队列(三个大牛的名字组成),为一个双向队列
- ④. 内部结构(Node此类的讲解)
- ⑤. AQS同步队列的基本结构
ReentrantLock开始解读AQS
写在最前面:
(1). 本次讲解我们走最常用的,lock/unlock作为案例突破口
(2). 我相信你应该看过源码了,那么AQS里面有个变量叫State,它的值有几种?3个状态:没占用是0,占用了是1,大于1是可重入锁
(3). 如果AB两个线程进来了以后,请问这个总共有多少个Node节点?答案是3个,其中队列的第一个是傀儡节点(哨兵节点)
业务图:
①. 代码展示
public class AQSDemo {
public static void main(String[] args) {
ReentrantLock lock = new ReentrantLock();
//带入一个银行办理业务的案例来模拟我们的AQS如何进行线程的管理和通知唤醒机制
//3个线程模拟3个来银行网点,受理窗口办理业务的顾客
//A顾客就是第一个顾客,此时受理窗口没有任何人,A可以直接去办理
new Thread(() -> {
lock.lock();
try{
System.out.println("-----A thread come in");
try { TimeUnit.MINUTES.sleep(20); }catch (Exception e) {e.printStackTrace();}
}finally {
lock.unlock();
}
},"A").start();
//第二个顾客,第二个线程---》由于受理业务的窗口只有一个(只能一个线程持有锁),此时B只能等待,
//进入候客区
new Thread(() -> {
lock.lock();
try{
System.out.println("-----B thread come in");
}finally {
lock.unlock();
}
},"B").start();
//第三个顾客,第三个线程---》由于受理业务的窗口只有一个(只能一个线程持有锁),此时C只能等待,
//进入候客区
new Thread(() -> {
lock.lock();
try{
System.out.println("-----C thread come in");
}finally {
lock.unlock();
}
},"C").start();
}
}
②. 从最简单的lock方法开始看看公平和非公平
①. 通过ReentrantLock的源码来讲解公平锁和非公平锁
②. 可以明显看出公平锁与非公平锁的lock()方法唯一的区别就在于公平锁在获取同步状态时多了一个限制条件:hasQueuedPredecessors()
hasQueuedPredecessors是公平锁加锁时判断等待队列中是否存在有效节点的方法
③. lock()
- ①. lock.lock( ) 源码
- ②. acquire( ):源码和3大流程走向
④. tryAcquire(arg)
- ①.本次走非公平锁方向
- ②. nonfairTryAcquire(acquires)
return false(继续推进条件,走下一步方法addWaiter)
return true(结束)
⑤. addWaiter(Node.EXCLUSIVE)
假如3号ThreadC线程进来
(1). prev
(2). compareAndSetTail
(3). next
-
①. addWaiter(Node mode )
双向链表中,第一个节点为虚节点(也叫哨兵节点),其实并不存储任何信息,只是占位。 真正的第一个有数据的节点,是从第二个节点开始的
-
②. enq(node);
-
①. addWaiter(Node mode )
双向链表中,第一个节点为虚节点(也叫哨兵节点),其实并不存储任何信息,只是占位。 真正的第一个有数据的节点,是从第二个节点开始的
-
②. enq(node);
⑥. acquireQueued(addWaiter(Node.EXCLUSIVE), arg)
- ①. acquireQueued
(会调用如下方法:shouldParkAterFailedAcquire和parkAndCheckInterrupt | setHead(node) ) - ②. shouldParkAfterFailedAcquire
③. parkAndCheckInterrupt
④. 当我们执行下图中的③表示线程B或者C已经获取了permit了
⑤. setHead( )方法
代码执行完毕后,会出现如下图所示
⑦. unlock( )获取permit
①. release | tryRelease | unparkSuccessor(h);
②. tryRelease()
③. unparkSuccessor( )
⑧. AQS源码总结
-
①. 业务场景,比如说我们有三个线程A、B、C去银行办理业务了,A线程最先抢到执行权开始办理业务,那么B、C两个线程就在CLH队列里面排队如图所示,注意傀儡结点和B结点的状态都会改为-1
②. 当A线程办理好业务,离开的时候,会把傀儡结点的waitStatus从-1改为0 | 将status从1改为0,将当前线程置为null
③. 这个时候如果B上位,首先将status从0改为1(表示占用),把thread置为线程B | 会执行如下图的①②③④,会触发GC,然后就把第一个灰色的傀儡结点给清除掉了,这个时候原来的B结点重新成为傀儡结点
static final class NonfairSync extends Sync {
private static final long serialVersionUID = 7316153563782823691L;
/**
* Performs lock. Try immediate barge, backing up to normal
* acquire on failure.
*/
final void lock() { //Lock.lock() 最终会跳转到这个方法里实现具体
if (compareAndSetState(0, 1)) //如果是第一个线程 则直接进入 将状态设置为1
setExclusiveOwnerThread(Thread.currentThread()); //将进入锁的线程设置为当前线程
else
acquire(1); //尝试获取锁
}
protected final boolean tryAcquire(int acquires) {
return nonfairTryAcquire(acquires);
}
}
public final void acquire(int arg) {
if (!tryAcquire(arg) &&
acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
selfInterrupt();
}
protected boolean tryAcquire(int arg) {
throw new UnsupportedOperationException();
}
protected final boolean tryAcquire(int acquires) {
return nonfairTryAcquire(acquires);
}
final boolean nonfairTryAcquire(int acquires) {
final Thread current = Thread.currentThread(); //获取当前线程
int c = getState(); c=1
if (c == 0) {
if (compareAndSetState(0, acquires)) {
setExclusiveOwnerThread(current);
return true;
}
}
else if (current == getExclusiveOwnerThread()) { //当前线程是不是进入锁线程的线程
int nextc = c + acquires; next=1+1
if (nextc < 0) // overflow
throw new Error("Maximum lock count exceeded");
setState(nextc); //将状态设置为2 表示可重入锁
return true;
}
return false;
}
private Node addWaiter(Node mode) {
Node node = new Node(Thread.currentThread(), mode);
// Try the fast path of enq; backup to full enq on failure
Node pred = tail;
if (pred != null) { //第一次tail为空
node.prev = pred;
if (compareAndSetTail(pred, node)) {
pred.next = node;
return node;
}
}
enq(node); //第一个结点进入队列的时候才会进入队列
return node;
}
private Node enq(final Node node) {
for (;;) {
Node t = tail;
if (t == null) { // Must initialize
if (compareAndSetHead(new Node())) //将head节点设置为一个空结点(虚节点)
tail = head; //头结点和尾节点都指向空节点
} else {
node.prev = t; //第二次循环 将node的前一个节点设置头head节点
if (compareAndSetTail(t, node)) { //将尾结点指向node结点
t.next = node; //head结点的下一个结点为node
return t;
}
}
}
}
final boolean acquireQueued(final Node node, int arg) {
boolean failed = true;
try {
boolean interrupted = false;
for (;;) {
final Node p = node.predecessor();
if (p == head && tryAcquire(arg)) { //这里在排队的时候也想尝试去抢锁
setHead(node);
p.next = null; // help GC
failed = false;
return interrupted;
}
if (shouldParkAfterFailedAcquire(p, node) &&
parkAndCheckInterrupt())
interrupted = true;
}
} finally {
if (failed)
cancelAcquire(node);
}
}
private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {
//通过for循环将所有node的状态设置为SIGNAL
int ws = pred.waitStatus;
if (ws == Node.SIGNAL)
/*
* This node has already set status asking a release
* to signal it, so it can safely park.
*/
return true;
if (ws > 0) {
/*
* Predecessor was cancelled. Skip over predecessors and
* indicate retry.
*/
do {
node.prev = pred = pred.prev;
} while (pred.waitStatus > 0);
pred.next = node;
} else {
/*
* waitStatus must be 0 or PROPAGATE. Indicate that we
* need a signal, but don't park yet. Caller will need to
* retry to make sure it cannot acquire before parking.
*/
compareAndSetWaitStatus(pred, ws, Node.SIGNAL);
}
return false;
}
private final boolean parkAndCheckInterrupt() {
LockSupport.park(this); //将node挂起
return Thread.interrupted();
}