基础篇：JAVA的内存模型

介绍

了解JAVA多线程的数据安全之前，我们需要先了解JAVA的内存模型，每个线程有一块自己的工作内存区，另外一块主内存，他们的作用如下：

• 主内存：存放各个线程共享的数据
• 工作内存：存放着从主内存拷贝的变量
  为了正确的存取变量，它们的步骤如下：
  第一步：线程先清空自己的工作内存；
  第二步：锁定主内存，并读取数据；
  第三步：执行代码并且可能修改工作内存中的数据；
  第四步：将工作内存中的数据写入并解锁主内存

数据操作

线程的操作（6个）

通过上面的步骤，我们可以了解到线程可以有以下6种操作，这些操作都是原子操作分别是：

• 使用（use）：将线程工作内存拷贝给线程执行引擎
• 赋值（assign）：将线程执行引擎数据传输给线程工作内存
• 装载（load）：从主内存中读取数据到工作内存
• 存储（store）：将工作内存存入到主内存
• 锁定（lock）：线程获得主内存的独占锁
• 解锁（unlock）：线程释放主内存的独占锁

主内存的操作（4个）

读（read）、写（write）、锁定（lock）、解锁（unlock）

数据交互（非原子性）

主内存和工作内存之间的操作并不是原子操作
当从主内存中读取数据到工作内存时：

• 第一步：主内存执行读（read）操作
• 第二步：工作内存执行相应的装载（load）操作

当数据从工作内存拷贝到主内存时：

• 第一步：由工作内存执行的存储（store）操作
• 第二步：由主内存执行的相应的写（write）操作

所以，在32系统中，没有声明为volatile的double或者long变量，由于没有原子操作，很可能前面32位数据有a线程赋值，紧接着b线程就读取这个变量，最后导致读取出一个错误的变量，所以，在32位系统中，必须对double或者long进行同步操作

数据共享的几个常识

• 共享的数据有可能是A线程的、也有可能是B线程的，但不会是2个线程的应用值组合而成（除long、double外）
• 变量可以是基本类型、引用类型、数组类型
• 线程中的参数或者局部变量不会被共享，所以局部变量是线程安全的
• long、double是非原子操作，共享数据时候，必须声明volatile进行同步（64位系统下除外）
• volatile会保证变量修改后，及时写入主内存中，保证所有线程数据一直，并且保证其有序性（代码不会被编译器打乱）

什么时候if（isExit ！== isExit ）{ } 成立？

这是个有趣的事情，当初刚学java的时候，就遇到这样的代码，一脸懵逼……，接下来就看看是怎么发生的吧！

• 为isExit 设置volatile，就这样 volatile boolean isExit
• 然后在A线程中不断的跑上面的代码if（isExit ！== isExit ）{ ………………}
• 然后用B线程不断的跑这段代码isExit = ！isExit
• isExit值就会不断的别修改，而A线程每次读取isExit值都会去主线程中读这个值
• 那么，很可能的就会在 == 两边读取到不同的值……