Java高阶语法---Volatile
背景:听说Volatile Java高阶语法亦是挺进BAT的必经之路。
Volatile:
volatile同步机制又涉及Java内存模型中的可见性、原子性和有序性,恶补基础一波。
可见性:
可见性简单的说是线程之间的可见性,一个线程修改的状态对另一个线程是可见对,也就是一个线程的修改结果另一个线程可以马上看到;但通常,我们无法确保执行读操作的线程能够时时的看到其他线程写入的值,So为了确保多个线程之间对内存写入操作可见性,必须使用同步机制;如用volatile修饰的变量就具有可见性,volatile修饰的变量不允许线程内部缓存和重排序,而是直接修改内存,所以对其他线程来说是可见的;但volatile只能保证被修饰的内容具有可见性,并不具备原子性,如volatile int vipNumber = 100,之后有一个vipNumber++ 的操作,这个变量vipNumber具有可见性,但是vipNumber++ 依然是一个非原子操作,也就是说这个操作同样存在线程安全问题。
原子性:
原子具有不可分割的特性,如int age = 22,这个操作是不可分割的,那么称其为原子操作,具有原子性;再比如age++,这个操作实际是age = age + 1,其是可分割的,So它不是一个原子操作;而非原子操作都会存在线程安全问题,需要我们使用同步技术(synchronized)来让它变成一个原子操作;Java的concurrent包下提供了一些原子类,如:AtomicLongMap、AtomicDouble、AtomicReference 等;在Java中用synchronized、lock和unlock来保证原子性。
有序性:
Java语言提供了volatile和synchronized两个关键字来保证线程之间操作的有序性,volatile是因为本身包含“禁止指令重排序”的语义,synchronized是由“一个变量在同一时刻只允许一条线程对其进行lock操作”这条规则获得有序性的,此规则决定了持有同一个对象锁的两个同步块只能串行执行。
Volatile原理:
volatile是一种稍弱的同步机制,其用来确保将变量的更新操作通知到其他线程;当变量声明为volatile类型后,编译器与JVM运行时都会注意到这个变量时共享的,因此不会将此变量上的操作与其他操作一起重排序;volatile修饰后变量不会缓存在寄存器或者对其他处理器不可见的地方,因此在单曲volatile类型的变量时总会返回最新写入的值;除此之外,在访问volatile变量时不会执行加锁操作,也就不会执行线程阻塞,因此volatile变量是一种比synchronized关键字更轻量级的同步机制;当对非volatile变量进行读写时,每个线程从内存拷贝变量到CPU缓存中,如果计算机有多个CPU则每个线程可能在不同的CPU上被处理,这就意味着每个线程都可以拷贝到不同的CPU缓存cache中,而不是像volatile变量那样直接读内存,JVM保证其每次读变量都从内存中读,跳过了CPU cache这一步骤。
当一个变量定义为volatile之后,其具备的两种特征:
1、保证此变量对所有的线程的可见性;当一个线程修改了此变量的值,volatle保证新值能够立即同步到主内存,以及每次使用前立即从主每次刷新;
2、禁止指令重排序优化;被volatile修饰的变量赋值后多执行了一个“load”操作,此操作相当于一个内存屏障(指令重排序时不能把后面的指令重排序到内存屏障之前到位置),只有一个CPU访问内存时,不需要内存屏障;(指令重排序:指CPU采用了允许将多条指令不按程序规定的顺序分开发送给各相应电路单元处理)
另外:在性能方面,volatile的读操作性能消耗与普通变量基本无异,但是写操作稍慢,因为它需要在本地代码中插入许多内存屏障来保证处理器不发生乱序执行。
这里撸了一个例子用volatile保证线程间的同步,如果变量author不经volatile修饰,线程2中对author的值做了修改并未同步到线程1中,其一直存在缓存中。

FYI:
import lombok.extern.slf4j.Slf4j; @Slf4j
public class TestVolatile {
//private volatile String author = "tjt"; // volatile修饰author保证两个线程到可见性,即不存在缓存cache中
private String author = "tjt"; // 不用volatile修饰变量author则author修改值后在线程之间并不可见
private boolean enable = false;
public static void main(String[] args) throws Exception {
TestVolatile testVolatile = new TestVolatile();
log.info("原始定义的author: "+testVolatile.author);
Thread thread = new Thread( new Runnable() {
@Override
public void run() {
testVolatile.testMethodOne();
}
});
thread.start();
thread.sleep(2000l);
testVolatile.testMethodTwo();
}
public void testMethodOne() {
while(true) {
if ("detect_tjt".equals(author) && enable == false) {
log.info("线程testMethodOne中检测到来author修改为: "+author);
enable = true;
System.exit(0);
}
} }
public void testMethodTwo() {
author = "detect_tjt";
log.info("线程testMethodTwo中把author修改为: "+author);
}
}
用volatile修饰author执行结果:
- 原始定义的author: tjt
- 线程testMethodTwo中把author修改为: detect_tjt
- 线程testMethodOne中检测到来author修改为: detect_tjt
无volatile修饰author执行结果:
- 原始定义的author: tjt
- 线程testMethodTwo中把author修改为: detect_tjt
Java高阶语法---Volatile的更多相关文章
- Java高阶语法---transient
背景:听说transient Java高阶语法是挺进BAT必经之路. transient: Java中transient 关键字的作用,简单的说就是让某些被修饰的成员属性变量不被序列化. 这又扯到了序 ...
- Java高阶语法---static
背景:听说static Java高阶语法是挺进BAT必经之路. static: 静态static,很多时候会令我望文生义,但是get到了static最重要的一点,其他的理解都还ok. static最重 ...
- Java高阶语法---final
背景:听说final Java高阶语法是挺进BAT必经之路. final: final关键字顾名思义就是最终不可改变的. 1.含义:final可以声明成员变量.方法.类和本地变量:一旦将引用声明为fi ...
- Cmd Markdown 高阶语法手册
『Cmd 技术渲染的沙箱页面,点击此处编写自己的文档』 Cmd Markdown 高阶语法手册 1. 内容目录 在段落中填写 [TOC] 以显示全文内容的目录结构. [TOC] 2. 标签分类 在编辑 ...
- Markdown 高阶语法
记录一些 Markdown 的高阶语法,想起来什么,再更新 分割线 两条分割线 *** *** 插入表格 Column Column Column Row Content Content | Colu ...
- Java高并发同步Volatile的使用
引言: 在多线程并发编程中synchronized和Volatile都扮演着重要的角色,Volatile是轻量级的synchronized,它在多处理器开发中保证了共享变量的“可见性”. 可见性的意思 ...
- Java高阶面试问题合集
下面总结一下在Java面试中常用的一些问题,不具体解答,我只附上一些精彩的博文链接. Spring IOC AOP 底层原理 JAVA的反射机制和动态代理 Java反射机制和动态代理 多线程 Spri ...
- Java高阶回调,回调函数的另一种玩法
工具类package com.sctek; import java.lang.reflect.Field; import android.os.CountDownTimer;import androi ...
- MySQL-5.7 高阶语法及流程控制
1.标签语句 [begin_label:] BEGIN [statement_list] END [end_label] [begin_label:] LOOP statement_list END ...
随机推荐
- pytorch可视化工具visdom
visdom的github repo: https://github.com/facebookresearch/visdom 知乎一个教程:https://zhuanlan.zhihu.com/p/3 ...
- 在win10环境下搭建 solr 开发环境
在win10环境下搭建 solr 开发环境 2017年05月30日 09:19:32 SegaChen0130 阅读数:1050 在win10环境下搭建 solr 开发环境 安装环境 Windo ...
- CESSNA: Resilient Edge-Computing
CESSNA: 弹性边缘计算 本文为SIGCOMM 2018 Workshop (Mobile Edge Communications, MECOMM)论文. 笔者翻译了该论文.由于时间仓促,且笔者英 ...
- Mesos源码分析(12): Mesos-Slave接收到RunTask消息
在前文Mesos源码分析(8): Mesos-Slave的初始化中,Mesos-Slave接收到RunTaskMessage消息,会调用Slave::runTask. void Slave::ru ...
- 阿里分布式事务解决方案-GTS
摘要: 本文将深入和大家探讨微服务架构下,分布式事务的各种解决方案,并重点为大家解读阿里巴巴提出的分布式事务解决方案----GTS.该方案中提到的GTS是全新一代解决微服务问题的分布式事务互联网中间件 ...
- Go语言数组和切片的原理
目录 数组 创建 访问和赋值 切片 结构 初始化 访问 追加 拷贝 总结 数组和切片是 Go 语言中常见的数据结构,很多刚刚使用 Go 的开发者往往会混淆这两个概念,数组作为最常见的集合在编程语言中是 ...
- [Swift]LeetCode852. 山脉数组的峰顶索引 | Peak Index in a Mountain Array
Let's call an array A a mountain if the following properties hold: A.length >= 3 There exists som ...
- java调用python脚本并向python脚本传递参数
1.安装Eclipse 先安装jdk,再安装Eclipse,成功后开始建立py_java项目,在这个项目的存储目录SRC下建立test包,在test包中New-Class,新建MyDemo类,建好完成 ...
- 剑指Spring源码(一)
Spring,相信每个Java开发都用过,而且是每天都在用,那强大又神秘的IoC,AOP,让我们的开发变得越来越简单,只需要一个注解搞定一切,但是它内部到底是什么样子的呢?跟着我,一起探究Spring ...
- Javascript reduce方法
reduce方法接收一个函数作为累加器,数组中的每个值(从左至右)开始缩减,最终计算为一个值 注意:reduce()对于空数组是不会执行回调函数 语法: array.reduce(function(t ...