《Java虚拟机规范》中曾试图定义一种“Java内存模型”(Java Memory Model,JMM)来屏蔽各种硬件和操作系统的内存访问差异, 以实现让 Java 程序在各种平台下都能达到一致的内存访问效果。
在此之前, 主流程序语言(如 C 和 C++ 等) 直接使用物理硬件和操作系统的内存模型。 因此, 由于不同平台上内存模型的差异, 有可能导致程序在一套平台上并发完全正常, 而在另外一套平台上并发访问却经常出错, 所以在某些场景下必须针对不同的平台来编写程序。
Java内存模型的主要目的是定义程序中各种变量的访问规则,即关注在虚拟机中把变量值存储到内存和从内存中取出变量值这样的底层细节。
Java内存模型规定了所有的变量都存储在主内存(Main Memory) 中(此处的主内存与介绍物理硬件时提到的主内存名字一样, 两者也可以类比, 但物理上它仅是虚拟机内存的一部分) 。每条线程还有自己的工作内存(Working Memory, 可与前面讲的处理器高速缓存类比) , 线程的工作内存中保存了被该线程使用的变量的主内存副本,线程对变量的所有操作(读取、 赋值等) 都必须在工作内存中进行, 而不能直接读写主内存中的数据。不同的线程之间也无法直接访问对方工作内存中的变量, 线程间变量值的传递均需要通过主内存来完成。
此处的变量(Variables) 与 Java 编程中所说的变量有所区别。
此处的变量包括了实例字段、静态字段和构成数组对象的元素,但是不包括局部变量与方法参数,因为局部变量与方法参数是线程私有的,不会被共享,自然就不会存在竞争问题。
线程、主内存、工作内存三者的交互关系如图所示。
关于主内存与工作内存之间具体的交互协议,即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存这一类的实现细节, Java内存模型中定义了以下 8 种内存访问操作来完成。
Java虚拟机实现时必须保证上面提及的每一种内存访问操作都是原子的、不可再分的(对于 double 和 long 类型的变量来说,load、 store、 read 和 write 操作在某些平台上允许有例外, 这个问题会专门讨论)。
如果要把一个变量从主内存拷贝到工作内存, 那就要按顺序执行 read 和 load 操作,如果要把变量从工作内存同步回主内存, 就要按顺序执行 store 和 write 操作。
注意, Java 内存模型只要求上述两个操作必须按顺序执行, 但不要求是连续执行。也就是说 read 与 load 之间、 store 与 write 之间是可以插入其他指令的, 如对主内存中的变量 a、 b 进行访问时,一种可能出现的顺序是 read a、read b、load b、load a。
除此之外, Java 内存模型还规定了在执行上述 8 种内存访问操作时必须满足如下规则:
这 8 种内存访问操作以及上述规则限定, 再加上稍后会介绍的专门针对 volatile 的一些特殊规定, 就已经能准确地描述出 Java 程序中哪些内存访问操作在并发下是安全的。
Java 内存模型为 volatile 专门定义了一些特殊的访问规则。
假定 T 表示一个线程, V 和 W 分别表示两个 volatile 型变量, 那么在进行 read、 load、 use、 assign、 store 和 write 操作时需要满足如下规则:
只有当线程 T 对变量 V 执行的前一个动作是 load 的时候, 线程 T 才能对变量 V 执行 use 动作; 并且,只有当线程 T 对变量 V 执行的后一个动作是 use 的时候, 线程 T 才能对变量 V 执行 load 动作。线程 T 对变量 V 的 use 动作可以认为是和线程 T 对变量 V 的 load、 read 动作相关联的, 必须连续且一起出现。
这条规则要求在工作内存中, 每次使用 V 前都必须先从主内存刷新最新的值, 用于保证能看见其他线程对变量 V 所做的修改。
只有当线程 T 对变量 V 执行的前一个动作是 assign 的时候, 线程 T 才能对变量 V 执行 store 动作; 并且, 只有当线程 T 对变量 V 执行的后一个动作是 store 的时候, 线程 T 才能对变量 V 执行 assign 动作。 线程 T 对变量 V 的 assign 动作可以认为是和线程 T 对变量 V 的 store、 write 动作相关联的, 必须连续且一起出现。
这条规则要求在工作内存中, 每次修改 V 后都必须立刻同步回主内存中, 用于保证其他线程可以看到自己对变量 V 所做的修改。
假定动作 A 是线程 T 对变量 V 实施的 use 或 assign 动作, 假定动作 F 是和动作 A 相关联的 load 或 store 动作, 假定动作 P 是和动作 F 相应的对变量 V 的 read 或 write 动作;
与此类似, 假定动作 B 是线程 T 对变量 W 实施的 use 或 assign 动作, 假定动作 G 是和动作 B 相关联的 load 或 store 动作, 假定动作 Q 是和动作 G 相应的对变量 W 的 read 或 write 动作。
如果 A 先于 B, 那么 P 先于 Q。
这条规则要求 volatile 修饰的变量不会被指令重排序优化, 从而保证代码的执行顺序与程序的顺序相同。
先行发生原则(Happens-Before)是Java内存模型定义的一个等效判断原则。依赖这个原则, 我们可以通过几条简单规则一揽子解决并发环境下两个操作之间是否可能存在冲突的所有问题, 而不需要陷入Java内存模型苦涩难懂的定义之中。
“先行发生”原则指的是什么。 先行发生是Java内存模型中定义的两项操作之间的偏序关系, 比如说操作 A 先行发生于操作 B, 其实就是说在发生操作 B 之前, 操作 A 产生的影响能被操作 B 观察到, “影响”包括修改了内存中共享变量的值、 发送了消息、 调用了方法等。
下面是Java内存模型下一些“天然的”先行发生关系, 这些先行发生关系无须任何同步器协助就已经存在,可以在编码中直接使用。如果两个操作之间的关系不在此列,并且无法从下列规则推导出来, 则它们就没有顺序性保障,虚拟机可以对它们随意地进行重排序。
Java 语言无须任何同步手段保障就能成立的先行发生规则有且只有上面这些。
“时间上的先后顺序”与“先行发生”之间有什么不同?一个操作“时间上的先发生”不代表这个操作会是 “先行发生”。那如果一个操作“先行发生”, 是否就能推导出这个操作必定是“时间上的先发生”呢? 很遗憾, 这个推论也是不成立的。
时间先后顺序与先行发生原则之间基本没有因果关系,所以我们衡量并发安全问题的时候不要受时间顺序的干扰, 一切必须以先行发生原则为准。
《深入理解Java虚拟机》第 12 章:Java 内存模型与线程 12.3 Java 内存模型