如何保证线程安全?
确保线程安全性,安全地在线程中共享对象是并发编程的基础,同时,这些概念其实可以推广到分布式环境下的安全性的考量,为了方便起见,后续假设是多线程的前提,但这些只是都可以很容易推广到多进程/多节点的环境。
事实上,在已有大型程序上去分析并解决并发安全问题是非常困难的,幸运的是,面向对象编程思想除了提供结构优雅、可维护性高的类之外,更可能编写处线程安全的类(何为线程安全的类,后文会展开说明)。
本质上,线程安全问题是由于类或对象中的状态变量,没有在多线程中进行正确的同步,有三种方式可以解决:
- 不在线程之间共享状态变量。(当然了,没有竞争的状态,当然也就是线程安全的。)
- 将状态变量修改为不可变的变量。(不可变的变量,初始化后就不会再改变,当然也就没有多线程环境下的更新问题。)
- 在访问状态时使用同步。(可变的状态非得共享,那就使用同步来保护)
事实上本篇文章内容都会始终围绕着以上三点,或许看上去很简单或者理所当然,但展开其实会引出很多方法和概念,它们是构成并发编程的基石。
为什么会出现并发安全问题?
回答这个问题涉及到两个核心概念,重排序和可见性。进一步,我们还想知道,什么是线程安全性?
重排序和可见性
一个案例
现代CPU为了提高硬件资源利用率,几乎都会对指令进行重排序,不过在单线程环境中,我们并不需要担心这些——JVM已经给我们保证不管怎么优化,保证最终结果是一样的(具体而言参考JMM)。
但在多线程中,这个问题就不一样了。
public class NoVisibility {
private static boolean ready;
private static int number;
private static class ReaderThread extends Thread {
public void run() {
while (!ready)
Thread.yield();
System.out.println(number);
}
}
public static void main(String[] args) {
new ReaderThread().start(); // 1
number = 42; // 2
ready = true; // 3
}
}
该程序一般来说会正常输出42,但是依然无法避免它有可能出现的两种问题:
- 主线程的重排序结果正确性其他线程并不能感知。主线程的1,3先执行,那么ReaderThread线程会启动,而ready会变为