《JAVA多线程编程的艺术》-volatile重排序规则理解

1.volatile写的内存语义如下：

• 当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存。

2.volatile读的内存语义如下：

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

3.volatile重排序规则表如下：

是否能重排序	第二个操作
第一个操作	普通读/写	volatile读	volatile写
普通读/写			NO
volatile读	NO	NO	NO
volatile写		NO	NO

• 当第二个操作是volatile写时，不管第一个操作是什么，都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后。
• 当第一个操作是volatile读时，不管第二个操作是什么，都不能重排序。这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前。
• 当第一个操作是volatile写，第二个操作是volatile读时，不能重排序。

以上内容从原书摘录，原书并没有解释volatile重排序规则为什么这样，大概是这个规则很易理解，但对于我这个新手来说还是有些难度的，后来无意中将volatile的内存语义放在一块思考，终于理解了这个规则，在此记下，方便日后观看。

其实当这几点放在一块时，这个规则就很容易理解了，写一个volatile时，会把线程对应的本地内存中共享变量刷新到主内存（voaltile写内存语义），这就对应着第二个操作是写操作的规则，这里为什么不能重排序，因为重排序会导致volatile写之前的操作排在后面，如果这时进行volatile写操作就不能保证volatile写之前的共享变量数据的一致，如此就违背了内存语义。

读一个volatile，需要将本地内存置为无效，从主内存读取共享变量（volatile读内存语义），这条内存语义对应着第一个操作是volatile读的规则，如果在这里允许重排序，就会导致之前volatile读后面的操作不能够获取到主内存中的共享数据，这样也违背了内存语义。

第一个volatile写，第二个volatile读不能重排序，这个就不解释了，可见性嘛。