通俗易懂的Java线程不安全

前言

线程安全是很常见的问题，但是什么是线程安全呢？
以下是百度百科的答案：

线程安全是多线程编程时的计算机程序代码中的一个概念。在拥有共享数据的多条线程并行执行的程序中，线程安全的代码会通过同步机制保证各个线程都可以正常且正确的执行，不会出现数据污染等意外情况。

当然也有人会回答线程安全的三大特性：

1. 原子性
2. 可见性
3. 有序性

而线程安全也是Java的面试题中的常客，但是我却存在以下疑问：

1. 什么是线程不安全呢？
2. Java中的线程不安全是什么导致的呢？

线程不安全

分析线程不安全之前首先得介绍一下Java中线程是如何通讯的。

在Java中，线程之间是通过共享内存实现线程之间的通讯的。而这个也就是Java内存模型(JMM)。而实际上JMM是如下运作的：

从图中可以看出Java线程之间并不是直接共享了内存，而是把内存分为了各个线程共享的主内存以及每个线程独享的工作内存。这又是为什么呢？

这个是因为线程对内存中数据的运算是通过栈来进行的，而栈进行运算会出现大量的出栈和入栈操作影响线程之间通讯的效率，所以Java线程会将主内存(线程共享的数据)复制一份副本，也就是工作内存，然后再进行运算(这里也解释了为什么Java虚拟机栈要设计成线程独享)。

而线程不安全就是发生在工作内存和主内存之间的数据同步上。

而面试常客线程安全其实就是一些保障工作内存和主内存之间的数据同步不会出现异常情况的机制。