第一部分:进程与线程

1.1 什么是线程和进程?

1.1.1 何为进程?

进程就是应用程序在内存中分配的空间,也就是正在运行的程序,各个进程之间互不干扰。同时进程保存着程序每一个时刻运行的状态。
此时,CPU采用时间片轮转的方式运行进程:CPU为每个进程分配一个时间段,称作它的时间片。如果在时间片结束时进程还在运行,则暂停这个进程的运行,并且CPU分配给另一个进程(这个过程叫做上下文切换)。如果进程在时间片结束前阻塞或结束,则CPU立即进行切换,不用等待时间片用完。
使用进程+CPU时间片轮转方式的操作系统,在宏观上看起来同一时间段执行多个任务,换句话说,进程让操作系统的并发成为了可能。虽然并发从宏观上看有多个任务在执行,但在事实上,对于单核CPU来说,任意具体时刻都只有一个任务在占用CPU资源。

1.1.2 何为线程?

线程与进程相似,但线程是一个比进程更小的执行单位。一个进程在其执行的过程中可以产生多个线程。与进程不同的是同类的多个线程共享进程的方法区资源,但每个线程有自己的程序计数器虚拟机栈本地方法栈,所以系统在产生一个线程,或是在各个线程之间作切换工作时,负担要比进程小得多,也正因为如此,线程也被称为轻量级进程。
Java 程序天生就是多线程程序,我们可以通过 JMX 来看一下一个普通的 Java 程序有哪些线程,代码如下。

  1. public class MultiThread {
  2. public static void main(String[] args) {
  3. // 获取 Java 线程管理 MXBean
  4. ThreadMXBean threadMXBean = ManagementFactory.getThreadMXBean();
  5. // 不需要获取同步的 monitor 和 synchronizer 信息,仅获取线程和线程堆栈信息
  6. ThreadInfo[] threadInfos = threadMXBean.dumpAllThreads(false, false);
  7. // 遍历线程信息,仅打印线程 ID 和线程名称信息
  8. for (ThreadInfo threadInfo : threadInfos) {
  9. System.out.println("[" + threadInfo.getThreadId() + "] " + threadInfo.getThreadName());
  10. }
  11. }
  12. }

上述程序输出如下(输出内容可能不同,不用太纠结下面每个线程的作用,只用知道 main 线程执行 main 方法即可):

  1. [5] Attach Listener //添加事件
  2. [4] Signal Dispatcher // 分发处理给 JVM 信号的线程
  3. [3] Finalizer //调用对象 finalize 方法的线程
  4. [2] Reference Handler //清除 reference 线程
  5. [1] main //main 线程,程序入口

从上面的输出内容可以看出:一个 Java 程序的运行是 main 线程和多个其他线程同时运行

1.2 请简要描述线程和进程的关系,区别及优缺点?

1.2.1 图解进程和线程的关系

Java并发知识点总结 - 图1
从上图可以看出:一个进程中可以有多个线程,多个线程共享进程的堆和方法区 (JDK1.8 之后的元空间)资源,但是每个线程有自己的程序计数器、虚拟机栈和本地方法栈
总结:线程是进程划分成的更小的运行单位。线程和进程最大的不同在于基本上各进程是独立的,而各线程则不一定,因为同一进程中的线程极有可能会相互影响。线程执行开销小,但不利于资源的管理和保护;而进程正相反。

1.2.2 程序计数器为什么是私有的?

程序计数器主要有下面两个作用:

  1. 字节码解释器通过改变程序计数器来依次读取指令,从而实现代码的流程控制,如:顺序执行、选择、循环、异常处理;
  2. 在多线程的情况下,程序计数器用于记录当前线程执行的位置,从而当线程被切换回来的时候能够知道该线程上次运行到哪儿了。

需要注意的是,如果执行的是 native 方法,那么程序计数器记录的是 undefined 地址,只有执行的是 Java 代码时程序计数器记录的才是下一条指令的地址。
所以,程序计数器私有主要是为了线程切换后能恢复到正确的执行位置

1.2.3 虚拟机栈和本地方法栈为什么是私有的?

  • 虚拟机栈: 每个 Java 方法在执行的同时会创建一个栈帧用于存储局部变量表、操作数栈、常量池引用等信息。从方法调用直至执行完成的过程,就对应着一个栈帧在 Java 虚拟机栈中入栈和出栈的过程。
  • 本地方法栈: 和虚拟机栈所发挥的作用非常相似,区别是:虚拟机栈为虚拟机执行 Java 方法(也就是字节码)服务,而本地方法栈则为虚拟机使用到的 Native 方法服务。

所以,为了保证线程中的局部变量不被别的线程访问到,虚拟机栈和本地方法栈是线程私有的。

1.2.4 一句话简单了解堆和方法区

堆和方法区是所有线程共享的资源,其中堆是进程中最大的一块内存,主要用于存放新创建的对象 (几乎所有对象都在这里分配内存),方法区主要用于存放已被加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。

1.3 说说并发和并行的区别?

  • 并发: 同一时间段,多个任务都在执行 (单位时间内不一定同时执行);
  • 并行: 单位时间内,多个任务同时执行。

    1.4 为什么要使用多线程呢?

    先从总体上来说:

  • 从计算机底层来说: 线程可以比作是轻量级的进程,是程序执行的最小单位,线程间的切换和调度的成本远远小于进程。另外,多核 CPU 时代意味着多个线程可以同时运行,这减少了线程上下文切换的开销。

  • 从当代互联网发展趋势来说: 现在的系统动不动就要求百万级甚至千万级的并发量,而多线程并发编程正是开发高并发系统的基础,利用好多线程机制可以大大提高系统整体的并发能力以及性能。

再深入到计算机底层来探讨:

  • 单核时代: 在单核时代多线程主要是为了提高 CPU 和 IO 设备的综合利用率。举个例子:当只有一个线程的时候会导致 CPU 计算时,IO 设备空闲;进行 IO 操作时,CPU 空闲。我们可以简单地说这两者的利用率目前都是 50%左右。但是当有两个线程的时候就不一样了,当一个线程执行 CPU 计算时,另外一个线程可以进行 IO 操作,这样两个的利用率就可以在理想情况下达到 100%了。
  • 多核时代: 多核时代多线程主要是为了提高 CPU 利用率。举个例子:假如我们要计算一个复杂的任务,我们只用一个线程的话,CPU 只会一个 CPU 核心被利用到,而创建多个线程就可以让多个 CPU 核心被利用到,这样就提高了 CPU 的利用率。

    1.5 使用多线程可能带来什么问题?

    并发编程的目的就是为了能提高程序的执行效率提高程序运行速度,但是并发编程并不总是能提高程序运行速度的,而且并发编程可能会遇到很多问题,比如:内存泄漏、死锁、线程不安全等等。

    1.6 说说线程的声明周期和状态?

    Java 线程在运行的生命周期中的指定时刻只可能处于下面 6 种不同状态的其中一个状态(图源《Java 并发编程艺术》4.1.4 节)。
    Java并发知识点总结 - 图2
    线程在生命周期中并不是固定处于某一个状态而是随着代码的执行在不同状态之间切换。Java 线程状态变迁如下图所示(图源《Java 并发编程艺术》4.1.4 节):
    Java并发知识点总结 - 图3

    原图中 wait到 runnable状态的转换中,join实际上是Thread类的方法,但这里写成了Object。

由上图可以看出:线程创建之后它将处于 NEW(新建) 状态,调用 start() 方法后开始运行,线程这时候处于 READY(可运行) 状态。可运行状态的线程获得了 CPU 时间片(timeslice)后就处于 RUNNING(运行) 状态。

操作系统隐藏 Java 虚拟机(JVM)中的 READY 和 RUNNING 状态,它只能看到 RUNNABLE 状态,所以 Java 系统一般将这两个状态统称为 RUNNABLE(运行中) 状态 。

Java并发知识点总结 - 图4
当线程执行 wait() 方法之后,线程进入 WAITING(等待) 状态。进入等待状态的线程需要依靠其他线程的通知才能够返回到运行状态,而 TIME_WAITING(超时等待) 状态相当于在等待状态的基础上增加了超时限制,比如通过 sleep(long millis) 方法或 wait(long millis) 方法可以将 Java 线程置于 TIMED WAITING 状态。当超时时间到达后 Java 线程将会返回到 RUNNABLE 状态。当线程调用同步方法时,在没有获取到锁的情况下,线程将会进入到 BLOCKED(阻塞) 状态。线程在执行 Runnable run() 方法之后将会进入到 TERMINATED(终止) 状态。

1.7 什么是线程死锁?如何避免死锁?

1.7.1 死锁

线程死锁描述的是这样一种情况:多个线程同时被阻塞,它们中的一个或者全部都在等待某个资源被释放。由于线程被无限期地阻塞,因此程序不可能正常终止。
如下图所示,线程 A 持有资源 2,线程 B 持有资源 1,他们同时都想申请对方的资源,所以这两个线程就会互相等待而进入死锁状态。
Java并发知识点总结 - 图5
下面通过一个例子来说明线程死锁,代码模拟了上图的死锁的情况:

  1. public class DeadLockDemo {
  2. private static Object resource1 = new Object();//资源 1
  3. private static Object resource2 = new Object();//资源 2
  4. public static void main(String[] args) {
  5. new Thread(() -> {
  6. synchronized (resource1) {
  7. System.out.println(Thread.currentThread() + "get resource1");
  8. try {
  9. Thread.sleep(1000);
  10. } catch (InterruptedException e) {
  11. e.printStackTrace();
  12. }
  13. System.out.println(Thread.currentThread() + "waiting get resource2");
  14. synchronized (resource2) {
  15. System.out.println(Thread.currentThread() + "get resource2");
  16. }
  17. }
  18. }, "线程 1").start();
  19. new Thread(() -> {
  20. synchronized (resource2) {
  21. System.out.println(Thread.currentThread() + "get resource2");
  22. try {
  23. Thread.sleep(1000);
  24. } catch (InterruptedException e) {
  25. e.printStackTrace();
  26. }
  27. System.out.println(Thread.currentThread() + "waiting get resource1");
  28. synchronized (resource1) {
  29. System.out.println(Thread.currentThread() + "get resource1");
  30. }
  31. }
  32. }, "线程 2").start();
  33. }
  34. }

输出:

  1. Thread[线程 1,5,main]get resource1
  2. Thread[线程 2,5,main]get resource2
  3. Thread[线程 1,5,main]waiting get resource2
  4. Thread[线程 2,5,main]waiting get resource1

线程 A 通过 synchronized (resource1) 获得 resource1 的监视器锁,然后通过 Thread.sleep(1000); 让线程 A 休眠 1s 为的是让线程 B 得到执行然后获取到 resource2 的监视器锁。线程 A 和线程 B 休眠结束了都开始企图请求获取对方的资源,然后这两个线程就会陷入互相等待的状态,这也就产生了死锁。上面的例子符合产生死锁的四个必要条件。
死锁必须具备以下四个条件:

  1. 互斥条件:该资源任意一个时刻只由一个线程占用;
  2. 请求与保持条件:一个进程因请求资源而阻塞时,对已获得的资源保持不放;
  3. 不剥夺条件:线程已获得的资源在未使用完之前不能被其他线程强行剥夺,只有自己使用完毕后才释放资源;
  4. 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。

    1.7.2 预防和避免线程死锁

    如何预防死锁?破坏死锁的产生的必要条件即可。

  5. 破坏请求与保持条件:一次性申请所有的资源。

  6. 破坏不剥夺条件:占用部分资源的线程进一步申请其他资源时,如果申请不到,可以主动释放它占有的资源。
  7. 破坏循环等待条件:靠按序申请资源来预防。按某一顺序申请资源,释放资源则反序释放。破坏循环等待条件。

如何避免死锁?避免死锁就是在资源分配时,借助于算法(比如银行家算法)对资源分配进行计算评估,使其进入安全状态。
安全状态指的是系统能够按照某种进行推进顺序(P1、P2、P3…..Pn)来为每个进程分配所需资源,直到满足每个进程对资源的最大需求,使每个进程都可顺利完成。称序列为安全序列。
我们对线程 2 的代码修改成下面这样就不会产生死锁了。

  1. new Thread(() -> {
  2. synchronized (resource1) {
  3. System.out.println(Thread.currentThread() + "get resource1");
  4. try {
  5. Thread.sleep(1000);
  6. } catch (InterruptedException e) {
  7. e.printStackTrace();
  8. }
  9. System.out.println(Thread.currentThread() + "waiting get resource2");
  10. synchronized (resource2) {
  11. System.out.println(Thread.currentThread() + "get resource2");
  12. }
  13. }
  14. }, "线程 2").start();

输出:

  1. Thread[线程 1,5,main]get resource1
  2. Thread[线程 1,5,main]waiting get resource2
  3. Thread[线程 1,5,main]get resource2
  4. Thread[线程 2,5,main]get resource1
  5. Thread[线程 2,5,main]waiting get resource2
  6. Thread[线程 2,5,main]get resource2
  7. Process finished with exit code 0

我们分析一下上面的代码为什么避免了死锁的发生?
线程 1 首先获得到 resource1 的监视器锁,这时候线程 2 就获取不到了。然后线程 1 再去获取 resource2 的监视器锁,可以获取到。然后线程 1 释放了对 resource1、resource2 的监视器锁的占用,线程 2 获取到就可以执行了。这样就破坏了破坏循环等待条件,因此避免了死锁。

1.8 说说sleep()方法和wait()方法区别和共同点?

  • 两者都可以暂停线程的执行。
  • **sleep()** 方法没有释放锁,而 **wait()** 方法释放了锁
  • wait() 通常被用于线程间交互/通信,sleep() 通常被用于暂停执行。
  • wait() 方法被调用后,线程不会自动苏醒,需要别的线程调用同一个对象上的 notify() 或者 notifyAll() 方法。sleep() 方法执行完成后,线程会自动苏醒。或者可以使用 wait(long timeout) 超时后线程会自动苏醒。

    1.9 为什么我们调用start()方法时会执行run()方法,不直接调用run()方法?

    new 一个 Thread,线程进入了新建状态。调用 start() 方法,会启动一个线程并使线程进入了就绪状态,当分配到时间片后就可以开始运行了。 start() 会执行线程的相应准备工作,然后自动执行 run() 方法的内容,这是真正的多线程工作。 但是,直接执行 run() 方法,会把 run() 方法当成一个 main 线程下的普通方法去执行,并不会在某个线程中执行它,所以这并不是多线程工作。
    总结: 调用 **start()** 方法方可启动线程并使线程进入就绪状态,直接执行 **run()** 方法的话不会以多线程的方式执行。

    第二部分:synchronized关键字

    Java并发知识点总结 - 图6

    2.1 说一说自己对于synchronized关键字的了解

    synchronized 关键字解决的是多个线程之间访问资源的同步性,synchronized 关键字可以保证被它修饰的方法或者代码块在任意时刻只能有一个线程执行。
    另外,在 Java 早期版本中,synchronized 属于 重量级锁,效率低下。因为监视器锁(monitor)是依赖于底层的操作系统的 Mutex Lock 来实现的,Java 的线程是映射到操作系统的原生线程之上的。如果要挂起或者唤醒一个线程,都需要操作系统帮忙完成,而操作系统实现线程之间的切换时需要从用户态转换到内核态,这个状态之间的转换需要相对比较长的时间,时间成本相对较高。
    在 Java 6 之后 Java 官方对从 JVM 层面对 synchronized 引入了大量的优化,如自旋锁、适应性自旋锁、锁消除、锁粗化、偏向锁、轻量级锁等技术来减少锁操作的开销。所以目前不论是各种开源框架还是 JDK 源码都大量使用了 synchronized 关键字。

    2.2 说说自己是怎么使用synchronized关键字?

    synchronized 关键字最主要的三种使用方式:
  1. 修饰实例方法:作用于当前对象实例加锁,进入同步代码前要获得 当前对象实例的锁

    1. synchronized void method() {
    2. //业务代码
    3. }
  2. 修饰静态方法:也就是给当前类加锁,会作用于类的所有对象实例 ,进入同步代码前要获得 当前 class 的锁。因为静态成员不属于任何一个实例对象,是类成员 (static 表明这是该类的一个静态资源,不管 new 了多少个对象,只有一份)。所以,如果一个线程 A 调用一个实例对象的非静态 synchronized 方法,而线程 B 需要调用这个实例对象所属类的静态 synchronized 方法,是允许的,不会发生互斥现象,因为访问静态 synchronized 方法占用的锁是当前类的锁,而访问非静态 synchronized 方法占用的锁是当前实例对象锁

    1. synchronized static void method() {
    2. //业务代码
    3. }
  3. 修饰代码块:指定加锁对象,对给定对象/类加锁。synchronized(this) 表示进入同步代码库前要获得给定对象的锁synchronized(类.class) 表示进入同步代码前要获得当前 class 的锁。

    1. synchronized(this) {
    2. //业务代码
    3. }

    总结:

  • synchronized 关键字加到 static 静态方法和 synchronized(class) 代码块上都是是给 Class 类上锁;
  • synchronized 关键字加到实例方法上是给对象实例上锁;
  • 尽量不要使用 synchronized(String a) 因为 JVM 中,字符串常量池具有缓存功能。

    synchronized 应用实例:双重校验锁实现对象单例(线程安全)

    1. public class Singleton {
    2. private volatile static Singleton instance;
    3. private Singleton() {
    4. }
    5. public static Singleton getUniqueInstance() {
    6. //先判断对象是否已经实例过,没有实例化过才进入加锁代码
    7. if (instance == null) {
    8. //类对象加锁
    9. synchronized (Singleton.class) {
    10. if (instance == null) {
    11. instance = new Singleton();
    12. }
    13. }
    14. }
    15. return instance;
    16. }
    17. }

    instance 采用 volatile 关键字修饰也是很有必要的,uniqueInstance = new Singleton(); 这段代码其实是分为几步执行:

  1. instance 分配内存空间
  2. 初始化 instance
  3. instance 指向分配的内存地址

但是由于 JVM 具有指令重排的特性,执行顺序有可能变成 1->3->2。指令重排在单线程环境下不会出现问题,但是在多线程环境下会导致一个线程获得还没有初始化的实例。例如,线程 T1 执行了 1 和 3,此时 T2 调用 getUniqueInstance() 后发现 instance 不为空,因此返回 instance,但此时 instance 还未被初始化。
使用 volatile 可以禁止 JVM 的指令重排,保证在多线程环境下也能正常运行。

2.3 synchronized关键字的底层原理

2.3.1 synchronized同步语句块的情况

  1. public class SynchronizedDemo {
  2. public void method() {
  3. synchronized (this) {
  4. System.out.println("synchronized 代码块");
  5. }
  6. }
  7. }

通过 JDK 自带的 javap 命令查看 SynchronizedDemo 类的相关字节码信息:首先切换到类的对应目录执行 javac SynchronizedDemo.java 命令生成编译后的 .class 文件,然后执行 javap -c -s -v -l SynchronizedDemo.class
Java并发知识点总结 - 图7
从上面我们可以看出:
synchronized 同步语句块的实现使用的是 monitorenter 和 monitorexit 指令,其中 monitorenter 指令指向同步代码块的开始位置,monitorexit 指令则指明同步代码块的结束位置。
当执行 monitorenter 指令时,线程试图获取锁也就是获取 对象监视器 monitor 的持有权。

在 Java 虚拟机(HotSpot)中,Monitor 是基于 C++实现的,由ObjectMonitor实现的。每个对象中都内置了一个 ObjectMonitor对象。 另外,wait/notify等方法也依赖于monitor对象,这就是为什么只有在同步的块或者方法中才能调用wait/notify等方法,否则会抛出java.lang.IllegalMonitorStateException的异常的原因。

在执行monitorenter时,会尝试获取对象的锁,如果锁的计数器为 0 则表示锁可以被获取,获取后将锁计数器设为 1 也就是加 1。
在执行 monitorexit 指令后,将锁计数器设为 0,表明锁被释放。如果获取对象锁失败,那当前线程就要阻塞等待,直到锁被另外一个线程释放为止。

2.3.2 synchronized修饰方法的情况

  1. public class SynchronizedDemo2 {
  2. public synchronized void method() {
  3. System.out.println("synchronized 方法");
  4. }
  5. }

Java并发知识点总结 - 图8
synchronized 修饰的方法并没有 monitorenter 指令和 monitorexit 指令,取得代之的确实是ACC_SYNCHRONIZED 标识,该标识指明了该方法是一个同步方法。JVM 通过该 ACC_SYNCHRONIZED 访问标志来辨别一个方法是否声明为同步方法,从而执行相应的同步调用。

2.3.3 总结

synchronized 同步语句块的实现使用的是 monitorenter 和 monitorexit 指令,其中 monitorenter 指令指向同步代码块的开始位置,monitorexit 指令则指明同步代码块的结束位置。
synchronized 修饰的方法并没有 monitorenter 指令和 monitorexit 指令,取得代之的确实是 ACC_SYNCHRONIZED 标识,该标识指明了该方法是一个同步方法。
不过两者的本质都是对对象监视器 monitor 的获取。

2.4 说说JDK1.6之后的synchronized关键字底层做了哪些优化,详细介绍一下

JDK1.6 对锁的实现引入了大量的优化,如偏向锁、轻量级锁、自旋锁、适应性自旋锁、锁消除、锁粗化等技术来减少锁操作的开销。
锁主要存在四种状态,依次是:无锁状态、偏向锁状态、轻量级锁状态、重量级锁状态,他们会随着竞争的激烈而逐渐升级。注意锁可以升级不可降级,这种策略是为了提高获得锁和释放锁的效率。
关于这几种优化的详细信息可以查看下面这篇文章:Java6 及以上版本对 synchronized 的优化

2.5 谈谈synchronized和ReentrantLock的区别

2.5.1 两者都是可重入锁

“可重入锁” 指的是自己可以再次获取自己的内部锁。比如一个线程获得了某个对象的锁,此时这个对象锁还没有释放,当其再次想要获取这个对象的锁的时候还是可以获取的,如果锁不可重入的话,就会造成死锁。
同一个线程每次获取锁,锁的计数器都自增 1,线程释放锁的时候计数器减1,所以要等到锁的计数器下降为 0 时才能释放锁。

2.5.2 synchronized依赖于JVM而ReentrantLock依赖于API

  • synchronized 是依赖于 JVM 实现的,虚拟机团队在 JDK1.6 为 synchronized 关键字进行了很多优化,但是这些优化都是在虚拟机层面实现的,并没有直接暴露给我们。
  • ReentrantLock 是 JDK 层面实现的(也就是 API 层面,需要 lock() 和 unlock() 方法配合 try/finally 语句块来完成),所以我们可以通过查看它的源代码,来看它是如何实现的。

    2.5.3 ReentrantLock比synchronized增加了一些高级功能

    相比 synchronized,ReentrantLock 增加了一些高级功能。主要来说主要有三点:

  • 等待可中断:ReentrantLock 提供了一种能够中断等待锁的线程的机制,通过 lock.lockInterruptibly() 来实现这个机制。也就是说正在等待的线程可以选择放弃等待,改为处理其他事情。

  • 可实现公平锁:ReentrantLock 可以指定是公平锁还是非公平锁。而 synchronized 只能是非公平锁。所谓的公平锁就是先等待的线程先获得锁。ReentrantLock 默认情况是非公平的,可以通过 ReentrantLock 类的ReentrantLock(boolean fair)构造方法来制定是否是公平的。
  • 可实现选择性通知(锁可以绑定多个条件):synchronized 关键字与wait()notify()/notifyAll()方法相结合可以实现等待/通知机制。ReentrantLock 类当然也可以实现,但是需要借助于 Condition 接口与newCondition()方法。

    Condition 是 JDK1.5 之后才有的,它具有很好的灵活性,比如可以实现多路通知功能也就是在一个 Lock 对象中可以创建多个 Condition 实例(即对象监视器),线程对象可以注册在指定的 Condition 中,从而可以有选择性的进行线程通知,在调度线程上更加灵活。 在使用**notify()**/**notifyAll()**方法进行通知时,被通知的线程是由 JVM 选择的,用 ReentrantLock 类结合 Condition 实例可以实现“选择性通知” ,这个功能非常重要,而且是 Condition 接口默认提供的。而 synchronized 关键字就相当于整个 Lock 对象中只有一个 Condition 实例,所有的线程都注册在它一个身上。如果执行**notifyAll()**方法的话就会通知所有处于等待状态的线程这样会造成很大的效率问题,而 Condition 实例的**signalAll()**方法 只会唤醒注册在该 Condition 实例中的所有等待线程。

如果你想使用上述功能,那么选择 ReentrantLock 是一个不错的选择。

第三部分:volatile关键字

3.1 CPU缓存模型

为什么要弄一个CPU高速缓存呢?
类比我们开发网站后台系统使用的缓存(比如 Redis)是为了解决程序处理速度和访问常规关系型数据库速度不对等的问题。 CPU 缓存则是为了解决 CPU 处理速度和内存处理速度不对等的问题。
我们甚至可以把 内存可以看作外存的高速缓存,程序运行的时候我们把外存的数据复制到内存,由于内存的处理速度远远高于外存,这样提高了处理速度。
总结:CPU Cache 缓存的是内存数据用于解决 CPU 处理速度和内存不匹配的问题,内存缓存的是硬盘数据用于解决硬盘访问速度过慢的问题。

Java并发知识点总结 - 图9
CPU Cache 的工作方式:
先复制一份数据到 CPU Cache 中,当 CPU 需要用到的时候就可以直接从 CPU Cache 中读取数据,当运算完成后,再将运算得到的数据写回 Main Memory 中。但是,这样存在内存缓存不一致性的问题。比如执行一个 i++操作的话,如果两个线程同时执行的话,假设两个线程从 CPU Cache 中读取的 i=1,两个线程做了 1++运算完之后再写回 Main Memory 之后 i=2,而正确结果应该是 i=3。
CPU 为了解决内存缓存不一致性问题可以通过制定缓存一致协议或者其他手段来解决。

2.2 JMM(Java内存模型)

在 JDK1.2 之前,Java 的内存模型实现总是从主存(即共享内存)读取变量,是不需要进行特别的注意的。而在当前的 Java 内存模型下,线程可以把变量保存本地内存(比如机器的寄存器)中,而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个变量的值,而另外一个线程还继续使用它在寄存器中的变量值的拷贝,造成数据的不一致
Java并发知识点总结 - 图10
要解决这个问题,就需要把变量声明为 volatile,这就指示 JVM,这个变量是共享且不稳定的,每次使用它都到主存中进行读取。
所以,volatile 关键字 除了防止 JVM 的指令重排 ,还有一个重要的作用就是保证变量的 可见性
Java并发知识点总结 - 图11

2.3 并发编程的三个重要特性

  1. 原子性 : 一个的操作或者多次操作,要么所有的操作全部都得到执行并且不会收到任何因素的干扰而中断,要么所有的操作都执行,要么都不执行。synchronized 可以保证代码片段的原子性。
  2. 可见性 :当一个变量对共享变量进行了修改,那么另外的线程都是立即可以看到修改后的最新值。volatile 关键字可以保证共享变量的可见性。
  3. 有序性 :代码在执行的过程中的先后顺序,Java 在编译器以及运行期间的优化,代码的执行顺序未必就是编写代码时候的顺序。volatile 关键字可以禁止指令进行重排序优化。

    2.4 说说synchronized关键字和volatile关键字的区别

    synchronized 关键字和 volatile 关键字是两个互补的存在。
  • volatile 关键字是线程同步的轻量级实现,所以 volatile 性能肯定比 synchronized 关键字要好 。但是volatile 关键字只能用于变量而 synchronized 关键字可以修饰方法以及代码块
  • volatile 关键字能保证数据的可见性,但不能保证数据的原子性。synchronized 关键字两者都能保证
  • volatile 关键字主要用于解决变量在多个线程之间的可见性,而 synchronized 关键字解决的是多个线程之间访问资源的同步性。

    第三部分:ThreadLocal

    3.1 ThreadLocal简介

    通常情况下,我们创建的变量是可以被任何一个线程访问并修改的。如果想实现每一个线程都有自己的专属本地变量该如何解决呢? JDK 中提供的 ThreadLocal 类正是为了解决这样的问题。 ThreadLocal 类主要解决的就是让每个线程绑定自己的值,可以将 ThreadLocal 类形象的比喻成存放数据的盒子,盒子中可以存储每个线程的私有数据。
    如果你创建了一个ThreadLocal 变量,那么访问这个变量的每个线程都会有这个变量的本地副本,这也是 ThreadLocal 变量名的由来。他们可以使用 **get()****set()** 方法来获取默认值或将其值更改为当前线程所存的副本的值,从而避免了线程安全问题。

    3.2 ThreadLocal示例

    ```java import java.text.SimpleDateFormat; import java.util.Random;

public class ThreadLocalExample implements Runnable{

  1. // SimpleDateFormat 不是线程安全的,所以每个线程都要有自己独立的副本
  2. private static final ThreadLocal<SimpleDateFormat> formatter = ThreadLocal.withInitial(() -> new SimpleDateFormat("yyyyMMdd HHmm"));
  3. public static void main(String[] args) throws InterruptedException {
  4. ThreadLocalExample obj = new ThreadLocalExample();
  5. for(int i=0 ; i<10; i++){
  6. Thread t = new Thread(obj, ""+i);
  7. Thread.sleep(new Random().nextInt(1000));
  8. t.start();
  9. }
  10. }
  11. @Override
  12. public void run() {
  13. System.out.println("Thread Name= "+Thread.currentThread().getName()+" default Formatter = "+formatter.get().toPattern());
  14. try {
  15. Thread.sleep(new Random().nextInt(1000));
  16. } catch (InterruptedException e) {
  17. e.printStackTrace();
  18. }
  19. //formatter pattern is changed here by thread, but it won't reflect to other threads
  20. formatter.set(new SimpleDateFormat());
  21. System.out.println("Thread Name= "+Thread.currentThread().getName()+" formatter = "+formatter.get().toPattern());
  22. }

}

  1. 从输出中可以看出,Thread-0 已经改变了 formatter 的值,但仍然是 thread-2 默认格式化程序与初始化值相同,其他线程也一样。<br />上面有一段代码用到了创建 ThreadLocal 变量的那段代码用到了 Java8 的知识,它等于下面这段代码,如果你写了下面这段代码的话,IDEA 会提示你转换为 Java8 的格式。因为 ThreadLocal 类在 Java 8 中扩展,使用一个新的方法`withInitial()`,将 Supplier 功能接口作为参数。
  2. ```java
  3. private static final ThreadLocal<SimpleDateFormat> formatter = new ThreadLocal<SimpleDateFormat>(){
  4. @Override
  5. protected SimpleDateFormat initialValue(){
  6. return new SimpleDateFormat("yyyyMMdd HHmm");
  7. }
  8. };

3.3 ThreadLocal原理

从 Thread 类源码入手:

  1. public class Thread implements Runnable {
  2. //......
  3. //与此线程有关的ThreadLocal值。由ThreadLocal类维护
  4. ThreadLocal.ThreadLocalMap threadLocals = null;
  5. //与此线程有关的InheritableThreadLocal值。由InheritableThreadLocal类维护
  6. ThreadLocal.ThreadLocalMap inheritableThreadLocals = null;
  7. //......
  8. }

从上面 Thread 类源代码可以看出 Thread 类中有一个 threadLocals 和一个 inheritableThreadLocals 变量,它们都是 ThreadLocalMap 类型的变量,我们可以把 ThreadLocalMap 理解为 ThreadLocal 类实现的定制化的 HashMap。
默认情况下这两个变量都是 null,只有当前线程调用 ThreadLocal 类的 setget方法时才创建它们,实际上调用这两个方法的时候,我们调用的是 ThreadLocalMap 类对应的 get()set()方法。
ThreadLocal 类的set()方法:

  1. public void set(T value) {
  2. Thread t = Thread.currentThread();
  3. ThreadLocalMap map = getMap(t);
  4. if (map != null)
  5. map.set(this, value);
  6. else
  7. createMap(t, value);
  8. }
  9. ThreadLocalMap getMap(Thread t) {
  10. return t.threadLocals;
  11. }

通过上面这些内容,我们可以得出结论:最终的变量是放在了当前线程的 ThreadLocalMap 中,并不是存在 ThreadLocal 上,ThreadLocal 可以理解为只是 ThreadLocalMap 的封装,传递了变量值。 ThrealLocal 类中可以通过 Thread.currentThread() 获取到当前线程对象后,直接通过getMap(Thread t)可以访问到该线程的ThreadLocalMap对象。
每个 Thread 中都具备一个 ThreadLocalMap,而 ThreadLocalMap 可以存储以 ThreadLocal 为 key ,Object 对象为 value 的键值对。

3.4 ThreadLocal内存泄露问题

ThreadLocalMap 中使用的 key 为 ThreadLocal 的弱引用,而 value 是强引用。所以,如果 ThreadLocal 没有被外部强引用的情况下,在垃圾回收的时候,key 会被清理掉,而 value 不会被清理掉。这样一来,ThreadLocalMap 中就会出现 key 为 null 的 Entry。假如我们不做任何措施的话,value 永远无法被 GC 回收,这个时候就可能会产生内存泄露。ThreadLocalMap 实现中已经考虑了这种情况,在调用 set()get()remove() 方法的时候,会清理掉 key 为 null 的记录。使用完 ThreadLocal 方法后最好手动调用 remove() 方法。

  1. static class Entry extends WeakReference<ThreadLocal<?>> {
  2. /** The value associated with this ThreadLocal. */
  3. Object value;
  4. Entry(ThreadLocal<?> k, Object v) {
  5. super(k);
  6. value = v;
  7. }
  8. }

弱引用介绍:

如果一个对象只具有弱引用,那就类似于可有可无的生活用品。弱引用与软引用的区别在于:只具有弱引用的对象拥有更短暂的生命周期。在垃圾回收器线程扫描它所管辖的内存区域的过程中,一旦发现了只具有弱引用的对象,不管当前内存空间足够与否,都会回收它的内存。不过,由于垃圾回收器是一个优先级很低的线程, 因此不一定会很快发现那些只具有弱引用的对象。 弱引用可以和一个引用队列(ReferenceQueue)联合使用,如果弱引用所引用的对象被垃圾回收,Java 虚拟机就会把这个弱引用加入到与之关联的引用队列中。

第四部分:线程池

4.1 为什么要用线程池?

线程池提供了一种限制和管理资源(包括执行一个任务)。每个线程池还维护一些基本统计信息,例如已完成任务的数量。
使用线程池的好处:

  • 降低资源消耗,通过重复利用已创建的线程降低线程创建和销毁造成的消耗;
  • 提高响应速度,当任务到达时,任务可以不需要等到线程创建就能立即执行;
  • 提高线程的可管理性,线程是稀缺资源,如果无限制的创建,不仅会消耗系统资源,还会降低系统的稳定性,使用线程池可以进行统一的分配,调优和监控。

    4.2 实现Runnable接口和Callable接口的区别

    Runnable 自 Java 1.0 以来一直存在,但 Callable 仅在 Java 1.5 中引入,目的就是为了来处理 Runnable 不支持的用例。Runnable 接口 不会返回结果或抛出检查异常,但是 Callable 接口 可以。所以,如果任务不需要返回结果或抛出异常推荐使用 Runnable 接口,这样代码看起来会更加简洁。
    工具类 Executors 可以实现将 Runnable 对象转换成 Callable 对象。(Executors.callable(Runnable task)Executors.callable(Runnable task, Object result))。
    Runnable类:
    1. @FunctionalInterface
    2. public interface Runnable {
    3. /**
    4. * 被线程执行,没有返回值也无法抛出异常
    5. */
    6. public abstract void run();
    7. }
    Callable类:
    1. @FunctionalInterface
    2. public interface Callable<V> {
    3. /**
    4. * 计算结果,或在无法这样做时抛出异常。
    5. * @return 计算得出的结果
    6. * @throws 如果无法计算结果,则抛出异常
    7. */
    8. V call() throws Exception;
    9. }

    4.3 执行execute()方法和submit()方法的区别是什么?

  1. **execute()**方法用于提交不需要返回值的任务,所以无法判断任务是否被线程池执行成功与否;
  2. **submit()**方法用于提交需要返回值的任务。线程池会返回一个 Future 类型的对象,通过这个 Future 对象可以判断任务是否执行成功,并且可以通过 Future 的 get()方法来获取返回值,get() 方法会阻塞当前线程直到任务完成,而使用 get(long timeout,TimeUnit unit)方法则会阻塞当前线程一段时间后立即返回,这时候有可能任务没有执行完。

以 AbstractExecutorService 接口中的一个 submit() 方法为例子来看看源代码:

  1. public Future<?> submit(Runnable task) {
  2. if (task == null) throw new NullPointerException();
  3. RunnableFuture<Void> ftask = newTaskFor(task, null);
  4. execute(ftask);
  5. return ftask;
  6. }

上面方法调用的 newTaskFor 方法返回了一个 FutureTask 对象。

  1. protected <T> RunnableFuture<T> newTaskFor(Runnable runnable, T value) {
  2. return new FutureTask<T>(runnable, value);
  3. }

execute()方法:

  1. public void execute(Runnable command) {
  2. ...
  3. }

第五部分:Atomic 原子类

5.1 介绍一下Atomic原子类

Atomic 翻译成中文是原子的意思。在化学上,我们知道原子是构成一般物质的最小单位,在化学反应中是不可分割的。在我们这里 Atomic 是指一个操作是不可中断的。即使是在多个线程一起执行的时候,一个操作一旦开始,就不会被其他线程干扰。所以,所谓原子类说简单点就是具有原子/原子操作特征的类。
并发包 java.util.concurrent 的原子类都存放在 java.util.concurrent.atomic 下,如下图所示。
Java并发知识点总结 - 图12

5.2 JUC包中的原子类是哪4类?

  1. 基本类型(使用原子的方式更新基本类型)
  • AtomicInteger:整形原子类
  • AtomicLong:长整型原子类
  • AtomicBoolean:布尔型原子类
  1. 数组类型(使用原子的方式更新数组里的某个元素)
  • AtomicIntegerArray:整形数组原子类
  • AtomicLongArray:长整形数组原子类
  • AtomicReferenceArray:引用类型数组原子类
  1. 引用类型
  • AtomicReference:引用类型原子类
  • AtomicStampedReference:原子更新带有版本号的引用类型。该类将整数值与引用关联起来,可用于解决原子的更新数据和数据的版本号,可以解决使用 CAS 进行原子更新时可能出现的 ABA 问题。
  • AtomicMarkableReference :原子更新带有标记位的引用类型
  1. 对象的属性修改类型
  • AtomicIntegerFieldUpdater:原子更新整形字段的更新器
  • AtomicLongFieldUpdater:原子更新长整形字段的更新器
  • AtomicReferenceFieldUpdater:原子更新引用类型字段的更新器

    5.3 讲讲AtomicInteger的使用

    AtomicInteger 类常用方法:

    1. public final int get() //获取当前的值
    2. public final int getAndSet(int newValue)//获取当前的值,并设置新的值
    3. public final int getAndIncrement()//获取当前的值,并自增
    4. public final int getAndDecrement() //获取当前的值,并自减
    5. public final int getAndAdd(int delta) //获取当前的值,并加上预期的值
    6. boolean compareAndSet(int expect, int update) //如果输入的数值等于预期值,则以原子方式将该值设置为输入值(update)
    7. public final void lazySet(int newValue)//最终设置为newValue,使用 lazySet 设置之后可能导致其他线程在之后的一小段时间内还是可以读到旧的值。

    AtomicInteger 类的使用示例:

    1. class AtomicIntegerTest {
    2. private AtomicInteger count = new AtomicInteger();
    3. //使用AtomicInteger之后,不需要对该方法加锁,也可以实现线程安全。
    4. public void increment() {
    5. count.incrementAndGet();
    6. }
    7. public int getCount() {
    8. return count.get();
    9. }
    10. }

    5.4 AtomicInteger类的原理

    AtomicInteger 类的部分源码: ```java // setup to use Unsafe.compareAndSwapInt for updates(更新操作时提供“比较并替换”的作用) private static final Unsafe unsafe = Unsafe.getUnsafe(); private static final long valueOffset;

static { try { valueOffset = unsafe.objectFieldOffset (AtomicInteger.class.getDeclaredField(“value”)); } catch (Exception ex) { throw new Error(ex); } }

private volatile int value;

  1. AtomicInteger 类主要利用 CAS (compare and swap) + volatile native 方法来保证原子操作,从而避免 synchronized 的高开销,执行效率大为提升。<br />CAS 的原理是拿期望的值和原本的一个值作比较,如果相同则更新成新的值。UnSafe 类的 `objectFieldOffset()` 方法是一个本地方法,这个方法是用来拿到“原来的值”的内存地址,返回值是 `valueOffset`。另外 `value` 是一个 volatile 变量,在内存中可见,因此 JVM 可以保证任何时刻任何线程总能拿到该变量的最新值。<br />以AtomicInteger类的`getAndAdd(int delta)`方法为例,来看如何实现原子操作:
  2. ```java
  3. public final int getAndAdd(int delta) {
  4. return U.getAndAddInt(this, VALUE, delta);
  5. }

这里的U其实是一个 unsafe 对象:

  1. private static final jdk.internal.misc.Unsafe U = jdk.internal.misc.Unsafe.getUnsafe();

所以其实 AtomicInteger 类的 getAndAdd( int delta ) 方法是调用 Unsafe 类的方法来实现的:

  1. @HotSpotIntrinsicCandidate
  2. public final int getAndAddInt(Object o, long offset, int delta) {
  3. int v;
  4. do {
  5. v = getIntVolatile(o, offset);
  6. } while (!weakCompareAndSetInt(o, offset, v, v + delta));
  7. return v;
  8. }

首先,对象o是this,也就是一个 AtomicInteger 对象。然后offset是一个常量VALUE。这个常量是在AtomicInteger类中声明的:

  1. private static final long VALUE = U.objectFieldOffset(AtomicInteger.class, "value");

同样是调用的Unsafe的方法。从方法名字上来看,是得到了一个对象字段偏移量。

用于获取某个字段相对Java对象的“起始地址”的偏移量。 一个java对象可以看成是一段内存,各个字段都得按照一定的顺序放在这段内存里,同时考虑到对齐要求,可能这些字段不是连续放置的, 用这个方法能准确地告诉你某个字段相对于对象的起始内存地址的字节偏移量,因为是相对偏移量,所以它其实跟某个具体对象又没什么太大关系,跟class的定义和虚拟机的内存模型的实现细节更相关。

CAS是“无锁”的基础,它允许更新失败。所以经常会与while循环搭配,在失败后不断去重试。
这里声明了一个v,也就是要返回的值。从getAndAddInt来看,它返回的应该是原来的值,而新的值的v + delta
这里使用的是 do-while 循环。这种循环不多见,它的目的是保证循环体内的语句至少会被执行一遍。这样才能保证 return 的值 v 是我们期望的值。
循环体的条件是一个 CAS 方法:

  1. public final boolean weakCompareAndSetInt(Object o, long offset,
  2. int expected,
  3. int x) {
  4. return compareAndSetInt(o, offset, expected, x);
  5. }
  6. public final native boolean compareAndSetInt(Object o, long offset,
  7. int expected,
  8. int x);
  1. 可以看到,最终其实是调用的我们之前说到了CAS native 方法。那为什么要经过一层`weakCompareAndSetInt`呢?从JDK源码上看不出来什么。在JDK 8及之前的版本,这两个方法是一样的。

而在JDK 9开始,这两个方法上面增加了@HotSpotIntrinsicCandidate注解。这个注解允许HotSpot VM自己来写汇编或IR编译器来实现该方法以提供性能。也就是说虽然外面看到的在JDK9中weakCompareAndSet和compareAndSet底层依旧是调用了一样的代码,但是不排除HotSpot VM会手动来实现weakCompareAndSet真正含义的功能的可能性。

简单来说,weakCompareAndSet操作仅保留了volatile自身变量的特性,而除去了happens-before规则带来的内存语义。也就是说,weakCompareAndSet无法保证处理操作目标的volatile变量外的其他变量的执行顺序( 编译器和处理器为了优化程序性能而对指令序列进行重新排序 ),同时也无法保证这些变量的可见性。这在一定程度上可以提高性能。
再回到循环条件上来,可以看到它是在不断尝试去用CAS更新。如果更新失败,就继续重试。那为什么要把获取“旧值”v的操作放到循环体内呢?其实这也很好理解。前面我们说了,CAS如果旧值v不等于预期值E,它就会更新失败。说明旧的值发生了变化。那我们当然需要返回的是被其他线程改变之后的旧值了,因此放在了do循环体内。

第六部分:AQS

6.1 AQS介绍

AQS 的全称为(AbstractQueuedSynchronizer),这个类在java.util.concurrent.locks包下面。
Java并发知识点总结 - 图13
AQS 是一个用来构建锁和同步器的框架,使用 AQS 能简单且高效地构造出应用广泛的大量的同步器,比如我们提到的 ReentrantLock,Semaphore,其他的诸如 ReentrantReadWriteLock,SynchronousQueue,FutureTask 等等皆是基于 AQS 的。当然,我们自己也能利用 AQS 非常轻松容易地构造出符合我们自己需求的同步器。

6.2 AQS原理分析

6.2.1 AQS原理概览

AQS 核心思想是,如果被请求的共享资源空闲,则将当前请求资源的线程设置为有效的工作线程,并且将共享资源设置为锁定状态。如果被请求的共享资源被占用,那么就需要一套线程阻塞等待以及被唤醒时锁分配的机制,这个机制 AQS 是用 CLH 队列锁实现的,即将暂时获取不到锁的线程加入到队列中。

CLH(Craig,Landin,and Hagersten)队列是一个虚拟的双向队列(虚拟的双向队列即不存在队列实例,仅存在结点之间的关联关系)。AQS 是将每条请求共享资源的线程封装成一个 CLH 锁队列的一个结点(Node)来实现锁的分配。

AQS(AbstractQueuedSynchronizer)原理图:
Java并发知识点总结 - 图14
AQS 使用一个 int 成员变量来表示同步状态,通过内置的 FIFO 队列来完成获取资源线程的排队工作。AQS 使用 CAS 对该同步状态进行原子操作实现对其值的修改。

  1. private volatile int state;//共享变量,使用volatile修饰保证线程可见性

状态信息通过 protected 类型的 getState,setState,compareAndSetState 进行操作:

  1. //返回同步状态的当前值
  2. protected final int getState() {
  3. return state;
  4. }
  5. //设置同步状态的值
  6. protected final void setState(int newState) {
  7. state = newState;
  8. }
  9. //原子地(CAS操作)将同步状态值设置为给定值update如果当前同步状态的值等于expect(期望值)
  10. protected final boolean compareAndSetState(int expect, int update) {
  11. return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
  12. }

6.2.2 AQS对资源的共享方式

AQS 定义两种资源共享方式

  • Exclusive(独占):只有一个线程能执行,如 ReentrantLock。又可分为公平锁和非公平锁。
    • 公平锁:按照线程在队列中的排队顺序,先到者先拿到锁
    • 非公平锁:当线程要获取锁时,无视队列顺序直接去抢锁,谁抢到就是谁的
  • Share(共享):多个线程可同时执行,如 CountDownLatch、Semaphore、 CyclicBarrier、ReadWriteLock

ReentrantReadWriteLock 可以看成是组合式,因为 ReentrantReadWriteLock 也就是读写锁允许多个线程同时对某一资源进行读。
不同的自定义同步器争用共享资源的方式也不同。自定义同步器在实现时只需要实现共享资源 state 的获取与释放方式即可,至于具体线程等待队列的维护(如获取资源失败入队/唤醒出队等),AQS 已经在顶层实现好了。

6.2.3 AQS底层使用了模板方式模式

同步器的设计是基于模板方法模式的,如果需要自定义同步器一般的方式是这样(模板方法模式很经典的一个应用):

  1. 使用者继承 AbstractQueuedSynchronizer 并重写指定的方法。(这些重写方法很简单,无非是对于共享资源 state 的获取和释放)
  2. 将 AQS 组合在自定义同步组件的实现中,并调用其模板方法,而这些模板方法会调用使用者重写的方法。

这和我们以往通过实现接口的方式有很大区别,这是模板方法模式很经典的一个运用。
AQS 使用了模板方法模式,自定义同步器时需要重写下面几个 AQS 提供的模板方法:

  1. isHeldExclusively()//该线程是否正在独占资源。只有用到condition才需要去实现它。
  2. tryAcquire(int)//独占方式。尝试获取资源,成功则返回true,失败则返回false。
  3. tryRelease(int)//独占方式。尝试释放资源,成功则返回true,失败则返回false。
  4. tryAcquireShared(int)//共享方式。尝试获取资源。负数表示失败;0表示成功,但没有剩余可用资源;正数表示成功,且有剩余资源。
  5. tryReleaseShared(int)//共享方式。尝试释放资源,成功则返回true,失败则返回false。

6.3 AQS组件总结

  • Semaphore(信号量)-允许多个线程同时访问: synchronized 和 ReentrantLock 都是一次只允许一个线程访问某个资源,Semaphore(信号量)可以指定多个线程同时访问某个资源。
  • CountDownLatch (倒计时器): CountDownLatch 是一个同步工具类,用来协调多个线程之间的同步。这个工具通常用来控制线程等待,它可以让某一个线程等待直到倒计时结束,再开始执行。
  • CyclicBarrier(循环栅栏): CyclicBarrier 和 CountDownLatch 非常类似,它也可以实现线程间的技术等待,但是它的功能比 CountDownLatch 更加复杂和强大。主要应用场景和 CountDownLatch 类似。CyclicBarrier 的字面意思是可循环使用(Cyclic)的屏障(Barrier)。它要做的事情是,让一组线程到达一个屏障(也可以叫同步点)时被阻塞,直到最后一个线程到达屏障时,屏障才会开门,所有被屏障拦截的线程才会继续干活。CyclicBarrier 默认的构造方法是 CyclicBarrier(int parties),其参数表示屏障拦截的线程数量,每个线程调用 await() 方法告诉 CyclicBarrier 我已经到达了屏障,然后当前线程被阻塞。

    6.4 用过CountDownLatch吗?什么场景下用的?

    CountDownLatch 的作用就是 允许 count 个线程阻塞在一个地方,直至所有线程的任务都执行完毕。之前在项目中,有一个使用多线程读取多个文件处理的场景,我用到了 CountDownLatch 。具体场景是下面这样的:
    我们要读取处理 6 个文件,这 6 个任务都是没有执行顺序依赖的任务,但是我们需要返回给用户的时候将这几个文件的处理的结果进行统计整理。
    为此我们定义了一个线程池和 count 为 6 的CountDownLatch对象 。使用线程池处理读取任务,每一个线程处理完之后就将 count-1,调用CountDownLatch对象的 await()方法,直到所有文件读取完之后,才会接着执行后面的逻辑。
    伪代码是下面这样的:

    1. public class CountDownLatchExample1 {
    2. // 处理文件的数量
    3. private static final int threadCount = 6;
    4. public static void main(String[] args) throws InterruptedException {
    5. // 创建一个具有固定线程数量的线程池对象(推荐使用构造方法创建)
    6. ExecutorService threadPool = Executors.newFixedThreadPool(10);
    7. final CountDownLatch countDownLatch = new CountDownLatch(threadCount);
    8. for (int i = 0; i < threadCount; i++) {
    9. final int threadnum = i;
    10. threadPool.execute(() -> {
    11. try {
    12. //处理文件的业务操作
    13. //......
    14. } catch (InterruptedException e) {
    15. e.printStackTrace();
    16. } finally {
    17. //表示一个文件已经被完成
    18. countDownLatch.countDown();
    19. }
    20. });
    21. }
    22. countDownLatch.await();
    23. threadPool.shutdown();
    24. System.out.println("finish");
    25. }
    26. }

    有没有可以改进的地方呢?
    可以使用 CompletableFuture 类来改进!Java8 的 CompletableFuture 提供了很多对多线程友好的方法,使用它可以很方便地为我们编写多线程程序,什么异步、串行、并行或者等待所有线程执行完任务什么的都非常方便。 ```java CompletableFuture task1 = CompletableFuture.supplyAsync(()->{

    1. //自定义业务操作

    }); …… CompletableFuture task6 = CompletableFuture.supplyAsync(()->{ //自定义业务操作 }); …… CompletableFuture headerFuture=CompletableFuture.allOf(task1,…..,task6);

try { headerFuture.join(); } catch (Exception ex) { //…… } System.out.println(“all done. “);

  1. 上面的代码还可以接续优化,当任务过多的时候,把每一个 task 都列出来不太现实,可以考虑通过循环来添加任务。
  2. ```java
  3. //文件夹位置
  4. List<String> filePaths = Arrays.asList(...)
  5. // 异步处理所有文件
  6. List<CompletableFuture<String>> fileFutures = filePaths.stream()
  7. .map(filePath -> doSomeThing(filePath))
  8. .collect(Collectors.toList());
  9. // 将他们合并起来
  10. CompletableFuture<Void> allFutures = CompletableFuture.allOf(
  11. fileFutures.toArray(new CompletableFuture[fileFutures.size()])
  12. );