深入理解Java final变量的内存模型
作者:网络转载 发布时间:[ 2015/10/26 13:32:06 ] 推荐标签:编程语言 .NET
对于 final 域,编译器和处理器要遵守两个重排序规则:
在构造函数内对一个 final 域的写,与随后把这个构造对象的引用赋值给一个变量,这两个操作之间不能重排序
初次读一个包含 final 域的对象的引用,与随后初次读这个 final 域,这两个操作之间不能重排序
举个例子:
public class FinalExample {
int i;// 普通变量
final int j;// final 变量
static FinalExample obj;
public FinalExample() {
i = 1;// 写普通域
j = 2;// 写 final 域
}
public static void writer() {// 写线程 A 执行
obj = new FinalExample();
}
public static void reader() {// 读线程 B 执行
FinalExample object = obj;
int a = object.i;
int b = object.j;
}
}
这里假设一个线程 A 执行 writer ()方法,随后另一个线程 B 执行 reader ()方法。
写 final 域的重排序规则
在写 final 域的时候有两个规则:
JMM 禁止编译器把 final 域的写重排序到构造函数之外
编译器会在 final 域的写之后,构造函数 return 之前,插入一个 StoreStore 屏障,这个屏障禁止处理器把 final 域的写重排序到构造函数之外。
分析上面的代码。
write 方法,只包含一行 obj = new FinalExample();,但是包含两个步骤:
构造一个 FinalExample 对象
把对象的引用赋值给 obj
假设线程 B 当中读 obj 与读成员域之间没有重排序。那么执行时序可能如下:
写 final 域的重排序规则可以确保:在对象引用为任意线程可见之前,对象的 final 域已经被正确初始化过了,而普通域不具有这个保障。
读 final 域的重排序规则
读 final 域的重排序规则如下:
在一个线程中,初次读对象引用与初次读该对象包含的 final 域,JMM 禁止处理器重排序这两个操作(注意,这个规则仅仅针对处理器)。编译器会在读 final 域操作的前面插入一个 LoadLoad 屏障。
相关推荐
更新发布
功能测试和接口测试的区别
2023/3/23 14:23:39如何写好测试用例文档
2023/3/22 16:17:39常用的选择回归测试的方式有哪些?
2022/6/14 16:14:27测试流程中需要重点把关几个过程?
2021/10/18 15:37:44性能测试的七种方法
2021/9/17 15:19:29全链路压测优化思路
2021/9/14 15:42:25性能测试流程浅谈
2021/5/28 17:25:47常见的APP性能测试指标
2021/5/8 17:01:11