Java内存模型学习笔记

Posted

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Java内存模型学习笔记相关的知识,希望对你有一定的参考价值。

     Java内存模型(JMM):描述了java程序中各种变量(线程共享变量)的范根规则,以及在JVM中将变量存储到内存和从内存中读取出变量这样的底层细节。共享变量就是指一个线程中的变量在其他线程中也是可见的。

  共享变量可见性的实现:假设目前有两个线程:线程1和线程2。线程1的读取主内存的x=0到线程1的工作内存中,并执行将x=1操作;主内存会将x的最新值更新过来,即x=1;最后线程2的工作内存会将主内存的最新值更新过来。

  共享内存可见性的实现方式:synchronized实现和volatile实现

  1.synchronized实现:

  ①线程解锁前,必须把共享变量的最新值刷新到主内存中;

  ②线程加锁时,将清空工作内容中的共享变量的值,从而使用共享变量需要从主内从中重新读取最新的值(注意:加锁与解锁需要同一把锁)

  也就是说,线程解锁前对共享变量的修改,在下次加载时对其他线程也可见。线程执行互斥代码的过程如下:

  1??获得互斥??

  2??清空工作内存

  3??从主内存拷贝变量的最新值副本到工作内存

  ④执行代码

  5??将更新后的共享变量值刷新到主内存中

  6??释放互斥??

  PS:重排序 和 as-if-serial

  (1)重排序就是代码书写的顺序与实现执行的顺序不同。指令重排序是编译器或处理器为了提高程序性能而做的优化

  1??编译器优化重排序(编译器优化);

  2??指令级并行重排序(处理器优化);

  3??内存系统重排序(处理器优化)

  (2)as-if-serial就是无论如何重排序,程序执行代码的结果都和顺序执行的相同。

  在单线程中,重排序不影响内存的可见性。但是在多线程中,重排序可能会影响内存的可见性。具体如下:

  ①线程的交叉执行--------------------------------------------------------------------------------------原子性

  ②重排序结合线程的交叉执行--------------------------------------------------------------------------原子性

  ③共享变量更新后没及时在主内存更新-----------------------------------------------------------------可见性

  △synchronized解决方案:锁 + 原子性

  △volatile的解决方案:实现可见性,但是不能保证原子性。

  volatile的可见性实现:内存屏障和禁止重排序优化。

  1??对volatile变量执行写操作时,会在写操作后加入一条store屏障指令;

  2??对volatile变量执行读操作时,会在读操作后加入一条load屏障指令;

  volatile变量在每次被线程访问时,都强迫从主内存中重读该变量的值,而当该变量发生变化时,又会强迫线程将最新的值更新到主内存中,这样任何时刻,不同线程总能看到该变量的最新值。

 

以上是关于Java内存模型学习笔记的主要内容,如果未能解决你的问题,请参考以下文章

Java内存模型学习笔记

学习笔记JVM之内存模型

Java内存学习笔记-运行时数据区域划分

深入理解Java虚拟机- 学习笔记 - Java内存模型与线程

volatile 学习笔记

细说Java多线程之内存可见性:学习笔记