什么是线程安全性
很多时候,我们的代码,在单线程的环境下是可以运行的非常完美,然而,一旦把代码放到多线程的环境下去接受蹂躏,结果常常是惨不忍睹的。
《Java并发编程实践》中,给出了线程安全性的解释:
A class is thread-safe when it continues to behave correctly when accessed from multiple threads.
当一个类,不断被多个线程调用,仍能表现出正确的行为时,那它就是线程安全的。
这里的关键在于对“正确的行为”的理解,什么意思呢?多写几个线程不安全的代码你就明白了。
消失的请求数
假设我们需要给Servlet增加一个统计请求数的功能,于是我们使用了一个long变量作为计数器,并在每次请求时都给这个计数器加一(本文的所有代码,可到Github下载):
public class UnsafeCountingServlet extends GenericServlet implements Servlet {
private long count = 0;
public long getCount() {
return count;
}
public void service(ServletRequest servletRequest, ServletResponse servletResponse) throws ServletException, IOException {
++count;
// To something else...
}
}
在单线程的环境下,这份代码绝对正确,然而,当有多个线程同时访问时,问题就暴露了。
关键就在于++count,它看上去只是一个操作,实际上包含了三个动作:
- 读取count
- 将count加一
- 将count的值到内存中
这是一个“读取-修改-写入”的操作序列,因此假设现在count是9,然后:
- 线程A进入service方法,读到count值是9
- 在A修改完count的值但是还没写入内存之前,线程B也进入service方法,并且读取了count值,这时候线程B读取到的count还是9
- 最后,两个线程都对值为9的count,进行了加一的操作,两次请求下来,计数器只增加了一次。
显然,这个类,在多线程的环境下,没有表现出我们预期的行为,所以称它为线程不安全。
意外怀孕
这一次,我们需要写一个单例,单例很简单呀,不就是构造函数私有化么:
public class UnsafeSingleton {
private static UnsafeSingleton instance = null;
private UnsafeSingleton() {
}
public static UnsafeSingleton getInstance() {
if (instance == null)
instance = new UnsafeSingleton();
return instance;
}
}
如果只有一个线程调用我们的代码,那这个类,永远不会生出二胎。但是,放在多线程的环境下,它就可能会意外怀孕了:
- 线程A调用getInstance方法,这时候instance是null,进入if代码块
- 在线程A执行new UnsafeSingleton()之前,线程B先跨一步,执行if判断,这时候instance还是null,嗯,线程B也进去了
- 接下来,两个线程都会执行new UnsafeSingleton()...悲剧就这样发生了
预期中的计划生育失败,我们再一次写出了线程不安全的代码。
考题泄漏
如果说前面两种破坏方式都太过明显,很难在代码review中逃过法眼的话,接下来这种方式,就显得非常高级了。
public class ThisEscape {
private final List listOfEvents;
public ThisEscape(EventSource source) {
source.registerListener(new EventListener() {
public void onEvent(Event e) {
doSomething(e);
}
});
listOfEvents = new ArrayList();
}
void doSomething(Event e) {
listOfEvents.add(e);
}
interface EventSource {
void registerListener(EventListener e);
}
interface EventListener {
void onEvent(Event e);
}
interface Event {
}
}
这个类的构造函数接收了一个事件源,在构造函数中,会给事件源添加一个监听器。咋看之下,你也许不会发现这段代码有什么问题,其实这里面暗藏着NullPointerException:
- 线程A将事件源传入构造函数,并且执行了registerListener的代码
- 在线程A给listOfEvents初始化之前,线程B触发了事件源,由于线程A已经往事件源注册了监听器,因此会执行onEvent函数,也就是doSomething(e);
- 而此时listOfEvents还没被初始化,因此listOfEvents.add(e)报空指针异常
这一切的根源都在于,ThisEscape的构造函数,在ThisEscape还没实例化完成之前,就把this对象泄漏出去,使得外部可以调用实例对象的方法,这就像还没开考,就把考题给公布出去了,因此称之为,考题泄漏。
《Java并发编程实践》将这种误把对象发布出去的行为,称为对象逸出(Escape)。
半成品
对象逸出是指不想发布对象,却不小心发布了。还有一种是,想发布对象,却在对象还没制造好之前,就给了对方使用半成品的机会:
public class StuffIntoPublic {
public Holder holder;
public void initialize() {
holder = new Holder(42);
}
}
public class Holder {
private int n;
public Holder(int n) {
this.n = n;
}
public void assertSanity() {
if (n != n)
throw new AssertionError("This statement is false.");
}
}
很难想象,什么情况下n != n会成立,并抛出异常。大家可以先参考StackOverflow里的解释,主要是涉及到Java的指令重排,后面会给大家详细讲解。
小结
这篇文章给大家解释了什么是线程安全,并且举了四个线程不安全的例子来加深大家对线程安全的理解:消失的请求数、意外怀孕、考题泄漏、半成品。这四个例子,分别对应三种常见的线程不安全情形:
- 读取-修改-写入: 对应上面“消失的请求数”的例子
- 先检查后执行:对应上面“意外怀孕”的例子
- 发布未完整构造的对象:对应上面“考题泄漏”和“半成品”两个例子
绝大多数的线程不安全问题,都可以归结为这三种情形。而这三种情形,其实又可以再缩减为两种:对象创建时和对象创建后。不仅仅是在对象创建后的业务逻辑中要考虑线程的安全性,在对象创建的过程中,也要考虑线程安全。
后记
这篇文章里只是解释了为什么这些代码会有线程安全问题,并没有跟大家说如何对代码进行修改,使之成为“线程安全”,我会在后面的文章中和大家一起详细探讨。
有人可能会说,线程安全嘛,加同步锁不就可以啦,其实不然,光光同步锁,就有很多可以探究的了:
- 同步锁的原理是什么
- 锁的重入(Reentrancy)是什么
- 同步锁的本质?
- ...
更何况,解决并发问题,也绝对不是加锁这么简单,我们还需要了解:
- volatile关键字的含义
- 指令重排是什么
- 如何安全的发布对象
- 如何设计一个线程安全的类
- ...
再者,解决了线程安全,我们还需要考虑线程的生命周期管理、线程使用的性能问题等:
- 如何取消一个线程
- 如何关闭一个有很多线程的服务
- 如何设计线程池的大小
- ThreadPoolExecutor,Future等Java线程框架的使用
- 线程被中断了如何处理
- 线程池资源不够了,有什么处理策略
- 死锁的N种情形
- ...
乃至我们学习Java并发编程最最初始的问题:
- 我们为什么要学习并发编程
- 并发和异步的关系
这些,都是我新的一年里要和大家一起分享的,分享的内容主要基于《Java并发编程实践》里提到的知识,我买了中文版和英文版。这是一本很难啃的书,我会一如既往的用通俗易懂的语言来和大家分享我的学习心得。
参考
- 《Java并发编程实践》
- how-is-listing-3-7-working-in-java-concurrency-in-practice
- not-thread-safe-object-publishing