深入讲解并发编程模型之并发三大特性篇

推荐阅读

• 深入讲解并发编程模型之概念篇

• 深入讲解并发编程模型之重排序篇

• 深入讲解并发编程模型之顺序一致性篇

---

阅读本文之前，建议先阅读 深入讲解并发编程模型之概念篇 了解什么是重排序、什么是内存屏障、什么是 happens-before。不然下面的内容阅读起来有点费劲。

可见性

一个线程的操作结果对其它线程可见成为可见性

• volatile：保证对变量的写操作的可见性
• synchronized：对变量的读写（或者）代码块的执行加锁，执行完毕，操作结果写回内存，保证操作的可见性

volatite如何保证可见性

在Java中主要是使用了volatite修饰的变量，那么就可以保证可见效。工作原理如下：

lock前缀指令和MESI协议综合使用

对于volatile修饰的变量，执行写操作的话，JVM会发送一条lock前缀指令给CPU，CPU在计算完之后会立即将这个值写回主内存，同时因为有MESI缓存一致性协议，所以各个CPU都会对总线进行嗅探自己本地缓存中的数据是否被修改了。如果发现某个缓存的值被修改了，那么CPU就会将自己本地缓存的数据过期掉，然后这个CPU上执行的线程在读取那个变量的时候，就会从主内存重新加载最新的数据了。

使用lock前缀指令和MESI协议综合使用保证了可见性。

synchronized如何保证可见性

synchronized主要对变量读写，或者代码块的执行进行加锁，在未释放锁之前，其它现场无法操作synchronized修饰的变量或者代码块。并且，在释放锁之前会讲修改的变量值写到内存中，其它线程进来时读取到的就是新的值了。