volatile 关键字说明

公众号:码农乐园 等级 870 0 0

volatile 变量修饰的共享变量进行写操作前会在汇编代码前增加 lock 前缀:

1),将当前处理器缓存行的数据写回到系统内存;

2),这个写会内存的操作会使其它 cpu 缓存该内存地址的数据无效。

Java 语言 volatile 关键字可以用一句贴切的话来描述 “ 人皆用之,莫见其形 “。理解 volatile 对理解它对理解 Java 的整个多线程的机制非常有帮助。

JVM 内存结构中有一个非常重要的内存区域叫做线程栈 , 每个线程的栈大小可以通过设置 JVM 参数-Xss, -Xss128k 表示每个线程堆栈大小为 128K,JDK1.5 默认值为 1M。

线程栈内存存储了基本类型变量和对象引用,当访问了对象的某一实例变量时,通过在栈中获得对象引用再获取变量的值,然后将变量的值拷贝至线程的工作内存。

每个线程 (处理器) 都有工作内存,工作内存存了该线程以读写共享变量的副本。工作内存是 JMM 抽象概念 , 并不真实存在。

它涵盖了缓存、写缓冲区、寄存器和其它硬件和编译器优化。

volatile 关键字说明

1),read and load 从主存复制变量到当前工作内存;

2),use and assign 执行代码,改变共享变量值;

3),store and write 用工作内存数据刷新主存相关内容;

4),其中 use and assign 可以多次出现。

但是这一些操作并不是原子性,也就是在 read load 之后,如果主内存 count 变量发生修改之后,线程工作内存中的值由于已经加载,不会产生对应的变化,所以计算出来的结果会和预期不一样。

可见性指的是一个线程对变量的写操作对其他线程后续的读操作可见。

由于现代 CPU 都有多级缓存,CPU 的操作都是基于高速缓存的,而线程通信是基于内存的,这中间有一个 Gap, 可见性的关键还是在对变量的写操作之后能够在某个时间点显示地写回到主内存,这样其他线程就能从主内存中看到最新的写的值。volatile,synchronized(隐式锁), 显式锁,原子变量这些同步手段都可以保证可见性。可见性底层的实现是通过加内存屏障实现的:

1),写变量后加写屏障,保证 CPU 写缓冲区的值强制刷新回主内存;

2),读变量之前加读屏障,使缓存失效,从而强制从主内存读取变量最新值。

总结: 在并发环境保证有序性、可见性,但原子性没办法保证。

收藏
评论区

相关推荐

JVM--指令重排序+volatile关键字
volatile 关键字 1、 volatile 翻译为 不稳定的,容易改变的。意思很明确,如果使用volatile 定义一个变量,意思就是可能该变量改变频繁,并且设计到多线程访问问题。 2、不过 现在jdk 的synchronized关键字 性能已经足够出色,也提供了多种Lock 类,因此 volatile关键字能实现的功能 jdk 的同步方法都能够实
volatile 关键字说明
volatile 变量修饰的共享变量进行写操作前会在汇编代码前增加 lock 前缀: 1),将当前处理器缓存行的数据写回到系统内存; 2),这个写会内存的操作会使其它 cpu 缓存该内存地址的数据无效。 Java 语言 volatile 关键字可以用一句贴切的话来描述 “ 人皆用之,莫见其形 “。理解 volatile 对理解它对理解 Java
Java Volatile理解
**参考资料:** [http://www.google.com/cse?sa.x=0&sa.y=0&cx=010284515138798138769%3Aajbqkpwaapm&ie=UTF-8&q=volatile#gsc.tab=0&gsc.q=volatile&gsc.page=1](https://www.oschina.net/action/Go
Java基础面试题(三) (2020持续更新)
前言 -- > **全套面试题请直接转到文章末尾** 1.Java 中能创建 volatile 数组吗? ------------------------- > 能,Java 中可以创建 volatile 类型数组,不过只是一个指向数组的引用,而不 > > 是整个数组。我的意思是,如果改变引用指向的数组,将会受到 volatile 的保护, > >
Java多线程之volatile关键字
**volatile关键字** 1 import java.util.concurrent.TimeUnit; 2 3 /** 4 * volatile 5 * volatile 比 synchronized 效率高很多 6 * 能用volatile就不要用synchronized,很多并
Java多线程之volatile详解
目录: 什么是volatile? JMM内存模型之可见性 volatile三大特性之一:保证可见性 volatile三大特性之二:不保证原子性 volatile三大特性之三: 禁止指令重排 小结 1. 什么是volatile? 答:volatile是java虚拟机提供的轻量级的同步机制(
Java并发编程:volatile关键字解析
volatile这个关键字可能很多朋友都听说过,或许也都用过。在Java  5之前,它是一个备受争议的关键字,因为在程序中使用它往往会导致出人意料的结果。在Java 5之后,volatile关键字才得以重获生机。   volatile关键字虽然从字面上理解起来比较简单,但是要用好不是一件容易的事情。由于volatile关键字是与Java的内存模型有关
Java并发(六):volatile的实现原理
synchronized是一个重量级的锁,`volatile`通常被比喻成轻量级的`synchronized` `volatile`是一个变量修饰符,只能用来修饰变量。 volatile写:当写一个volatile变量时,JMM会把该线程对应的本地内存中的共享变量刷新到主内存。 volatile读:当读一个volatile变量时,JMM会把该线程对应的
Java理论与实践:正确使用volatile 变量
Java 语言中的 volatile 变量可以被看作是一种 “程度较轻的 `synchronized`”;与 `synchronized` 块相比,volatile 变量所需的编码较少,并且运行时开销也较少,但是它所能实现的功能也仅是 `synchronized` 的一部分。本文介绍了几种有效使用 volatile 变量的模式,并强调了几种不适合使用 vol
java同步机制(1)Volatile变量
**Java语言包含两种内在的同步机制:同步块(或方法)和 volatile 变量(不稳定变量)。这两种机制的提出都是为了实现代码线程的安全性。其中 Volatile 变量的同步性较差(但有时它更简单并且开销更低),而且其使用也更容易出错。Java 语言中的 volatile 变量可以被看作是一种 “程度较轻的 synchronized”;与 synchr
java多线程——volatile
这是java多线程第三篇: > [《java 多线程—线程怎么来的》](https://my.oschina.net/u/1859679/blog/1517807) > > [《java多线程-内存模型》](https://my.oschina.net/u/1859679/blog/1525343) 上一篇《java多线程—内存模型》已经讲解了java
java并发编程(一)
Java并发编程:volatile关键字解析 volatile这个关键字可能很多朋友都听说过,或许也都用过。在Java 5之前,它是一个备受争议的关键字,因为在程序中使用它往往会导致出人意料的结果。在Java 5之后,volatile关键字才得以重获生机。 volatile关键字虽然从字面上理解起来比较简单,但是要用好不是一件容易的事情。由于volat
volatile 手摸手带你解析
![](https://oscimg.oschina.net/oscnet/up-dd725cad8a8b1bffe9ae4c3393eccddac22.JPEG) 前言 == volatile 是 Java 里的一个重要的指令,它是由 Java 虚拟机里提供的一个轻量级的同步机制。一个共享变量声明为 volatile 后,特别是在多线程操作时,正确使用
volatile实现可见性但不保证原子性
   **volatile关键字:** * 能够保证volatile变量的可见性 * 不能保证volatile变量复合操作的原子性          **volatile如何实现内存可见性:**          深入来说:通过加入内存屏障和禁止重排序优化来实现的。 * 对volatile变量执行写操作时,会在写操作后加入一条store屏
C++11 thread mutex 我怎么感觉我被坑了。
二话不说,直接上代码了。 #include <thread> #include <iostream> #include <mutex> using namespace std; volatile int shared_value = 0; volatile int running_count = 1