并发编程之JMM模型和八大原子 *** 作

JAVA多线程通信模型——共享内存模型

JMM内存模型（Java Memory Model）

java多线程内存模型，是基于cpu缓存模型来建立的，不同硬件的cpu，底层的汇编指令会有区别，因为java是跨平台的，jvm会屏蔽掉各种硬件和 *** 作系统的内存访问差异，以及屏蔽掉底层汇编指令的不同，用一个统一的标准规范，来约束多线程中各个变量在共享数据区域和私有数据区域的访问方式 ，以实现Java程序在各种平台下都能有统一的规则，这就是java多线程模型

数据同步八大原子 *** 作详细介绍

（1）lock(锁定)：作用于主内存，把一个变量标记锁定状态

（2）unlock(解锁)：作用于主内存 ，把一个处于锁定状态的变量释放出来

（3）read(读取)：作用于主内存 ，把一个变量从主内存传输到线程的工作内存中，以便随后的load动作使用

（4）load(载入)：作用于工作内存 ，它把read *** 作得到的变量值放入工作内存的副本中

（5）use(使用)：作用于工作内存 ，把工作内存中的一个变量值传递给执行引擎

（6）assign(赋值)：作用于工作内存 把 从执行引擎接收到的值，赋给工作内存的变量

（7）store(存储)：作用于工作内存 ，把工作内存中的一个变量的值传送到主内存中，以便随后的write的 *** 作

（8）write(写入)：作用于工作内存 ，把store *** 作中的变量值，传送到主内存的变量中

流程图

Java内存模型还规定了在执行上述八种基本 *** 作时，必须满足如下规则：

• 如果要把一个变量从主内存中复制到工作内存，就需要按顺寻地执行read和load *** 作， 如果把变量从工作内存中同步回主内存中，就要按顺序地执行store和write *** 作。但Java内存模型只要求上述 *** 作必须按顺序执行，而没有保证必须是连续执行。
• 不允许read和load、store和write *** 作之一单独出现
• 不允许一个线程丢弃它的最近assign的 *** 作，即变量在工作内存中改变了之后必须同步到主内存中。
• 不允许一个线程无原因地（没有发生过任何assign *** 作）把数据从工作内存同步回主内存中。
• 一个新的变量只能在主内存中诞生，不允许在工作内存中直接使用一个未被初始化（load或assign）的变量。即就是对一个变量实施use和store *** 作之前，必须先执行过了assign和load *** 作。
• 一个变量在同一时刻只允许一条线程对其进行lock *** 作，但lock *** 作可以被同一条线程重复执行多次，多次执行lock后，只有执行相同次数的unlock *** 作，变量才会被解锁。lock和unlock必须成对出现
• 如果对一个变量执行lock *** 作，将会清空工作内存中此变量的值，在执行引擎使用这个变量前需要重新执行load或assign *** 作初始化变量的值
• 如果一个变量事先没有被lock *** 作锁定，则不允许对它执行unlock *** 作；也不允许去unlock一个被其他线程锁定的变量。
• 对一个变量执行unlock *** 作之前，必须先把此变量同步到主内存中（执行store和write *** 作）。