1.volatile的内存语义与实现
1.1 volatile写读的内存语义
在介绍锁的内存语义之前，我们先简单介绍一下volatile写读的内存语义：
- 当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值刷新到主内存中。
- 当读一个volatile变量时，JMM会把该线程对应的本地内存置为无效，线程接下来将从主内存中读取共享变量
这两条保证了volatile能够达到它的即时可见的特性。
那JMM如何能够保证volatile实现其内存语义的，简单来说就是通过内存屏障。如果看过volatile变量汇编后的指令代码就会在代码中发现一句：
lock add1 $0x0
它的简单含义就是要把工作内存中的共享变量值刷新到主内存中，相当于加入内存屏障。
1.2 volatile有序的内存语义
volatile的另一个特性是禁止指令重排序，这里的内存语义我们可以总结为：
- volatile读之后 的操作不会被重排序到 volatile读之前
- volatile写之前 的操作不会被重排序到 volatile写之后
- 先volatile写–后volatile读，不可重排序
JMM通过插入内存屏障来实现以上语义，实质上有四种内存屏障策略：
- volatile写操作前插入StoreStore屏障
- volatile写操作后插入StoreLoad屏障
- volatile读操作前插入LoadLoad屏障
- volatile读操作后插入LoadStore屏障
其中StoreLoad屏障是全能型屏障，可以完成其他3个屏障的功能。所以它被大部分CPU支持。不同CPU有着不同的重排序规则，但是这一套JMM屏障策略可以完成所有类型CPU下的volatile语义。例如对于x86的CPU,它本身只支持写-读操作的重排序，对读-读，读-写，写-写操作的重排序都不支持；那么我们只需要加入StoreLoad屏障来避免写-读操作的重排序即可实现volatile语义。
2.锁的内存语义与实现
理解了volatile的内存语义，锁的内存语义就会好理解了。
- 当线程获取锁时，JMM会把线程对应的本地内存置为无效，然后临界区的代码从主存中读入共享变量到工作内存。
- 当线程释放锁时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存中。
看完上面锁的内存语义，是不是感觉和volatile的内存语义很相像。对比锁和volatile的内存语义：
- 锁的获取和volatile的读有相同的内存语义
- 锁的释放和volatile的写有相同的内存语义
那锁的内存语义是如何实现的？
下一篇《ReentrantLock的源代码解析和锁的内存语义实现》将结合jdk源码进行分析。
参考：
- 特别感谢《Java并发编程的艺术》
- http://ifeve.com/volatile/