JVM---Java存储模型

1、概述

　　　　1.1、Java语言规范规定了 JVM要维护内部线程类似顺序化语意（只要程序的最终结果等同于它在严格的顺序化环境中执行的结果）；

2、平台的存储模型

　　　　2.1、现代的处理器、编译器为了从你的程序中榨取性能，会用尽手段；

　　　　2.2、在可共享内存的多处理器体系架构中，每个处理器都有自己的缓存，并且周期性地与主内存协调一致；

　　　　2.3、处理器牺牲存储一致性的保证来换取性能的提升；

　　　　　　　　同时定义了一些特殊的指令（存储关卡、栅栏），用以在需要共享数据时，得到额外的存储协调保证；

　　　　2.4、为了帮助Java开发者屏蔽这些跨架构的存储模型之间的不同，Java提供了自己的内存模型；

　　　　　　　　JVM会在适当的位置插入存储管卡，来解决JMM与底层平台存储模型之间的差异化；

3、重排序

　　　　3.1、各种能够引起操作延迟或者错误执行的不同原因，统称为：重排序；

4、Java存储模型的简介

　　　　4.1、Java存储模型的定义通过动作的形式进行描述；

　　　　　　　　　　动作：变量的读写、监视器加锁和释放锁、线程的启动和拼接；

　　　　4.2、JMM 为所有的程序内部的动作定义了一个偏序关系（happens-before）；

　　　　　　　　　　当一个变量被多个线程读取，至少被一个线程写入时，如果读写操作未按照happens-before排序，就会发生数据竞争；

　　　　　　　　　　一个正确同步的程序是没有数据竞争的程序；

巴特西