Java并发（八）：final域的内存语义

最新推荐文章于 2022-11-07 09:09:13 发布

GDUT_Ember

最新推荐文章于 2022-11-07 09:09:13 发布

阅读量110

点赞数

分类专栏： Java并发文章标签： java

本文链接：https://blog.csdn.net/GDUT_Trim/article/details/117996193

版权

16 篇文章 3 订阅

订阅专栏

final这个修饰可以加在类、方法、变量上

但其实final也是可以解决一些并发重排序问题的。

final域也有自己的重排序规则

在构造函数来对一个final域进行写入，与之后把这个构造对象的引用赋值给一个引用变量，这两个操作是不可以发生重排序的，即初始化不可以与引用赋值发生重排序，跟volatile是一样的
第一次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间是不能发生重排序的

这两个规则分别对应final的读写的重排序规则

写final域的重排序规则其实就是上面的，初始化不可以与引用赋值发生重排序，必须先初始化，然后再进行引用赋值，但如果对于普通变量来说，也就是普通域，很可能会发生这两个步骤的重排序

这个规则可以确保，在对象引用为任意线程可见之时，对应的final域已经被正确初始化了

写final域的重排序规则是使用内存屏障来实现的

编译器会在final域的写之后，构造函数return之前，插入一个StoreStore屏障，这个屏障禁止了处理器将final域的写命令重排序到return之后，也就是构造函数之外

读final域的重排序规则就是，初次读对象引用与初次读对象里面的final引用是不可以发生重排序的，必须先读对象引用然后再读final引用

这个规则可以确保，在读一个final域之前，一定会先读包含这个final域的对象的引用，这是因为final域是依赖于对象的

读final域的重排序规则也是使用内存屏障来实现的

编译器会在都final域操作的前面插入一个LoadLoad屏障，确保前面如果有初次读对象操作时，要先读对象，然后再读final域

如果final域的变量是一个引用类型，那么对于读的重排序规则是没有变的，但写的重排序规则会增加多一条

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

即构造函数在初始化final引用对象时，构造函数之外的其他地方可能正在修改这个final引用对象，那么这两个操作是不可以发生重排序的，也就是一定要先构造函数初始化完final引用对象后才可以允许其他地方进行修改

所以总的final域的引用类型的写规则如下

我个人觉得，可能是因为final的引用每次改变都会成为一个新的对象，所以必须要确保改变是要按照顺序的

如果从构造函数内溢出，很有可能这个final引用还没从构造函数里面初始化好，外面的其他线程就会将其修改，就会导致了顺序扰乱现象

前面已经对此提到过

关注

专栏目录