【Java学习笔记（一百二十九）】之 final域重排序规则，JMM内存可见性保证

墨蓝 2023-10-07 15:53 11阅读 0赞

#### 文章目录 ####

*   *  本文章由公号【开发小鸽】发布！欢迎关注！！！
     *  一． final域
     *   *  （一） 重排序规则
         *  （二） 写final域的重排序规则
         *  （三） 读final域的重排序规则
         *  （四） final引用不能逸出构造函数
         *  （五） JSR-133增强final语义的意义
     *  二． happens-before
     *  三． JMM的内存可见性保证
     *   *  （一） 单线程程序
         *  （二） 正确同步的多线程程序
         *  （三） 未正确同步的多线程程序

### 本文章由公号【开发小鸽】发布！欢迎关注！！！ ###

**老规矩–妹妹镇楼：**

![20200721223424816.JPG][]

### 一． final域 ###

#### （一） 重排序规则 ####

对于final域，编译器和处理器要遵守两个重排序规则：

1. 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。

2. 初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序。

#### （二） 写final域的重排序规则 ####

写final域的重排序规则禁止把final域的写重排序到构造函数之外，同时编译器在final域的写之后，构造函数return之前，插入一个StoreStore屏障，这个屏障禁止处理器把final域写重排序到构造函数之外。

#### （三） 读final域的重排序规则 ####

在一个线程中，初次读对象引用与初次读该对象包含的final域，JMM禁止处理器重排序这两个操作，编译器会在读final域操作前面插入一个LoadLoad屏障，确保读final域之前该对象已经初始化。

#### （四） final引用不能逸出构造函数 ####

写final域的重排序规则可以保证，在引用变量为任意线程可见之前，该引用变量指向的对象的final域已经在构造函数中被正确初始化了。要得到这种效果，还需要保证在构造函数内部，不能让这个被构造对象的引用被其他线程所见。

#### （五） JSR-133增强final语义的意义 ####

通过为final域增加写和读重排序规则，可以为Java程序员提供初始化安全保证，只要对象是正确构造的，那么不需要同步就可以保证任意线程都能看到这个final域在构造函数中被初始化之后的值 。

### 二． happens-before ###

JSR-133使用happens-before来指定两个操作之间的执行顺序，由于这两个操作可以在一个线程之内，也可以在不同线程之间，因此，JMM通过happens-before关系向程序员提供跨线程的内存可见性保障，即确保正确同步的多线程程序的执行结果不被改变。

### 三． JMM的内存可见性保证 ###

Java的内存可见性保证分为三类：

#### （一） 单线程程序 ####

不会出现内存可见性问题，因为编译器和处理器会确保单线程程序执行结果和顺序一致性模型中的执行结果一致，通过重排序规则来禁止有依赖关系的重排序优化。

#### （二） 正确同步的多线程程序 ####

将具有顺序一致性，JMM通过限制编译器和处理器的重排序来提供内存可见性保证。

#### （三） 未正确同步的多线程程序 ####

JMM提供了最小安全性保障，线程执行时读取到的值，要么是之前某个线程写入的值，要么是默认值（0，null，false）。

[20200721223424816.JPG]: https://img-blog.csdnimg.cn/20200721223424816.JPG

发表评论取消回复

表情：

评论列表（有 0 条评论，11人围观）

还没有评论，来说两句吧...

相关阅读

相关 jmm内存可见性与CAS

言:在慕课网上学习剑指Java面试-Offer直通车时所做的笔记,供本人复习之用. **目录** 第一章 Java内存模型第二章 JMM中的主内存和工作内存 ...

今天药忘吃喽~/ 2024年04月19日 08:06/ 0 赞/ 72 阅读

相关 Java内存模型-Java Memory Model（JMM）-可见性、原子性、有序性

5. Java内存模型之JMM 5.1 先从大场面试开始你知道什么是Java内存模型JMM吗？ JMM和volatile他们两个之间的关系？ JMM没有那些特征或者它

深藏阁楼爱情的钟/ 2024年02月21日 09:32/ 0 赞/ 97 阅读

相关【Java学习笔记（一百二十九）】之 final域重排序规则，JMM内存可见性保证

文章目录本文章由公号【开发小鸽】发布！欢迎关注！！！一． final域（一）重排序规则（二）

墨蓝/ 2023年10月07日 15:53/ 0 赞/ 12 阅读

相关【Java学习笔记（一百二十七）】之JMM，重排序，内存屏障，顺序一致性，concurrent包

文章目录本文章由公号【开发小鸽】发布！欢迎关注！！！一． Java内存模型问题（一）线程通信

喜欢ヅ旅行/ 2023年10月07日 15:53/ 0 赞/ 17 阅读

相关 final域的重排序规则

对于final 域，编译器和处理器要遵守两个重排序规则： > 1. 在构造函数内对一个 final 域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间

旧城等待，/ 2023年10月06日 16:44/ 0 赞/ 11 阅读

相关 Java多线程 JMM之可见性demo

文章目录 JMM之可见性demo 可见性问题图解 JMM之可见性demo 如下的代码演示了可见性问题 . 一个线程调用给a

柔光的暖阳◎/ 2022年12月04日 02:26/ 0 赞/ 191 阅读

相关 JMM 内存模型、volatile 关键字保证有序性和可见性相关问题总结

临近秋招，备战暑期实习，祝大家每天进步亿点点！Day19 本篇总结的是 JMM内存模型，volatile 关键字保证有序性和可见性的原理，happens-befor

亦凉/ 2022年10月06日 02:55/ 0 赞/ 207 阅读

相关 Java内存模型（JMM，Java Memory Model）之可见性

1：JMM内存模型 JMM，是一种规范，描述了Java程序中各种变量（线程共享变量）的访问规则，以及在JVM中将变量存储到内存和从内存中读取出变量这样的底层细节。所

﹏ヽ暗。殇╰゛Y/ 2022年09月06日 15:22/ 0 赞/ 215 阅读

相关 Final域的重排序规则

\摘自《Java并发编程的艺术》——方腾飞 1.final类型为基本类型时对于final域，编译器和处理器要遵守两个重排序规则。 1）在构造函数内对一个final域的

我会带着你远行/ 2022年05月17日 23:11/ 0 赞/ 205 阅读

相关 Java之volatile如何保证可见性和指令重排序

1 我们先了解CPU缓存 CPU缓存为了解决CPU运算速度与内存读写速度不匹配的问题，因为CPU运算速度要比内存读写速度快得多一次主内存的访问通常在几十到几百个

缺乏、安全感/ 2021年09月23日 14:12/ 0 赞/ 348 阅读