Java线程工作内存与主内存变量交换过程及volatile关键字理解

  1. Java内存模型规定在多线程情况下,线程操作主内存变量,需要通过线程独有的工作内存拷贝主内存变量副本来进行。此处的所谓内存模型要区别于通常所说的虚拟机堆模型:

file

  1. 线程独有的工作内存和进程内存(主内存)之间通过8中原子操作来实现,如下图所示:

file

原子操作的规则(部分):

1) read,load必须连续执行,但是不保证原子性。

2) store,write必须连续执行,但是不保证原子性。

3) 不能丢失变量最后一次assign操作的副本,即遍历最后一次assign的副本必须要回写到MainMemory中。

其它规则详见《深入理解Java虚拟机》第12章 Java内存模型与线程

  1. volatile关键字

定义为volatile类型的变量拥有两种语义:

1) 变量的修改对所有线程可见

理解:

  线程中每次use变量时,都需要连续执行read->load->use几项操作,即所谓的每次使用都要从主内存更新变量值,这样其它线程的修改对该线程就是可见的。

  线程每次assign变量时,都需要连续执行assign->store->write几项操作,即所谓每次更新完后都会回写到主内存,这样使得其它线程读到的都是最新数据。

2)禁止指令重排

file

参考:

《深入理解Java虚拟机》第12章 Java内存模型与线程

发表评论

您的电子邮箱地址不会被公开。 必填项已用*标注

关注我们