volatile的可见性、原子性、有序性?
1.什么是volatile?
volatile是Java虚拟机提供的轻量级的同步机制
2.volatile特性
- 可见性
- 不保证原子性
- 禁止指令重排(有序性)
3.具体介绍
具体介绍之前,介绍一个概念JMM(Java内存模型Java Memory Model,简称JMM)本身是一种抽象的概念,并不真实存在,它描述一组规范或规则,通过此规范定义了程序中各个变量(包括实例字段,静态字段和构成数组对象的元素)的访问模式。
JMM关于同步的规定:
1. 线程解锁前,必须把共享变量的值刷新回主内存
2. 线程加锁前,必须读取主内存的最新值到自己的工作内存
3. 加锁解锁是同一把锁
出现了几个新名词:
主内存
工作内存
共享变量
由于JVM运行程序的实体是线程,而每个线程创建时JVM都会为其创建一个工作内存(栈空间),工作内存是每个现成的私有数据区,而java内存模型中规定所有变量都存储再主内存,主内存是共享内存区,所有线程可以访问,但线程对变量的操作(读取赋值等)必须在工作内存进行,首先将变量从主内存拷贝到自己的工作内存空间,然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量。不同线程无法访问对方的工作内存,线程间的传值必须通过主内存来完成。
这里的描述可以看出主内存就像JVM模型中的方法区和堆。而工作内存就像操作数栈。
3.1可见性
可见性就是线程对变量操作后写回主内存,其他线程可以看到更新后的值。
代码演示
package JVM;
class MyData {
volatile int num = 0;
public void To60() {
this.num = 60;
}
}
/**
* 验证volatile可见性
**/
public class VolatileDemo {
public static void main(String[] args) {
MyData myData = new MyData();
new Thread(() -> {
System