码迷,mamicode.com
首页 > 编程语言 > 详细

Java并发编程-JMM内存模型与volatile关键字

时间:2020-05-01 18:29:43      阅读:74      评论:0      收藏:0      [点我收藏+]

标签:alt   改变   问题   指令重排序   实现   load   引用类型   事先   成员   

1 Java内存模型-JMM内存模型

? Java内存模型(Java Memory Model简称JMM)是一种抽象的概念,并不真实存在,它描 述的是一组规则或规范,通过这组规范定义了程序中各个变量(包括实例字段,静态字段和构 成数组对象的元素)的访问方式。JVM运行程序的实体是线程,而每个线程创建时JVM都会为 其创建一个工作内存(有些地方称为栈空间),用于存储线程私有的数据,而Java内存模型中规 定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可以访问,但线程对变量的 操作(读取赋值等)必须在工作内存中进行,首先要将变量从主内存拷贝的自己的工作内存空 间,然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量, 工作内存中存储着主内存中的变量副本拷贝,前面说过,工作内存是每个线程的私有数据区域,因此不同的线程间无法访问对方的工作内存,线程间的通信(传值)必须通过主内存来完成。

1.1 主内存与工作内存

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

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

技术图片

  • 主内存

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

  • 工作内存

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

    根据JVM虚拟机规范主内存与工作内存的数据存储类型以及操作方式,对于一个实例对象中的成员方法而言,如果方法中包含本地变量是基本数据类型(boolean,byte,short,char,int,long,float,double),将直接存储在工作内存的帧栈结构中,但倘若本地变量是引用类型,那么该变量的引用会存储在功能内存的帧栈中,而对象实例将存储在主内存(共享数据区域,堆)中。但对于实例对象的成员变量,不管它是基本数据类型或者包装类型(Integer、Double等)还是引用类型,都会被存储到堆区。至于static变量以及类本身相关信息将会存储在主内存中。需要注意的是,在主内存中的实例对象可以被多线程共享,倘若两个线程同时调用了同一个对象的同一个方主要存储当前方法的所有本地变量信息(工作内存中存储着主内存中的变量副本拷贝),每个线程只能访问自己的工作内存,即线程中的本地变量对其它线程是不可见的,就算是两个线程执行的是同一段代码,它们也会各自在自己的工作内存中创建属于当前线程的本地变量,当然也包括了字节码行号指示器、相关Native方法的信息。注意由于工作内存是每个线程的私有数据,线程间无法相互访问工作内存,因此存储在工作内存的数据不存在线程安全问题。主要存储当前方法的所有本地变量信息(工作内存中存储着主内存中的变量副本拷贝),每个线程只能访问自己的工作内存,即线程中的本地变量对其它线程是不可见的,就算是两个线程执行的是同一段代码,它们也会各自在自己的工作内存中创建属于当前线程的本地变量,当然也包括了字节码行号指示器、相关Native方法的信息。注意由于工作内存是每个线程的私有数据,线程间无法相互访问工作内存,因此存储在工作内存的数据不存在线程安全问题。

    技术图片

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

? 多线程的执行终都会映射到硬件处理器上进行执行,但Java内存模型和硬件内存架构并不完全一致。对于硬件内存来说只有寄存器、缓存内存、主内存的概念,并没有工作内存(线程私有数据区域)和主内存(堆内存)之分,也就是说Java内存模型对内存的划分对硬件内存并没有任何影响,因为JMM只是一种抽象的概念,是一组规则,并不实际存在,不管是工作内存的数据还是主内存的数据,对于计算机硬件来说都会存储在计算机主内存中,当然也有可能存储到CPU缓存或者寄存器中,因此总体上来说,Java内存模型和计算机硬件内存架构是一个相互交叉的关系,是一种抽象概念划分与真实物理硬件的交叉。(注意对于Java内存区域划分也是同样的道理)

技术图片

1.3 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,但到底是哪种情况先发生呢?如以下示例图所示案例:

技术图片

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

  1. Lock(锁定) 作用于主内存的变量,将一个变量标识为一条线程独占的状态。
  2. unlock(解锁) 作用于主内存的变量,将一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定。
  3. read(读取)作用于主内存的变量,将一个变量的值从主内存传输到线程的工作内存中,以便随后的load动作使用。
  4. load(载入)作用于工作内存的变量,将read操作从主内存中得到的变量值放入工作内存的变量副本中。
  5. use (使用)作用于工作内存的变量,将工作内存中一个变量的值传递给执行引擎,每当虚拟机遇到一个需要使用到变量的字节码指令时将会执行这个操作。
  6. assign(赋值) 作用于工作内存变量,将一个从执行引擎接收到的值赋值给工作内存的变量(每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作)。
  7. store(存储) 作用于工作内存的变量,将工作内存中的一个变量传送到主内存中,以便于后续的write操作。
  8. write(写入) 作用于主内存变量,将store操作从工作内存中获得的变量的值传送到主内存变量中。

Java内存模型规定执行上述八种基本操作需要满足以下条件:

  1. 不允许read和load、store和write操作之一单独出现;
  2. 不允许一个线程丢弃它最近的assign操作;
  3. 不允许一个线程无原因把数据从线程工作内存同步回主内存;
  4. 不允许在工作内存中直接使用一个未被初始化(load 或 assign)的变量;
  5. 一个变量在同一时刻只允许一个线程对其进行lock操作;
  6. 如果对一个变量执行lock操作,将会清空工作内存中此变量的值,在执行引擎使用该变量前,需要重新执行load或assign操作初始化变量。
  7. 如果一个变量事先没有被lock操作锁定,则不允许对它执行unlock操作;
  8. 对一个变量执行unlock操作之前,必须先把此变量同步回主内存中。

2 volatile关键字

2.1 volatile内存语义

volatile是Java虚拟机提供的轻量级的同步机制。volatile关键字有如下两个作用

  • 保证volatile修饰的共享变量对于所有的线程总是可见的,也就是说当一个线程修改了一个被volatile修饰的共享变量的值时,新的值总是能够在第一时间被其它线程知道;
  • 禁止指令重拍的优化。
  1. volatile关键字的可见性
volatile boolean shutdown;
	
	public void shutdown() {
		shutdown = true;
	}
	
	public void doWork() {
		while (!shutdown) {
			// do stuff
		}
}

以上代码可以证明volatile关键字的可见性作用;多个线程同时执行时,某个线程改变了shutdown的值后,其它的线程能够立马感知到。

  1. volatile禁止重排优化

    ? volatile关键字另一个作用就是禁止指令重排优化,从而避免多线程环境下程序出现乱序执行的现象,关于指令重排优化前面已详细分析过,这里主要简单说明一下volatile是如何实现禁止指令重排优化的。先了解一个概念,内存屏障(Memory Barrier)。

    内存屏障,又称内存栅栏,是一个CPU指令,它的作用有两个,一是保证特定操作的执行顺序,二是保证某些变量的内存可见性(利用该特性实现volatile的内存可见性)。由于编译器和处理器都能执行指令重排优化。如果在指令间插入一条Memory Barrier则会告诉编译器和CPU,不管什么指令都不能和这条Memory Barrier指令重排序,也就是说通过插入内存屏障禁止在内存屏障前后的指令执行重排序优化。Memory Barrier的另外一个作用是强制刷出各种CPU的缓存数据,因此任何CPU上的线程都能读取到这些数据的 新版本。总之, volatile变量正是通过内存屏障实现其在内存中的语义,即可见性和禁止重排优化。下面看一个非常典型的禁止重排优化的例子DCL,如下:

    public class Singleton {
        private static Singleton instance = null;
        public  static Singleton getInstance() {
            if(null == instance) {    // 线程二检测到instance不为空
                synchronized (Singleton.class) {
                    if(null == instance) {                    
                        instance = new Singleton();    // 线程一被指令重排,先执行了赋值,但还没执行完构造函数(即未完成初始化)    
                    }
                }
            }
            
            return instance;    // 后面线程二执行时将引发:对象尚未初始化错误
            
        }
    }
    
  2. volatile 无法保证原子性

public class VolatileVisibility {
    public static volatile int i =0;   
 	  public static void increase(){
    i++;
    }
}

在并发场景下,i变量的任何改变都会立马反应到其他线程中,但是如此存在多条线程同时调用increase()方法的话,就会出现线程安全问题,毕竟i++;操作并不具备原子性,该操作是先读取值,然后写回一个新值,相当于原来的值加上1,分两步完成,如果第二个线程在第一个线程读取旧值和写回新值期间读取i的域值,那么第二个线程就会与第一个线程一起看到同一个值,并执行相同值的加1操作,这也就造成了线程安全失败,因此对于increase方法必须使用synchronized修饰,以便保证线程安全,需要注意的是一旦使用synchronized修饰方法后,由于synchronized本身也具备与volatile相同的特性,即可见性,因此在这样种情况下就完全可以省去volatile修饰变量。

Java并发编程-JMM内存模型与volatile关键字

标签:alt   改变   问题   指令重排序   实现   load   引用类型   事先   成员   

原文地址:https://www.cnblogs.com/teago/p/12814030.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!