理论基础
为什么需要多线程?
CPU、内存、I/O 设备的速度是有极大差异的,为了合理利用CPU的高性能,平衡三者的速度差异。
CPU 增加了缓存,以均衡与内存的速度差异;// 导致可见性问题
操作系统增加了进程、线程,以分时复用 CPU,进而均衡 CPU 与 I/O 设备的速度差异;// 导致原子性问题
编译程序优化指令执行次序,使得缓存能够得到更加合理地利用。// 导致有序性问题
并发出现问题的根源:并发三要素
可见性:CPU缓存引起
原子性:分时复用引起
有序性:重排序引起
线程安全
一个类在可以被多个线程安全调用时就是线程安全的。
线程安全不是一个非真即假的命题,可以将共享数据按照安全程度的强弱顺序分为五类:不可变,绝对线程安全,相对线程安全,线程兼容和线程对立。
-
不可变
不可变(Immutable)的对象一定是线程安全的,不需要再采用任何的线程安全保障措施。
不可变的类型:
final关键字修饰的基本数据类型
String
枚举类型
Number部分子类,如 Long 和 Double 等数值包装类型,BigInteger 和 BigDecimal 等大数据类型。 -
绝对线程安全
不管运行时环境如何,调用者都不需要任何额外的同步措施。
-
相对线程安全
相对线程安全需要保证对这个对象单独的操作是线程安全的,在调用的时候不需要做额外的保障措施。 但是对于一些特定顺序的连续调用,就可能需要在调用端使用额外的同步手段来保证调用的正确性。
在 Java 语言中,大部分的线程安全类都属于这种类型,例如 Vector、HashTable、Collections 的 synchronizedCollection() 方法包装的集合等。
-
线程兼容
线程兼容是指对象本身不是线程安全的,但是可以通过在调用端正确地使用同步手段来保证对象在并发环境中可以安全地使用。
Java API 中大部分的类都是属于线程兼容的,如与前面的 Vector 和 HashTable 相对应的集合类 ArrayList 和 HashMap 等。
-
线程对立
线程对立是指无论调用端是否采用了同步措施,都无法在多线程环境中并发使用的代码。
线程安全的实现方法
-
互斥同步
互斥同步最主要的问题就是线程阻塞和唤醒所带来的性能问题,因此这种同步也称为阻塞同步。
synchronized 和 ReentrantLock
-
非阻塞同步
CAS (Compare-and-Swap CAS)比较并交换
AtomicInteger 整数原子类
ABA
-
无同步方案
栈同步
多个线程访问同一个方法的局部变量时,不会出现线程安全问题,因为局部变量存储在虚拟机栈中,属于线程私有的。线程本地存储(Thread Local Storage)
如果一段代码中所需要的数据必须与其他代码共享,那就看看这些共享数据的代码是否能保证在同一个线程中执行。可重入代码(Reentrant Code)
这种代码也叫做纯代码(Pure Code),可以在代码执行的任何时刻中断它,转而去执行另外一段代码(包括递归调用它本身),而在控制权返回后,原来的程序不会出现任何错误。
线程基础
线程状态转换
新建(NEW)
创建后尚未启动
可运行(Runnable)
可能正在运行,也可能正在等待CPU时间片,包含了操作系统线程状态中的Running和Ready。
阻带(Blocking)
等待获取一个排他锁,如果其线程释放了锁就会结束此状体。
无限期等待(Waiting)
等待其他线程显式的唤醒,否则不会被分配CPU时间片。
限期等待(Timed Waiting)
无需等待其他线程显式的唤醒,在一定时间之后被系统自动唤醒。
调用 Thread.sleep() 方法使线程进入限期等待状态时,常常用“使一个线程睡眠”进行描述。
调用 Object.wait() 方法使线程进入限期等待或者无限期等待时,常常用“挂起一个线程”进行描述。
死亡(Terminated)
可以是线程结束任何之后自己结束,或者产生了异常而结束。
线程使用方式
-
实现Runnable接口
需要实现run()方法
通过Thread**调用start()**方法来启动线程
-
实现Callable接口
与Runnable相比,Callable 可以有返回值,返回值通过FutureTask进行封装
-
继承Thread类
需要实现run()方法
当调用start()方法启动一个线程时,虚拟机会将该线程放入就绪队列中等待调度,当一个线程被调度时会执行该线程的run()方法
基础线程机制
-
Executor
Executor管理多个异步任务的执行,而无需程序员显式的管理线程的生命周期。这里的异步是指多个任务的执行互不干扰,不需要进行同步操作。
主要有三种Executor
CachedThreadPool:一个任务创建一个线程
FixedThreadPool:所有任务只能使用固定大小的线程
SingleThreadExecutor:相当于大小为1的FixedThreadPool
-
Daemon (守护线程)
守护线程是程序运行时在后台提供服务的线程,不属于程序中不可或缺的部分
当所有非守护线程结束时,程序也就终止,同时杀死所有守护线程
main()属于非守护线程
-
sleep()
Thread.sleep(millisec) 方法会休眠当前正在执行的线程,millisec 单位为毫秒
-
yield()
对静态方法 Thread.yield() 的调用声明了当前线程已经完成了生命周期中最重要的部分,可以切换其他线程来执行
该方法只是对线程调度器的一个建议,而且也只是建议具有相同优先级的其它线程可以运行。
线程中断
一个线程执行完毕之后会自动结束,如果在运行过程中发生异常也会提前结束
-
InterruptedException
通过调用一个线程的interrupt()来中断线程,如果该线程处于阻塞、限期等待或无限期等待,那么就会抛出InterruptException,从而提前结束该线程。但是不能中断 I/O 阻塞和 synchronized 锁阻塞。
-
interrupted()
如果一个线程的run()方法执行一个无限循环,并且没有执行sleep()等会抛出InterruptedException的操作,那么调用线程的interrupt()方法就无法使用线程提前结束。
但是调用 interrupt() 方法会设置线程的中断标记,此时调用 interrupted() 方法会返回 true。因此可以在循环体中使用 interrupted() 方法来判断线程是否处于中断状态,从而提前结束线程。
-
Executor 的中断操作
调用Executor的shutdown()方法会等待线程都执行完毕之后再关闭,但是如果调用shutdowNow()方法,则相当于调用每个线程的interrupt()方法。
如果只想中断 Executor 中的一个线程,可以通过使用 submit() 方法来提交一个线程,它会返回一个 Future<?> 对象,通过调用该对象的 cancel(true) 方法就可以中断线程。
线程互斥同步
Java提供两种锁机制来控制多个线程对共享资源的互斥访问,第一个是JVM实现的synchronized,另一个是JDK实现的ReentrantLock。
-
synchronized
使用 synchronized 不用担心没有释放锁而导致死锁问题,因为 JVM 会确保锁的释放。
-
同步一个代码块
它只作用于同一个对象,如果调用两个对象上的同步代码块,就不会进行同步。
-
同步一个方法
作用于同一对象。
-
同步一个类
两个线程调用同一个类的不同对象上的这种同步语句,也会进行同步。
-
同步一个静态方法
作用于整个类。
-
-
ReentrantLock
ReentrantLock 是 java.util.concurrent(J.U.C)包中的锁。
线程之间的协作
当多个线程可以一起工作去解决某个问题时,如果某些部分必须在其他部分之前完成,那么就需要对线程进行协调。
-
join()
在线程中调用另一个线程的join()方法,会将当前线程挂起,而不是忙等待,知道目标线程结束。
-
wait() notify() notifyAll()
调用wait()使得线程等待某个条件满足,线程在等待时会被挂起,当其他线程的运行使得这个条件满足时,其他线程会调用notify()或者notifyAll()来唤醒挂起的线程。
只能用在同步方法或者同步控制块中使用,否则会在运行时抛出IllegalMonitorStateExeception。
使用 wait() 挂起期间,线程会释放锁。这是因为,如果没有释放锁,那么其它线程就无法进入对象的同步方法或者同步控制块中,那么就无法执行 notify() 或者 notifyAll() 来唤醒挂起的线程,造成死锁。
-
wait() 和 sleep() 的区别
wait()是Object的方法,而sleep()是Thread的静态方法
wait()会释放锁,sleep()不会
-
await() signal() signalAll()
java.util.concurrent 类库中提供了 Condition 类来实现线程之间的协调,可以在 Condition 上调用 await() 方法使线程等待,其它线程调用 signal() 或 signalAll() 方法唤醒等待的线程。相比于 wait() 这种等待方式,await() 可以指定等待的条件,因此更加灵活。