Java 多线程编程之三 volatile 与 JMM 内存模型
大纲
- Java 多线程编程之一 Java 内存模型浅析
- Java 多线程编程之二 synchronize 锁对象竞争
- Java 多线程编程之三 volatile 与 JMM 内存模型
- Java 多线程编程之四 CAS 与锁
JMM 内存模型介绍
JMM 概述
JMM 是 Java 内存模型 (Java Memory Model),本身是一种抽象的概念,实际上并不存在。它描述的是一组规则或规范,通过这组规范定义了程序中各个变量 (包括实例字段,静态字段和构成数组对象的元素) 的访问方式。
- JMM 中关于同步的规定
- 线程解锁前,必须把共享变量的值刷新回主内存
- 线程加锁前,必须读取主内存的最新值,并存储在自己的工作内存
- 加锁和解锁必须是同一把锁
由于 JVM 运行程序的实体是线程,而每个线程在创建时 JVM 都会为其创建一个工作内存 (有些地方称为栈空间),工作内存是每个线程的私有数据区域,而 Java 内存模型中规定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可以访问,但线程对变量的操作 (读取、赋值等) 必须在工作内存中进行,首先要将变量从主内存拷贝到自己的工作内存空间,然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量,各个线程中的工作内存中存储着主内存中的变量副本拷贝,因此不同的线程间无法访问对方的工作内存,线程间的通信 (传值) 必须通过主内存来完成。线程、工作内存、主内存工作交互图 (基于 JMM 规范),如下: