原理剖析（第 001 篇）Volatile工作原理分析

最新推荐文章于 2022-05-02 14:36:50 发布
最新推荐文章于 2022-05-02 14:36:50 发布
阅读量680 收藏 2
点赞数
分类专栏： analysis JDK原理剖析 文章标签： concurrent java 缓存 多线程
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/YLIMH_HMILY/article/details/79327172
版权

原理剖析（第 001 篇）Volatile工作原理分析

-

一、大致介绍

1、用过这个关键字的童鞋都知道，都知道这个关键字很强大，主要作用是保证变量在多线程之间的可见性；
2、volatile在concurrent包中起着举足轻重的作用，为大量的并发类提供了有力的援助；
3、接下来我们从了解CPU缓存开始，然后再深入原理剖析，循序渐进的了解volatile；

二、CPU缓存

2.1 传输链路

CPU（线程） 
--》  CPU缓存（一级、二级、三级缓存等）  
--》  主内存

大致的传输方向就这样，而且还是必须是双向传输。

2.2 CPU缓存

1、CPU缓存解决了CPU运算速度与内存读者速度不匹配的问题；

2、因为主内存访问通常比较慢，访问时间大概在几十到几百个时钟，而CPU缓存还有一二三级之分，每个级别的读者速度虽然很快，
   但还是有访问速度的区分，至少比主内存的读者速度快很多，所以CPU缓存它的出现在很大程度上提高了数据之间的传输；

3、每一级缓存中所存储的数据全部都是下一级缓存中的一部分，这三种缓存的技术难度和制造成本是相对递减的，所以其容量也相对递增；

4、当CPU要读取一个数据时，首先从一级缓存中查找，如果没有再从二级缓存中查找，如果还是没有再从三级缓存中或内存中查找。
   一般来说每级缓存的命中率大概都有80%左右，也就是说全部数据量的80%都可以在一级缓存中找到；

三、原理特性

3.1、可见性

1、浅显的讲，不论线程是如何如何的访问带volatile字段的对象，都会访问到内存中最新的一份值，这就是可见性的大致阐述；

2、具体的讲，当我们在java代码中书写的那行对volatile对象进行写操作时，JVM会向处理器发送一条Lock指令，
   Lock指令锁住（锁总线）确保变量对象所在缓存行数据会更新到主内存中去，确保更新后如果再有其他线程访问该对象，
   其他线程一律强制从主内存中重新读取最新的值。

3、因为所有内存的传输都发生在一条共享的总线上，并且所有的处理器都能看到这条总线，那么既然所有处理器都能看到这条总线，
   总不至于看见了不干点啥吧？

4、没错，每个处理器都会通过一种嗅探技术，不停的嗅探总线上传输的数据，以便来检查自己缓存中的数据是否过期。
   当处理器发现高速缓存中的数据对应的内存地址被修改，会将该缓存数据置为失效，当处理器下次访问该内存地址
   数据时，将强制重新从系统内存中读取。

5、而且CPU制造商也曾制定了一个这样的规则：当一个CPU修改缓存中的字节对象时，服务器中其他CPU会被通知，它们的缓存将视为无效。
   当那些被视为无效变量所在的线程再次访问字节对象时，则强制再次从主内存中获取最新值。

6、至于第2点提到Lock锁总线，其实最初采用锁总线，虽说能解决问题，但是效率地下，一旦锁总线，其他CPU就得干等着，
   光看不干效率不行嘛。所以后来优化成了锁缓存，效率也高了，开销也自然就少了，总之Lock目的很明确，确保锁住的那份值最新，
   且其他持有该缓存的备份处都得失效，其实这种锁缓存过程的思想也正是缓存一致性协议的核心思想。

7、综上所述，所以不论何时不论何地在哪种多线程环境下，只要你想获取被volatile修饰过的字段，都能看到最新的一份值，
   这就是可见性的终极描述。

3.2、有序性

1、浅显的讲，A1，A2，A3三块代码先后执行，A2有一行代码被volatile修饰过，那么在被反编译成指令进行重排序时，A2必须等到A1
   执行完了才能开始，但是A1内部的指令可以支持重排指令；而A3代码块的执行必须等到A2执行完了才能开始，但是A3内部的指令可以支持
   重排指令，这就是有序性，只要A2夹在中间，A2必须等A1执行完才能干活，A2没干完活，A3是不允许开工的。

2、具体的讲，Lock前缀指令实际上相当于一个内存屏障（也成内存栅栏），它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置，
   也不会把前面的指令排到内存屏障的后面；即在执行到内存屏障这句指令时，在它前面的操作已经全部完成。

3、综上所述，有序不是我们通常说的自然顺序，而是在有volatile修饰时，存在类似尊卑等级的先后有序这么一说。

3.3、非原子性

1、本不该拿到台面上讲是不是属于volatile的特性，因为我们不能认为仅仅只是因为可见性随处都是最新值，那么就认为是原子性操作。

2、对于第1种想法，简直是大错特错，因为可见性只是将volatile变量这回主内存并使得其他CPU缓存失效，但是不带代表对volatile变量
   回写主内存的动作和对volatile变量的逻辑操作是捆绑在一起的。因此既要逻辑操作，又要写回主内存，这本来就违背了volatile特性
   的本意，所以volatile并不是原子操作的。

四、下载地址

https://gitee.com/ylimhhmily/SpringCloudTutorial.git

SpringCloudTutorial交流QQ群: 235322432

SpringCloudTutorial交流微信群: 微信沟通群二维码图片链接

欢迎关注，您的肯定是对我最大的支持!!!

-
<上一篇        首页        下一篇>

YLIMHHMILY
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
java 中volatile和lock原理分析
08-30
主要介绍了java 中volatile和lock原理分析的相关资料,需要的朋友可以参考下
后端开发进阶之路：从 Lock 指令前缀切入，解读 Java Volatile、CAS 及 Automic 包
Jin_Kwok的博客
09-05 211
初见之下，锁如同一把“万能钥匙”，但其缺陷也很明显——较“重”，并不适合简单的应用场景，比如，多线程环境下保证共享变量 i++ 操作的原子性，加锁可以实现，但有点“牛刀杀鸡” 的味道。因此，Java 提供了更 “轻” 的方案：volatile、CAS 和 Automic 系列原子类。三者联系紧密，volatile 和 CAS 都是基于 LOCK 指令前缀实现的，Automic 系列原子类是基于 volatile 和 CAS 实现的。
Volatile实现原理
m0_54202121的博客
05-02 656
文章目录Volatile底层实现DCL锁DCL需不需要加Volatile？？？Volatile三大特性：①保证可见性缓存一致性MESI总线嗅探总线风暴②不保证原子性解决不保证原子性添加synchronized/lock锁使用原子类解决③禁止指令重排序指令重排序：as-if-serial语义：happens-before原则：volatile禁止指令重排内存屏障 Volatile底层实现 保证内存可见性 Volatile缓存可见性实现原理： 底层实现主要通过汇编lock前缀指令，他会锁定这块区域的缓存(缓存行
java中volatile、synchronized和lock解析
weixin_44956418的博客
06-16 665
java中volatile、synchronized和lock解析 1、概述 在研究并发程序时，我们需要了解java中关键字volatile和synchronized关键字的使用以及lock类的用法。 首先，了解下java的内存模型： （1）每个线程都有自己的本地内存空间（java栈中的帧）。线程执行时，先把变量从内存读到线程自己的本地内存空间，然后对变量进行操作。 （2）对该变量操作完成后，在某个时间再把变量刷新回主内存。 那么我们再了解下锁提供的两种特性：互斥（mutual exclusion） 和可
volatile工作原理
weixin_39257342的博客
05-24 198
Java内存模型 要了解volatile的工作原理，需要先了解到硬件层面的Java内存模型，如下： 1.read(读取)：当前线程从主内存中读取到变量的值 2.load(载入)：把读取到的变量值加载到当前工作内存上 3.use(使用)：从工作内存中对读取的数据进行计算 4.assin(赋值)：计算后的值重新赋值到工作内存 5.store(存储)：将工作内存数据写入主内存中 6.write(写入)：从主内存中把值传给主内存的变量 7.lock(锁定)：作用于主内存的变量，把一个变量变成单个线程独占 8.unl
Java关键字volatile知识点总结
dcj19980805的博客
03-31 403
在本篇文章里小编给大家整理的是一篇关于Java关键字volatile知识点总结内容，有兴趣的朋友们可以学习参考下。 volatile是什么 volatile关键字是Java提供的一种轻量级同步机制。它能够保证可见性和有序性，但是不能保证原子性 可见性 对于volatile的可见性，先看看这段代码的执行 flag默认为true 创建一个线程A去判断flag是否为true，如果为true循环执行i++操作两秒后，创建另一个线程B将flag修改为false 线程A没有感知到flag已经被修改成false了，不能
关于volatile提供的可见性无法保证并发编程的思考
一名假人的博客
04-11 300
关于volatile提供的可见性无法保证并发编程的思考 题主最近在准备面试，正好复习到了多线程编程的知识点。其中有关validate于并发上的使用引起了我的思考。 一、介绍volatile 1. 什么是volatile？   有关volatile的介绍网上有很多介绍，题主总结能力有限就引用一下百度上的描述： volatile是Java提供的一种轻量级的同步机制。Java 语言包含两种内在的同步机制：同步块（或方法）和 volatile 变量，相比于synchronized（synchronized通常
Volatile的实现原理(看这篇就够了)
mikechen的互联网架构
01-17 3063
谈到并发编程就不得不提到并发三要素：原子性、可见性、有序性，而Volatile就会涉及到可见性与有序性，可见Volatile在并发编程的重要的地位。 所以需要重点掌握Volatile，为了助大家掌握好Volatile，我会重点讲到以下5点： 1.Volatile关键字 2.Java内存模型 3.Volatile内存模型可见性 4.Volatile的工作原理 5.Volatile的源码案例 在谈Volatile之前，我们先回顾下Java内存模型的三要素：原子性、可见性、有序性，也就是大家常提到的并发编程.
Volatile原理解析
weixin_42146366的博客
08-20 4821
一、实现原理     对于volatile的解释，我相信更直白的说就是对于一个被volatile关键字修饰的变量，在并发情况下Java内存模型（JMM）保证每个线程对该变量的可见性，保证他们读取的数据是一致的，因此volatile实现了数据的可见性，有序性，但不保证原子性（下文会详细解释）。但是怎样保证可见性的呢？在jvm底层对于volatile修饰的共享变量进行写操作的时候主要实现了两个步骤： 将当前处理器缓存行的数据写回到系统内存； 将其他处理器中缓存了该数据的
volatile的原理
suncat的博客
10-21 1086
Volatile工作原理分析 1.主要作用是保证变量在多线程之间的可见性； 2.volatile在concurrent包中起着举足轻重的作用，为大量的并发类提供了有力的援助； 接下来我们从了解CPU缓存开始，然后再深入原理剖析，循序渐进的了解volatile； 基础知识： CPU缓存 1.传输链路 CPU（线程） --》 CPU缓存（一级、二级、三级缓存等） --》 ...
深入分析java并发编程中volatile的实现原理
08-28
主要介绍了深入分析java并发编程中Volatile的实现原理，涉及Volatile的官方定义，实现原理，使用优化等相关内容，具有一定参考价值，需要的朋友可以了解下。
synchronized ReentrantLock volatile Atomic 原理分析.docx
06-26
原理 synchronized关键字是通过字节码指令来实现的 synchronized关键字编译后会在同步块前后形成monitorenter和monitorexit两个字节码指令 执行monitorenter指令时需要先获得对象的锁（每个对象有一个监视器锁...
电源技术中的介绍闪存电源原理图分析设计
10-22
闪速存储器（Flash Memory）是一类非易失性存储器NVM（Non-Volatile Memory）即使在供电电源关闭后仍能保持片内信息；而诸如DRAM、SRAM这类易失性存储器，当供电电源关闭时片内信息随即丢失。相对传统的EEPROM芯片，...
聊聊并发（一）深入分析Volatile的实现原理
04-01
NULL 博文链接：https://kiral.iteye.com/blog/1416354
原理剖析（第 012 篇）Netty之无锁队列MpscUnboundedArrayQueue原理分析
YLIMH_HMILY的专栏
03-31 3526
原理剖析（第 012 篇）Netty之无锁队列MpscUnboundedArrayQueue原理分析-一、大致介绍1、了解过netty原理的童鞋，其实应该知道工作线程组的每个子线程都维护了一个任务队列； 2、细心的童鞋会发现netty的队列是重写了队列的实现方法，覆盖了父类中的LinkedBlockingQueue队列，但是如今却换成了JCTools的一些并发队列，因为JCTools是一款对jdk并
原理剖析（第 007 篇）CountDownLatch工作原理分析
YLIMH_HMILY的专栏
03-12 962
原理剖析（第 007 篇）CountDownLatch工作原理分析-一、大致介绍1、在前面章节了解了CAS、AQS后，想必大家已经对这块知识有了深刻的了解了； 2、而JDK中有一个关于计数同步器的工具类，它也是基于AQS实现的； 3、那么本章节就和大家分享分析一下JDK1.8的CountDownLatch的工作原理；　二、简单认识CountDownLatch2.1 何为CountDownLatch？
原理剖析（第 013 篇）应用系统性能调优
YLIMH_HMILY的专栏
09-15 575
原理剖析（第 013 篇）应用系统性能调优 - 一、大致介绍 1. 本人接手的一个打车系统，因为出现了一次响应十分缓慢的情况，因此才有了应用调优的篇章； 2、由于过程中可能没有阐述的太清楚，如想详细了解可以留言之类的，希望其中的点点滴滴对大家有所帮助； 二、调优背景 在某一个月黑风高的夜晚，21点多以后，许许多多的小伙伴都相继下班了，然后大家开始习惯性的掏出自己心...
编译原理C语言词法分析器
最新发布
12-23
编译原理中的词法分析器是编译器的第一个阶段，它负责将源代码分解成一个个的词法单元（token）。对于C语言的词法分析器，可以按照C语言的词法定义来实现。以下是一个简单的C语言词法分析器的示例： ```python import re # 定义C语言的关键字 keywords = ['auto', 'break', 'case', 'char', 'const', 'continue', 'default', 'do', 'double', 'else', 'enum', 'extern', 'float', 'for', 'goto', 'if', 'int', 'long', 'register', 'return', 'short', 'signed', 'sizeof', 'static', 'struct', 'switch', 'typedef', 'union', 'unsigned', 'void', 'volatile', 'while'] # 定义C语言的运算符 operators = ['+', '-', '*', '/', '%', '=', '==', '!=', '>', '<', '>=', '<=', '&&', '||', '!', '&', '|', '^', '<<', '>>'] # 定义C语言的分隔符 delimiters = [';', ',', '(', ')', '{', '}', '[', ']'] # 定义词法分析函数 def lexer(code): tokens = [] code = code.replace('\n', ' ') # 去除换行符 code = re.sub(r'\s+', ' ', code) # 去除多余的空格 code = code.strip() # 去除首尾空格 while code: if code[0] == '"': # 处理字符串常量 end_index = code[1:].find('"') + 1 tokens.append(('STRING', code[:end_index+2])) code = code[end_index+2:] elif code[0].isalpha() or code[0] == '_': # 处理标识符和关键字 end_index = 1 while end_index < len(code) and (code[end_index].isalnum() or code[end_index] == '_'): end_index += 1 token = code[:end_index] if token in keywords: tokens.append(('KEYWORD', token)) else: tokens.append(('IDENTIFIER', token)) code = code[end_index:] elif code[0].isdigit(): # 处理数字常量 end_index = 1 while end_index < len(code) and code[end_index].isdigit(): end_index += 1 tokens.append(('NUMBER', code[:end_index])) code = code[end_index:] elif code[0] in operators: # 处理运算符 tokens.append(('OPERATOR', code[0])) code = code[1:] elif code[0] in delimiters: # 处理分隔符 tokens.append(('DELIMITER', code[0])) code = code[1:] else: # 处理其他字符 code = code[1:] return tokens # 测试代码 code = ''' #include <stdio.h> int main() { int a = 10; printf("Hello, world! %d\n", a); return 0; } ''' tokens = lexer(code) for token in tokens: print(token) ``` 运行以上代码，将会输出以下词法单元： ``` ('KEYWORD', '#include') ('DELIMITER', '<') ('IDENTIFIER', 'stdio.h') ('DELIMITER', '>') ('KEYWORD', 'int') ('IDENTIFIER', 'main') ('DELIMITER', '(') ('DELIMITER', ')') ('DELIMITER', '{') ('KEYWORD', 'int') ('IDENTIFIER', 'a') ('OPERATOR', '=') ('NUMBER', '10') ('DELIMITER', ';') ('IDENTIFIER', 'printf') ('DELIMITER', '(') ('STRING', '"Hello, world! %d\\n"') ('OPERATOR', ',') ('IDENTIFIER', 'a') ('DELIMITER', ')') ('DELIMITER', ';') ('KEYWORD', 'return') ('NUMBER', '0') ('DELIMITER', ';') ('DELIMITER', '}') ```

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值