final 的两个重排序规则

并发编程 - final 的内存语义

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

看write()方法,只包含一行代码obj = new FinalMemory();。这一行代码包含两个步骤:

  1. 构造一个FinalMemory 类型的对象。
  2. 把这个对象的引用赋值给引用变量obj。
    并发编程 - final 的内存语义
    总结: 写final 域的重排序规则可以确保在对象引用为任意线程可见之前,
    对象的final 域已经被正常的初始化了,而普通域不具有这样的保证。

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

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

reader()方法包含3 个步骤:

  1. 初次读引用变量obj
  2. 初次读引用变量obj 指向对象的普通域i
  3. 初次读引用变量obj 指向对象的final 域j
    并发编程 - final 的内存语义
    总结: 读final 域的重排序规则可以确保在读一个对象的final 域之前,一定
    会先读包含这个final 域的对象的引用。

final 语义的实现

会要求编译器在final 域的写之后,构造函数return 之前插入一个StoreStore障屏。

读final 域的重排序规则要求编译器在读final 域的操作前面插入一个LoadLoad 屏障

相关文章:

  • 2021-10-11
  • 2022-01-03
  • 2021-12-02
  • 2022-01-10
  • 2022-12-23
  • 2021-06-26
  • 2021-10-08
  • 2021-12-02
猜你喜欢
  • 2022-03-05
  • 2021-10-06
  • 2021-08-28
  • 2021-10-07
  • 2022-03-02
  • 2021-10-22
  • 2021-06-19
相关资源
相似解决方案