Java并发学习之Volatile及内存模型探究

volatile工做原理

java编程语言容许线程访问共享变量，为了确保共享变量能被准确和一致的更新，线程应该确保经过排他锁单独得到这个变量。

Java语言提供了volatile，在某些状况下比锁更加方便。若是一个字段被声明成volatile，java线程内存模型确保全部线程看到这个变量的值是一致的。

若想清楚理解volatile关键字是如何保障共享变量在多线程之间正常使用的须要了解如下几点

• java的内存模型
• 原子性，可见性，有序性
• volatile的工做原理
• 测试case

I. Java的内存模型

1. 内存模型

精简一点，概念以下：

指令在CPU中执行，CPU运行速度较快，所以为减小从内存中频繁读写数据的开销，在cpu与内存的操做之间，有个高速缓存的的区域

获取数据流程：

• 从缓存中获取Data
• 缓存中存在，则直接返回
• 缓存中不存在
  • 从内存中获取Data数据
  • 将Data数据写入缓存
  • 返回Data数据

上面的流程中，第一步会致使一致性问题，分析以下

若内存中Data已更新，但缓存中数据未更新，此时返回缓存中Data，返回的是旧数据

解决方案：

• 总线上加LOCK#锁
  • 由于CPU和其余部件进行通讯都是经过总线来进行的，若是对总线加LOCK#锁的话，也就是说阻塞了其余CPU对其余部件访问（如内存），从而使得只能有一个CPU能使用这个变量的内存
• 缓存一致性协议
  • 在内存中数据发生变动后，同时使全部缓存中的数据失效，在访问缓存中数据时，优先判断是否已经失效，若失效则从内存中获取最新的数据回写到缓存中，并返回

2. Java内存模型

java内存模型，主要是为了屏蔽不一样的硬件，操做系统的内存访问差别，使Java程序能够达到跨平台的目的，从而定义的一套模型

线程之间的共享变量存储在主内存中，每一个线程都有一个私有的本地内存，本地内存保存该线程读写共享变量的副本

所以也存在上面的一致性问题，即如何保证线程对共享变量的修改后，其余的线程能访问到最新的共享变量

指令重排序

Java内存模型中，容许编译器和处理器对指令进行重排序，可是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性

举例说明

int i;
boolean ans;

i = 10;
ans = true;

上面的代码中，i和ans的赋值前后顺序因为指令重排，可能会出现ans=true时，i依然为0的状况

II. 原子性，可见性，顺序性

原子性

表示不可再继续分割

• java中除了 (long,double)的赋值是非原子性的，其余的基本变量、对象的赋值都是原子性的
• ++/-- 操做是非原子性的

可见性

一个线程对共享变量的修改，确保对其余线程可见（即另外一个线程能访问到修改后的数据）

• 用volatile进行声明变量，保证可见

顺序行

程序执行的顺序按照代码的前后顺序执行

• volatile 禁止指令重排
• 在修改变量时，加锁(synchronized,lock)，确保同一时刻只有一个线程修改变量

III. Volatile关键字

用法

• 在变量前面加上volatile便可

做用

• 确保共享变量的修改，对其余线程都是当即可见的
• 禁止指令重排（即当访问or修改volatile修饰的共享变量时，确保前面的代码都执行完了）

原理和实现机制

• 修改volatile声明的共享变量，会强制要求修改后的值写入内存，并失效其余线程的本地内存中的副本
• 汇编以后，加入volatile关键字时，会多出一个lock前缀指令
• 它确保指令重排序时不会把其后面的指令排到lock指令以前，也不会把前面的指令排到lock指令以后

IV. 使用场景&小结

1.volatile关键字没法保证操做的原子性

2.volatile关键字，禁止共享变量的指令重排，确保修改对全部线程当即可见

3.使用场景

• 对变量的写操做不依赖于当前值
  • (由于volatile不保证原子性，若依赖本身的值)
• 变量独立使用
  • 如 volatile 定义变量i，还有一个没有被volatile修饰的变量j
  • int ans = i + j;（也没法保障准确性）

经典的单例case写法

class Singleton{
    private volatile static Singleton instance = null;
     
    private Singleton() {
    }
     
    public static Singleton getInstance() {
        if(instance==null) {
            synchronized (Singleton.class) {
                if(instance==null)
                    instance = new Singleton();
            }
        }
        return instance;
    }
}

参考

• Java并发编程：volatile关键字解析
• 全面理解Java内存模型

扫描关注，java分享