细说Java多线程之内存可见性

可见性：一个线程对共享变量值的修改，能够及时地被其他线程看到。

共享变量：如果一个变量在多个线程的工作内存中都存在副本，那么这个变量就是这几个线
程的共享变量。

Java内存模型：

 

 

 

线程对共享变量操作的规定：

共享变量可见性实现的原理：

可见性的必要条件：

可见性的实现方式：（final也可以）

线程执行互斥代码的过程：

重排序的概念：

as-if-serial的概念：

导致共享变量在线程间不可见的原因：

可见性分析：

当一个线程访问object的一个sysnchronized(this)同步代码块时,其他线程对object中所有其他synchronized(this)同步代码块的访问会被阻塞

volatile实现可见性：

volatile不能实现原子性的分析：

保证自增操作原子性的解决方案：

ReentrantLock的用法：

volatile适用场合：

synchronized与volatile的比较