Java教程

并发编程之JMM理解

本文主要是介绍并发编程之JMM理解,对大家解决编程问题具有一定的参考价值,需要的程序猿们随着小编来一起学习吧!

什么是JMM模型?

        Java内存模型(Java Memory Model简称JMM)是一种抽象的概念,它不是真实存在的,它只是一种帮助我们去理解程序中各个变量而定义出来的一种规范。JVM运行程序的实体是线程,而每个线程创建时JVM都会为其创建一个工作内存,用于存储线程私有的数据,而Java内存模型中规定所有变量都存储在主内存主内存是共享内存区域,所有线程都可以访问,但线程对变量的操作必须在工作内存中进行。

  1. 首先将变量从主内存拷贝到自己的工作内存空间
  2. 然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量,

PS:工作内存中存储着主内存中的变量副本拷贝,前面说过,工作内存是每个线程的私有数据区域,因此不同的线程间无法访问对方的工作内存,线程间的通信(传值)必须通过主内存来完成。

JMM不同于JVM内存区域模型

        JMM与JVM内存区域的划分是不同的概念层次,更恰当的说JMM描述的是一组规则,通过这组规则控制程序中各个变量在共享数据区域和私有数据区域的访问方式,**JMM是围绕原子性,有序性,可见性展开。**JMM与Java内存区域唯一相似点,都存在数据共享区域和私有数据区域,在JMM中主内存属于共享数据区域,从某个程度上讲包括了堆和方法区,工作内存数据线程私有数据区域,从某个程度上讲包括程序计数器,虚拟机栈以及本地方法栈。

线程,工作内存,主内存工作交互图(基于JMM规范):

image-20210719180746103

主内存

      主要存储的是Java实例对象,所有线程创建的实例对象都存放在主内存中,不管该实例对象是成员变量还是方法的本地变量(局部变量),当然也包括了共享的类信息、常量、静态变量。由于是共享数据区域,多条线程对同一个变量进行访问可能会出现线程安全

工作内存

      主要存储当前方法的所有本地变量信息(工作内存中存储着主内存中的变量副本拷贝),每个线程只能访问自己的工作内存,即线程中的本地变量对其他线程是不可见的,就算是两个线程执行的是同一段代码,他们也会有各自在自己工作内存中创建属于当前线程的本地变量,当然也包括了字节码行号指导器、相关Natice方法的信息。注意由于工作内存是每个线程的私有数据,线程间无法相互访问工作内存,因此存储在工作内存的数据不存在线程安全问题。

     根据JVM虚拟机主内存与工作内存的数据存储类型以及操作方式,对于一个实例对象中的成员方法而言,如果方法中包含本地变量是基本数据类型,将直接存储在工作内存的栈帧结构中,而对象实例将存储在主内存(共享数据区域,堆)中。但对于实例对象的成员变量,不管他是基本数据类型或者包装类型还是引用类型,都会被存储到堆区。至于static变量以及类本身相关信息将会存储在主内存中。需要注意的是,在主内存中的实例对象可以被多线程共享,倘若连个线程同同时调用同一个对象的同一个方法,那么两条线程会将操作的数据拷贝一份到自己的工作内存中,执行完成操作后才刷新到主内存

image-20210719182758074

Java内存模型与硬件 内存架构的关系

    通过对前面的硬件内存架构、Java内存模型以及Java多线程的实现原理的了解,我们应该意识到,多线程的执行最终都会映射到硬件处理器上进行执行,但Java内存模型和硬件内存架构并不完全一致。对于硬件内存来说只有寄存器,缓存内存,主内存的概念,并没有工作内存和主内存之分,也就是说Java内存模型对内存的划分对硬件内存并没有任何影响,因为JMM只是一种抽象的概念,是一组规则,并不实际存在,不管是工作内存的数据还是主内存的数据,对于计算机硬件来说都会存储在计算机主内存中,当然也有可能存储到CPU缓存或者寄存器中,因此总体上来说,Java内存模型和计算机硬件内存架构是一个相互交叉的关系,是一种概念划分与真是物理硬件的交叉。

image-20210719190745475

JMM存在的必要性

   在明白了Java内存区域划分,硬件内存结构,Java多线程的实现原理与Java内存模型具体关系后,接着来谈谈Java内存模型存在的必要性。由于JVM运行程序的尸体是线程,在每个线程创建时JVM都会为创建一个工作内存(栈空间),用于存储线程私有的数据,线程与主内存中的变量操作必须通过工作内存间接完成,主要过程是将变量写回主内存,如果存在两个线程同事对一个主内存的实例对象进行操作,就有可能诱发线程安全问题。

   假设主内存中存在一个共享变量x,现在有A和B两条线程分别对该变量x=1进行操作,A/B线程各自的工作内存中存在共享变量副本x。假设现在A线程想要修改x的值为2,而B线程却想要读取x的值,那么B线程读取到的值是A线程更新后的值2还是更新前的值1呢?答案是,不确定,即B线程有可能读取到A线程更新前的值1,也有可能读取到A线程更新后的值2,这是因为工作内存是每个线程私有的数据区域,而线程A变量x时,首先是将变量从主内存拷贝到A线程的工作内存中,然后对变量进行操作,操作完成后再将变量x写回主内,而对于B线程的也是类似的,这样就有可能造成主内存与工作内存间数据存在一致性问题,假如A线程修改完后正在将数据写回主内存,而B线程此时正在读取主内存,即将x=1拷贝到自己的工作内存中,这样B线程读取到的值就是x=1,但如果A线程已将x=2写回主内存后,B线程才开始读取的话,那么此时B线程读取到的就是x=2,但到底是哪种情况先发生呢?

image-20210719191553742

   以上关于主内存与工作内存之间的具体交互协议,即一个变量如何拷贝到工作内存,如何从工作内存同步到主内存之间的细节,Java内存模型定义了一下8中操作来完成。

数据同步八大原子操作

  1. lock(锁定):主要用于主内存的变量,把一个变量标记为一条线程独占状态
  2. unlock(解锁):主要用于主内存变量,把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定
  3. read(读取):作用于主内存变量,把一个变量值从主内存传输到线程的工作内存中,以便随后的load动作使用
  4. load(载入):作用与工作内存的变量,它吧read操作从主内存中得到的变量值放入工作内存的变量副本中
  5. use(使用):作用于工作内存的变量,把工作内存中的一个变量值传递给执行引擎
  6. assign(赋值):作用于工作内存的变量,它把一个从执行引擎接收到的值赋给工作内存的变量
  7. store(存储):作用于工作内存的变量,把工作内存中的一个变量的值传送到主内存中,以便随后的write的操作
  8. write(写入):作用于工作内存的变量,把工作内存中的一个变量的值传送到主内存中,以便随后的write的操作

如果要把一个变量从主内存复制到工作内存中,就需要顺序的执行read和load操作,如果把变量从工作内存中同步到主内存中,就需要执行store和wirte操作。

image-20210719192325187

同步规则分析

  1. 不允许一个线程无原因地(没有发生过任何assign操作)把数据从工作内存同步回主内存中
  2. 一个新的变量只能在主内存中诞生,不允许在工作内存中直接使用一个未被初始化(load或者assign)的变量。即就是对一个变量实施use和store操作之前,必须先自行assign和load操作。
  3. 一个变量在同一时刻只允许一条线程对其进行lock操作,但lock操作可以被同一线程重
    复执行多次,多次执行lock后,只有执行相同次数的unlock操作,变量才会被解锁。lock
    和unlock必须成对出现。
  4. 如果对一个变量执行lock操作,将会清空工作内存中此变量的值,在执行引擎使用这个
    变量之前需要重新执行load或assign操作初始化变量的值。
  5. 如果一个变量事先没有被lock操作锁定,则不允许对它执行unlock操作;也不允许去
    unlock一个被其他线程锁定的变量。
  6. 对一个变量执行unlock操作之前,必须先把此变量同步到主内存中(执行store和write
    操作)

(仅供自己学习记录)

这篇关于并发编程之JMM理解的文章就介绍到这儿,希望我们推荐的文章对大家有所帮助,也希望大家多多支持为之网!