final关键字在我们日常所见到的代码中可谓是经常出现了,一般是用来修饰不再改变的参数。 那么这个关键字与并发编程有什么关系呢? 让我们先来看一下它的定义:
final在Java中是一个保留的关理子,可以加收入能为亦这个引用了及本地变量。一旦你将引用声明作final,你将不能改变这个引用了
由此引出一个问题,final关键字与线程安全有什么关系呢?
对于final域,编译器和处理器要遵守两个重排序规则。
√在构造函数内对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序。 √初次读一个包含final域的对象的引用,与随后初次读这个final域,这两个操作之间不能重排序。
写final域重排序规则:
JMM禁止编译器把final域的写重排序到构造函数之外。 编译器会在final域的写之后,构造函数return之前,插入一个StoreStore屏障。这个屏障禁止处理器把final域的写重排序到构造函数之外
读final域重排序规则:
在一个线程中,初次读对象引用与初次读该对象包含的final域,JMM禁止处理器重排序这两个操作,编译器会在读final域操作的前面插入一个LoadLoad屏障。