volatile详解

前言

被volatile修饰的变量能够保证每个线程能够获取该变量的最新值,从而避免出现数据脏读的现象。

相信很多人都用过volatile这个关键字,也知道它的妙用,但是其底层原理是否知晓呢?通过这篇文章就一目了然了。 在了解volatile之前CPU多及缓存架构和JMM内存模型,如果不了解的在我的其他文章里面有讲到这两点。

这里很直观的感受到volatile的效果:被volatile修饰的变量能够保证每个线程能够获取该变量的最新值。 当flag加了volatile关键字修饰时,线程2修改完flag的值之后线程1能感受到flag变量被修改了,为什么会这样子呢?下面结合JMM原子性操作对实现机制进行深入讲解。

  1. 声明一个变量flag = true,存储在主内存中

  2. 通过read方法读取变量flag=true(线程1、2)

  3. 通过load方法加载变量flag=true到各自线程的工作内存(线程1、2)

  4. 通过use方法使用本线程工作内存中变量flag=true(线程1进入死循环状态,知道flag变成了false)

  5. 线程2通过assign方法对本地变量flag进行计算并赋值flag=false

  6. 线程2准备通过store方法将本地变量flag=false写入主内存,此时会调用lock方法对这块内存区域的缓存进行锁定(缓存行锁定)。

  7. 通过lock对缓存行锁定之后,MESI总线嗅探机制监听到变量flag的值发生了变化,此时会对所有使用该变量线程工作内存中的flag变量进行失效,导致其他线程需要从2步骤开始重新从主内存获取flag变量(其他线程从主内存获取flag变量的时机需要等待缓存行解锁,如果此处不对缓存行进行锁定,那么其他线程去读取主内存时可能获取到的变量还是原来的值)。

  8. 线程2通过write方法对主内存变量flag进行修改(对flag变量重新赋值)

  9. 线程2调用unlock方法,对锁定的缓存行进行解锁,解锁完成之后其他线程从主内存重新获取变量flag=false。

volatile主要通过汇编lock前缀指令,它会锁定当前内存区域的缓存(缓存行),并且立即将当前缓存行数据写入主内存(耗时非常短),回写主内存的时候会通过MESI协议使其他线程缓存了该变量的地址失效,从而导致其他线程需要重新去主内存中重新读取数据到其工作线程中。

volatile原子性分析

volatile能保证原始数据类型赋值的原子性,无法保证复合操作的原子性。

上面程序运行最终结果都会小于等于10000,为什么会出现这种情况呢,罪魁祸首就是在并发情况下违背了原子性操作导致,接下来一步一步进行分析原由。

  1. 线程的运行有随机性,假设此时线程1、2、3都从主内存读取变量i=0到了各自线程的工作内存

  2. 线程1、2、3都开始通过assign对本地变量进行赋值操作,此时各自线程内都变量i的值都变成了1

  3. 线程2优先调用原子方法store进行变量的主内存回写操作,此时通过lock对缓存行(i的缓存)进行锁定,由于线程2优先抢到了锁,导致线程1、3不能将其工作内存的变量i写回到主内存,并且此时通过CPU总线MESI协议将其工作内存变量i的地址失效,导致线程1、3的本次计算结果丢失

  4. 同理,线程4后执行,读取到了线程2修改变量i的值为2之后执行计算,当有其他线程抢先lock写入内存的时候,线程4的计算结果也会丢失,在这些巧合之下导致i最终计算结果会小于等于10000。

只需要在add方法处加上synchronized关键字进行修改,保证add方法的原子性就能保证每次执行结果都是10000。synchronized回在后面的文章中讲到

volatile有序性分析

  1. [a=0,b=0]:两个线程同时执行到语句1和与语句4,此时从主内存获取到变量x、y值为0

  2. [a=1,b=0]:线程2先执行语句3、4,此时读取从主内存获取到变量x值为0,并为变量b赋值0,之后赋y为1,并将=1写入到主内存,之后线程1执行到语句1,从主内存获取y=1赋值给a

  3. [a=0,b=1]:线程1先执行语句1、2,此时读取从主内存获取到变量y值为0,并为变量a赋值0,之后赋x为1,并将=1写入到主内存,之后线程2执行到语句3,从主内存获取x=1赋值给b

  4. 语句1和语句2进行了指令重排,导致语句1优先与语句2先执行,语句3、4同理,此时主内存中x、y都变成了1,之后a、b赋值的时候都取到了1

当x、y通过volatile进行修饰时

执行的结果就只有三种情况了[a=0,b=0, a=1,b=0, a=0,b=1]
volatile修饰变量之后回禁止指令重排,语句1一定在语句2之前执行,语句3一定会在语句4之前执行。

volatile重排序规则表(针对编译器重排序):

上面的例子符合第二个volatile写第一个普通写规则,编译器不会进行重排序。

为了实现volatile内存语义时,编译器在生成字节码时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。对于编译器来说,发现一个最优布置来最小化插入屏障的总数几乎是不可能的,为此,JMM采取了保守策略:

  1. 在每个volatile写操作的前面插入一个StoreStore屏障;

  2. 在每个volatile写操作的后面插入一个StoreLoad屏障;

  3. 在每个volatile读操作的后面插入一个LoadLoad屏障;

  4. 在每个volatile读操作的后面插入一个LoadStore屏障。

需要注意的是:volatile写是在前面和后面分别插入内存屏障,而volatile读操作是在后面插入两个内存屏障

StoreStore屏障:禁止上面的普通写和下面的volatile写重排序;

StoreLoad屏障:防止上面的volatile写与下面可能有的volatile读/写重排序

LoadLoad屏障:禁止下面所有的普通读操作和上面的volatile读重排序

LoadStore屏障:禁止下面所有的普通写操作和上面的volatile读重排序


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

推荐阅读更多精彩内容

  • 本文从计算机模型开始,以及CPU与内存、IO总线之间的交互关系到CPU缓存一致性协议的逻辑进行了阐述,并对JMM的...
    vivo互联网技术阅读 135评论 0 0
  • volatile volatile是Java虚拟机提供的轻量级的同步机制,保证可见性,不保证原子性,禁止指令重排(...
    西界__阅读 144评论 0 1
  • volatile关键字修饰的共享变量主要有两个特点:1.保证了不同线程访问的内存可见性 2.禁止重排序 在说内存可...
    fad2aa506f5e阅读 256评论 0 0
  • 一、volatile的作用详解 1、防重排序 在并发环境下的单例实现方式,我们通常可以采用双重检查加锁(D...
    淡若飘絮阅读 153评论 0 1
  • 今天感恩节哎,感谢一直在我身边的亲朋好友。感恩相遇!感恩不离不弃。 中午开了第一次的党会,身份的转变要...
    迷月闪星情阅读 10,498评论 0 11