java内存模型JMM

kksilu

已于 2022-08-23 22:44:13 修改

阅读量154

点赞数

分类专栏：编程语言文章标签： java

于 2021-07-21 13:49:20 首次发布

本文链接：https://blog.csdn.net/qq_40337086/article/details/114488364

版权

编程语言专栏收录该内容

59 篇文章 2 订阅

订阅专栏

本文深入解析Java内存模型(JMM)，探讨其原子性、可见性和有序性的核心特性。理解为何这些问题出现，以及Java如何通过锁机制、volatile关键字和synchronized关键字来确保并发一致性。

摘要由CSDN通过智能技术生成

Java Memory Model

我们常说的JVM内存模式指的是JVM的内存分区；而Java内存模型是一种虚拟机规范。

JMM规范用于屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的并发效果
JMM规范了Java虚拟机与计算机内存是如何协同工作的，规定了一个线程何时可以看到由其他线程修改过后的共享变量的值。

JMM三大特性

原子性

什么是原子性？
原子性是指所有的操作是不可分的，要么全部一起执行，要么都不执行。

什么情况会导致原子性问题？
线程切换

java如何保证原子性？
java中实现原子操作的方法大致有2种：加锁

可见性

什么是可见性？
可见性是指一个线程对共享变量的修改，对于另一个线程是可以看到的。

为什么会导致可见性问题？
JMM有如下规定：
我们定义的所有变量都储存在 主内存中
每个线程都有自己 独立的工作内存，里面保存对主内存中该变量的一份拷贝

为什么这样处理？
为了弥补CPU与内存之间的速度差距，不同线程将主存的数据拷贝到CPU缓存即工作内存，读取写入都操作CPU缓存，然后将缓存中的数据写入主存中，这样一来就解决了速度差距。

线程对共享变量所有的操作都必须在自己的工作内存中进行，不能直接从主内存中读写（不能越级访问）

不同线程之间也无法直接访问其他线程的工作内存中的变量，线程间变量值的传递需要通过主内存来进行。（同级不能相互访问）

所以a线程修改的内存不能及时被b线程看到就会导致可见性问题

在这里插入图片描述

java保证可见性的方式有哪些？
java提供了volatile来实现

有序性

有序性指的是程序按照代码的先后顺序执行。

为什么会导致有序性问题？
指令重排序
为了性能优化，编译器会进行指令重排序，改变程序语句的先后顺序。

为什么指令重排序可以提高性能？
简单地说就是指令1还没有执行完，就可以开始执行指令2，而不用等到指令1执行结束之后再执行指令2，这样就大大提高了效率。

指令重排序导致问题举例：
在单例模式的实现上有一种双重检验锁定的方式，代码如下：

public class DoubleCheck {
    private static volatile DoubleCheck instance=null;
     private DoubleCheck(){}
     public static DoubleCheck getInstance(){
         if(instance==null){ //这里判空是为了提升性能
             synchronized (DoubleCheck.class){
                 if(instance==null){//这里判空是必须的
                     instance=new DoubleCheck();
                 }
             }
         }
         return instance;
     }
}