Java基础-并发编程-volatile关键字使用与原理分析

Java工程师知识树 / Java基础


volatile的使用

volatile用于保证不同的线程共享一个变量时每次都能获取最新的值。

volatile 具有锁的部分功能并且性能比锁更好,所以也被称为轻量级锁。

不加锁时,出现死锁现象:

package com.thread.study;

public class VisibilityTest {

    private boolean flag = true; // 不使用volatile 之前

    public void refresh() {
        flag = false;
        System.out.println(Thread.currentThread().getName().concat("修改flag"));
    }

    public void load() {
        System.out.println(Thread.currentThread().getName().concat("开始执行"));
        int i = 0;
        while (flag) {
            i ++;
        }
        System.out.println(Thread.currentThread().getName().concat("跳出循环了,此时i = ").concat(String.valueOf(i)));
    }

    public static void main(String[] args) {
        VisibilityTest test = new VisibilityTest();
        new Thread(test::load,"加载数据线程:").start();
        try {
            Thread.sleep(2000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        new Thread(test::refresh,"刷新标识线程:").start();
    }

}

执行结果:出现死锁 ,如下图所示


使用volatile修饰变量后执行结果:

加载数据线程:开始执行
刷新标识线程:修改flag
加载数据线程:跳出循环了,此时i = 1363490114

volatile关键字针对其修饰的变量作用

  1. 保证多线程中的共享变量是始终可见的。(但不保证volatile引用对象内部的属性是完全可见的)。(保障变量线程间可见性)
  2. 防止相关代码的重排序,从指令级别达到了轻量级锁的目的。(保障相关代码执行的有序性)
  3. 对于volatile修饰的变量必须一次性赋值。(保障对其修饰的变量本身的原子性)

volatile的应用场景

正确的使用场景,基本符合一个原则:一写多读:有一个数据,只由一个线程更新,其他线程都来读取。

比如,有一个系统回调,告诉我们最新的设备的经纬度,而其他的线程需要去用这个经纬度做一些计算,那么这个经纬度就一直被第一个线程写,其他线程就只负责读取。此时,经纬度就很适合用volatile修饰,这样可以保证其他线程永远读取到的是最新的数值。

比如,单例模式。

volatile 实现原理

可见性

使用 volatile 修饰共享变量后,每个线程要操作变量时会从主内存中将变量拷贝到本地内存作为副本,当线程操作变量副本并写回主内存后,会通过CPU 总线嗅探机制 告知其他线程该变量副本已经失效,需要重新从主内存中读取。

嗅探机制工作原理:每个处理器通过监听在总线上传播的数据来检查自己的缓存值是不是过期了,如果处理器发现自己缓存行对应的内存地址修改,就会将当前处理器的缓存行设置无效状态,当处理器对这个数据进行修改操作的时候,会重新从主内存中把数据读到处理器缓存中。

注意:基于 CPU 缓存一致性协议,JVM 实现了 volatile 的可见性,但由于总线嗅探机制,会不断的监听总线,如果大量使用 volatile 会引起总线风暴。所以,volatile 的使用要适合具体场景。

有序性

为了实现 volatile 内存语义(即内存可见性),JMM 会限制特定类型的编译器和处理器重排序。

重排序规则表

使用 volatile 修饰变量时,根据 volatile 重排序规则表,Java 编译器在生成字节码时,会在指令序列中插入内存屏障指令来禁止特定类型的处理器重排序。

内存屏障是一组处理器指令,它的作用是禁止指令重排序和解决内存可见性的问题。底层使用汇编语言lock addl $0x0,(%rsp)命令实现。

在JMM中,内存屏障的插入策略如下:

  • 在每个volatile写操作的前面插入一个StoreStore屏障
  • 在每个volatile写操作的后面插入一个StoreLoad屏障
  • 在每个volatile读操作的前面插入一个LoadLoad屏障
  • 在每个volatile读操作的后面插入一个LoadStore屏障

StoreStore屏障可以保证在volatile写之前,前面所有的普通读写操作同步到主内存中
StoreLoad屏障可以保证防止前面的volatile写和后面有可能出现的volatile度/写进行重排序
LoadLoad屏障可以保证防止下面的普通读操作和上面的volatile读进行重排序
LoadStore屏障可以保存防止下面的普通写操作和上面的volatile读进行重排序
上面的内存屏障策略可以保证任何程序都能得到正确的volatile内存语义。

内存屏障的插入策略

总结:编译器不会对 volatile 读与 volatile 读后面的任意内存操作重排序;编译器不会对 volatile 写与 volatile 写前面的任意内存操作重排序。

原子性

示例:

package com.thread.study;

public class TicketWindow implements Runnable {

    public static volatile int TICKET_NUM = 10; // 以为关键字volatile后,这段程序就是线程安全的,可是事实并不是如此

    @Override
    public void run() {
        while (true) {
            if (TICKET_NUM > 0) {
                try {
                    Thread.sleep(1);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                System.out.println(Thread.currentThread().getName() + "卖了票号为" + TICKET_NUM-- + "的票");
            } else {
                return;
            }
        }
    }

    public static void main(String[] args) {
        TicketWindow ticketWindow = new TicketWindow();
        Thread t1 = new Thread(ticketWindow, "1号售票窗口");
        Thread t2 = new Thread(ticketWindow, "2号售票窗口");
        Thread t3 = new Thread(ticketWindow, "3号售票窗口");
        t1.start();
        t2.start();
        t3.start();

    }
}
//打印结果
1号售票窗口卖了票号为10的票
3号售票窗口卖了票号为9的票
2号售票窗口卖了票号为8的票
1号售票窗口卖了票号为7的票
3号售票窗口卖了票号为6的票
2号售票窗口卖了票号为6的票
1号售票窗口卖了票号为5的票
2号售票窗口卖了票号为4的票
3号售票窗口卖了票号为4的票
1号售票窗口卖了票号为3的票
2号售票窗口卖了票号为2的票
3号售票窗口卖了票号为2的票
1号售票窗口卖了票号为1的票
3号售票窗口卖了票号为0的票
2号售票窗口卖了票号为-1的票

分析:TICKET_NUM--其实是一个复合操作,包括三步骤: (1)读取TICKET_NUM的值。(2)对TICKET_NUM减1。 (3)将TICKET_NUM的值写回内存。 volatile是无法保证这三个操作是具有原子性的。

volatile 可以使纯赋值操作是原子的,如 boolean flag = true; falg = false。但是对 ++,--等字节指令为多个的操作不能保证原子性。所以,对于volatile修饰的变量必须一次性赋值。

volatile为什么不能保证原子性?

修改volatile变量分为四步:

  • 1)读取volatile变量到本地内存
  • 2)修改变量值
  • 3)本地内存值写回
  • 4)插入内存屏障,即lock指令,让其他线程可见
    前三步都是不安全的,取值和写回之间,不能保证没有其他线程修改。volatile修饰变量原子性需要锁来保证。
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 215,539评论 6 497
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,911评论 3 391
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 161,337评论 0 351
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,723评论 1 290
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,795评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,762评论 1 294
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,742评论 3 416
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,508评论 0 271
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,954评论 1 308
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,247评论 2 331
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,404评论 1 345
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,104评论 5 340
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,736评论 3 324
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,352评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,557评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,371评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,292评论 2 352

推荐阅读更多精彩内容