第02篇:JMM-Java内存模型

最新推荐文章于 2024-10-15 11:12:27 发布

精神小伙阳光

最新推荐文章于 2024-10-15 11:12:27 发布

阅读量98

点赞数

分类专栏： Java并发专题文章标签： java 并发编程

本文链接：https://blog.csdn.net/xie_cheng_java/article/details/104885771

版权

Java并发专题专栏收录该内容

2 篇文章 0 订阅

订阅专栏

在上一篇提到了并发带来的一些风险,尤其是数据安全性的问题.那为什么在多线程的环境下,会出现这样不可思议的结果?这其实和我们的硬件(CPU,内存)和Java内存模型(JMM)息息相关的.同样的, 希望完本篇博客, 能够回答以下几个问题:

什么是JMM? 要它何用?
在JMM的控制下, 线程是如何进行通信的?
除了控制线程通信, JMM还有什么重要的意义?
什么是重排序? 为什么会重排序?
JMM对重排序如何约束?

1.JMM概述

很多初学者没有区分开JVM内存结构和JMM的概念. 前者是说JVM在工作的时候, 内存结构是如何划分的, 以及每个区域存放的数据, 就比如我们常说的堆,栈,方法区(JDK8之后的元空间)等. 而JMM(Java Memory Model)Java内存模型, 主要是用来控制Java线程之间如何进行通信的一种语言级的模型.他定义了线程和主内存之间的一种抽象关系.我们先来看图.
在这里插入图片描述
说明:

线程之间的共享变量存储在主内存中. 什么是共享变量? 例如实例的成员变量, 静态变量或者数组元素等, 这些信息都是存储在堆内存中.
每个线程都有自己的工作空间, 即本地内存. 在本地内存里面, 存放着共享变量的副本. 特别需要注意的是, 这个本地内存是JMM中抽象出来的一个概念, 并不真实存在(主内存可以看成是计算机的内存条). 本地内存其实涵盖的区域比较杂, 包括了: 缓存, CPU写缓冲区, 寄存器等.

现在有这样一个场景 : 线程A想要跟线程B进行通信. 说得直白一点, 比如内存中有一个值x = 1,线程A把x的值修改为了2,然后要让线程B知道.在JMM的控制下,就得这样来干:

首先线程A要把本地内存中的x=2, 写到主内存中.
然后线程B从主内存中, 重新获取x的值, 更新本地内存中x的值.

整个过程画一个流程图的话, 大致是这样:

总结起来, 就是两个线程之间的通信, 必须要经过主内存. 这点很重要, 后面在说明volatile的时候就很容易理解了. JMM通过控制主内存与每个线程的本地内存之间的交互, 来为我们提供了内存的可见性保证.

2.关于重排序

上面只是对JMM最基本的一个描述, 包括他的定义和主要作用. 在上面一点的结尾处, 提到了内存可见性. 即一个线程, 能够感知到另一个线程对共享变量的修改. 但是这里有一个关键的问题: 什么时候回写内存? 什么时候从内存中去重新获取共享变量的值? 正是因为这是个不能确定的因素, 所以执行的时机或者说顺序, 如果无法控制, 那么这种可见性还是无法保证.

另一方面，从硬件层面来说，现代CPU都会使用写缓冲来临时保存将要写往内存的数据，这样的好处主要有两点：

通过写缓冲，可以避免cpu频繁停顿下来往内存写数据的延迟。
可以批量的从cpu刷数据到内存，合并对同一内存地址的写操作
但正是因为使用了写缓冲，且它只对当前cpu可见，这样就不会受其他cpu影响，当执行到某条写指令的时候，如果发现缓存区块被其他CPU占用，为了提高CPU处理性能, 可能将后面的读缓存命令优先执行.

比如下面这段代码.

    public static int a = 0;
    public static int b = 0;
    public static int x = 0;
    public static int y = 0;
    public static void main(String[] args) throws InterruptedException {
        new Thread(() -> {
            a = 1;
            x = b;
        }).start();
        new Thread(() -> {
            b = 2;
            y = a;
        }).start();
        TimeUnit.MILLISECONDS.sleep(100);
        System.out.println("x=" + x + "\ny=" + y);
    }
}