浅谈volatile

在讨论volatile之前我们先来了解下cpu与内存之间的关系:


CPU.png

手残党、图丑、大家心中有个大概就行了。

图中的缓存为cpu缓存,实际上电脑一般设有三级缓存。cpu缓存为于cpu和内存之间的临时存储器,它的容量很小但交换速度却比内存快得多。

缓存的出现主要是为了解决CPU运算速度与内存读写速度不匹配的矛盾,因为CPU运算速度要比内存读写速度快很多,这样会使CPU花费很长时间等待数据到来或把数据写入内存。具体大家可自行百度。

volatile提供的三个特性:

  • 原子性:

    一个很好的例子是:32位机上的long类型读写操作是分为高低位读写两次的,并且不原子性。所谓原子性是指一个集合操作中所有操作“同生共死”、要么一起成功执行要么一起不执行。

    long i = 0; i = 10;

    当有一条线程执行到i = 10时,首先会为低16位进行赋值,倘若此时有另一条线程来读取时只会读到只赋值的低16位的数据,从而造成bug的出现。
    不过volatile并不能代替锁,它无法保证复合操作的原子性,例如:i++,实际上此操作是由三个步骤组成的:首先取得i的值,再对i进行+1,再将结果写回i。

  • 可见性:

    就如上图所示,每个CPU都有属于自己的缓存

    int i = 0;
    线程1执行的代码
    i = 10;
    
    线程2执行的代码
    j = i;
    

    假设线程1先于线程2执行,并且CPU1执行线程1、CPU2执行线程2。

    当线程1执行 i =10这句时,会先把i的初始值加载到CPU1的高速缓存中,然后赋值为10,那么在CPU1的高速缓存当中i的值变为10了,却没有立即写入到内存当中。

此时线程2执行 j = i,它会先去主存读取i的值并加载到CPU2的缓存当中,注意此时内存当中i
  的值还是0,那么就会使得j的值为0,而不是10。

这就是可见性问题,线程1对变量i修改了之后,线程2没有立即看到线程1修改的值。
  
  当一个共享变量被volatile修饰时,它会保证修改的值会立即被更新到内存中,当有其他线程需
  要读取时,它会去内存中读取新值。

  • 有序性:

    大部分人会认为程序执行顺序会和代码编写顺序一样,其实不然。在JMM内存模型中允许编译器和处理器对指令进行重新排序来进行优化、以便于CPU能够并行执行指令,从而提高效率。

    在单线程中重排序的结果不会影响程序的运行结果,但却会影响多线程并行执行的正确性了。
    举个简单的栗子:

    Thread 1    Thread 2
    1:r2 = A    3:r1 = b
    2:b = 1     4:A = 2
    

    从顺序上看 (r2 == 2) 、(r1 == 1) 应该不可能出现,但如果被重排序成下列顺序是就不一定了:

    Thread 1    Thread 2
    b = 1       r1 = b
    r2 = A      A = 2
    

    再举一个稍微复杂的例子:

    class order {
        int a = 0;
        boolean flag = false;
        public void writer() {
            a = 1;
            flag = true;
        }
        public void reader() {
            if (flag) {
                int i = a + 1;
                dosomething;
            }
        }
    }
    

    假设线程A先执行writer()方法,然后线程B执行reader()方法。当发生指令重排序后,writer()方法中的flag的写入可能会先于a的写入,造成线程B在执行reader方法时判断正确并为i赋值。

    指令重排序带来的可见性问题

    虽然指令重排序会带来许多问题,但却能有效提高效率,并且在串行代码中大家可放心:

    指令重排序可以保证串行语义一致,但没有义务保证多线程之间的语义也一致。

Java虚拟机还规定了些规则指定了哪些指令不能重排序

Happen-Before 规则:

  • 程序顺序原则:一个线程内保证语义的串行性
  • volatile规则:volatile变量的写,先发送于读,保证volatile变量的可见性
  • 锁规则:解锁必然先发生于随后的加锁前
  • 传递性:A先于B,B先于C,那么A必然先于C
  • 线程的start()方法先于它的每一个动作
  • 线程的中断先于被中断程序的代码
  • 对象的构造函数的执行,结束先于finalized()方法

总的来说,volatile还涉及到JMM内存模型等相关知识。推荐大家去看《Java并发编程的艺术》和《Java高并发程序设计》,里面讲解更加透彻。

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

推荐阅读更多精彩内容