Java内存模型

Posted 2020-07-27 bohu83

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了Java内存模型相关的知识，希望对你有一定的参考价值。

一概述

本文属于《java并发编程的艺术》读书笔记系列，第三章java内存模型第二部分。

二final的内存语义

final在Java中是一个保留的关键字，可以声明成员变量、方法、类以及本地变量。可以参照之前整理的关键字final。这里作者主要介绍final域的内存语义。

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

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

下面，我们通过一些示例性的代码来分别说明这两个规则：

public class FinalExample {
    int i;                            //普通变量
    final int j;                      //final变量
    static FinalExample obj;

    public void 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;                //读final域
    }
}

这里假设一个线程A执行writer ()方法，随后另一个线程B执行reader ()方法。下面我们通过这两个线程的交互来说明这两个规则。