java并发编程——volatile、锁和final的内存语义

本文是阅读《Java并发编程的艺术》后将自己记忆的理论知识和理解复写出来的产物，若有不足，欢迎指正！

一、volatile及其内存语义

之前的学习了解过volatile，知道它可以修饰共享变量，保证对变量的操作具有顺序性和可见性，并且与synchronized进行了对比。

volatile的写与锁的释放有相同的内存语义，读与锁的获取有相同的内存语义。

1.读的内存语义

当读一个volatile变量时，JMM会把该线程对应的本地内存置为无效，线程将从主存中读取共享变量。

2.写的内存语义

JMM把该线程对应的本地内存中的共享变量刷新到主存。

3.volatile重排序规则

4.volatile内存语义的实现

依靠内存屏障来实现

（1）StoreStore；volatile写操作；StoreLoad

（2）LoadStore；volatile读操作；LoadLoad

二、锁及其内存语义

1.内存语义

volatile的写-读的内存语义与锁的释放-获取的内存语义相同

2.内存语义的实现

（1）利用volatile变量写-读具有的内存语义

（2）利用CAS附带的volatile读和写的内存语义（CAS前后都不能重排序）

三、final及其内存语义

1.重排序规则

（1）构造函数内写入final域 和 将被构造对象的引用赋值给一个引用变量 不能重排序

（2）初次读一个包含final域的对象的引用 和 随后初次读这个final域 不能重排序

2.final语义在处理器中的实现

在读final域之前加入LoadLoad内存屏障，写final域之后加入StoreStore内存屏障。