浅谈java多线程中的内存可见性

何谓可见性?

即一个线程对共享变量的修改能够及时被其它线程看到。

  浅谈java多线程中的内存可见性

*所有的变量都存在主内存中。
*每个线程都有自己独立的工作内存,里面保存该线程使用到的变量副本主内存中该变量的一份拷贝)。
*线程对共享变量的所有操作都必须在自己的工作内存中进行,而不能在主内存中进行读写。
*不同线程之间无法直接访问其他线程工作内存中的变量,线程之间变量值的传递需要在主内存中进行。


可见性实现原理
线程1对共享变量想被线程2看到需要进行以下操作

*1.把工作内存中更新的共享变量及时刷新到主内存
*2.将主内存中最新的共享变量值更新到工作内存2中


java语言层面实现可见性的两种方式
*1.synchnoized
*2.volatile

下面我们来主要介绍synchnoized
synchnoized实现可见性:
synchnoized能够实现:原子性(同步),可见性

JMM关于synchnoized的两条规定:
*1.线程解锁之前必须把共享变量的最新值刷新到主内存中
*2.线程加锁时将清空工作内存*享变量的值,从而是共享变量时需要从主内存中重新读取最新的共享变量的值(注意:加锁与解锁需要时同一把锁
*3.线程解锁前对共享变量的修改在下次加锁时对其他线程可见。


执行的完整流程:
*1.获得互斥锁
*2.清空工作内存
*3.从主内存中拷贝最新的变量副本到工作内存中
*4.执行代码
*5.将更改后的共享变量值刷新到主内存中
*6.释放互斥锁