说到volatile,一些参加过面试的同学对此肯定不陌生。

它是面试官口中的常客,但是平时的编码却很少打照面(起码,我是这样的)。

最近的面试,我也经常会问到volatile相关的问题,比如volatile和sychronized的区别volatile的使用场景volatile的实现原理等等。

问这些问题其实主要还是考察多线程、锁等方便的知识储备。虽然volatile在我们日常编码使用不多,但是他的实现思想以及背后牵扯的一些概念还是值得我们学习和思考的。

举例

首先我们来看一个例子


public class VolatileExample extends Thread { private static boolean flag = false; public void run() {
while (!flag) {
}
} public static void main(String[] args) throws Exception {
new VolatileExample().start();
Thread.sleep(100);
flag = true;
}
}

这段代码并不长。

  • 声明了一个布尔类型的静态变量flag,初始值为false;

  • main函数中启动了一个线程VolatileExample,集成自Thread类;

  • 除去VolatileExample线程,当然还有一个主线程main;

  • 主线程sleep 100毫秒,并在其后置flag为true;

那么,你觉得运行main会怎样

  • 顺利跑完所有代码,结束?

  • 程序一直在等待,不会结束?

我们看下运行的结果

从结果可以发现,主线程运行结束后,界面中左边的红点并没有消失,表示程序还没有结束。

这是因为启动的VolatileExample线程读取到的flag一直都是false。

虽然主线程中flag已经被赋值为true,但是VolatileExample线程却视而不见,这是为什么呢,这就涉及到一个可见性的问题。

可见性

这里假设大家都是对线程以及锁等知识有一定的了解

sychronized我们应该都用过或者了解过,这是为了在多线程环境下对共享资源添加一个标识,用于锁住共享资源,防止多线程同时进入对数据操作产生不一致的现象。

我们平时说的加锁其实表面上是为了达到一种互斥的效果,也就是对于同时存在的线程A和线程B,如果这时候线程A或者锁,则线程B只能在旁边乖乖的等,这就是一种互斥,有你没我,有我没你!

但是加锁的本质是解决了可见性的问题。具体先不说这个问题,我们先结合上面的例子来说说可见性的问题。后面在结合可见性可能更好理解加锁的本质。

在java内存模型中,是分为主内存工作内存两块的。

主内存,主要是存储各个线程都会用到共享变量等。

对于每个线程都有自己的一个存储变量的地方,就是工作内存。各个线程之间的工作内存是相互独立的,不可见的。

到这里,你可能已经知道上面例子的程序为什么一直出于运行的状态没有终止了。没错,VolatileExample线程读取的flag值是自己线程中存储在工作内存中的值,主线程中的flag值虽然更新了,但是对于VolatileExample是不可见、无感知的。

所以,这时候volatile关键字就排上用场了。我们在flag变量钱添加volatile关键字修饰。再次运行程序

效果显而易见,主线程和VolatileExample线程一同结束。

这是因为使用volatile关键字修饰,该变量是强制要求从主内存读以及往主内存写,这样保证各个线程在操作这个变量的值时,都是最新鲜的数据。

这时候,我们再来回顾刚刚说到加锁的本质是解决可见性问题。

volatile是强制让所有线程都从一个地方操作共享资源,使得原来是从每个线程的副本中读取变量变为从主内存读取变量,从而解决了可见性问题。

而sychronized也是解决了可见性问题,它不允许同一时间有两个线程操作同一共享资源,因为其无法保证可见性。所以其通过独占互斥的方式,保证自己执行完之后才会有下一个执行,这样每次只有一个线程占有资源,也是间接的解决了可见性的问题。

说到这,就不得不提另外一个问题——原子性

原子性


private int num = 0; num++;

上面的代码符合原子性么?

显然不符合,假如现在有线程A和线程B两个线程,

线程A读取num=0,准备执行num++的操作,

但是还没有执行“++”操作之前,线程B读取num的值,此时值为0,之后也执行num++的操作,

最后A和B两个线程最终得到的值都是1,

这是不符合原子性的。

通过如下的sychronized的修饰就符合原子性了


sychronized(this) { num++; }

其道理还是因为sychronized的独占性。

那么volatile是否可以保证原子性呢

答案是否定的。道理和上面没有加sychronized的描述是一样的。

线程A还有执行完num++后,线程B也来访问num值,得到的是0,然后执行num++,最终还是两个线程得到的值都是1。

那么volatile有哪些使用场景呢。

volatile的适用场景

  • volatile是在synchronized性能低下的时候提出的。如今synchronized的效率已经大幅提升,所以volatile存在的意义不大。

  • 如今非volatile的共享变量,在访问不是超级频繁的情况下,已经和volatile修饰的变量有同样的效果了。

  • volatile不能保证原子性,这点是大家没太搞清楚的,所以很容易出错。

  • volatile可以禁止重排序(sychronized也是可以的)。

其实与之相关概念还有重排序、happens-before,as-if-serial等等,限于篇幅,不再详述。

如果您觉得阅读本文对您有帮助,请点一下“推荐”按钮,您的“推荐”将是我最大的写作动力!如果您想持续关注我的文章,请扫描二维码,关注JackieZheng的微信公众号,我会将我的文章推送给您,并和您一起分享我日常阅读过的优质文章。

并发和多线程-说说面试长提平时少用的volatile的更多相关文章

  1. 并发和多线程-八面玲珑的synchronized

    上篇<并发和多线程-说说面试常考平时少用的volatile>主要介绍的是volatile的可见性.原子性等特性,同时也通过一些实例简单与synchronized做了对比. 相比较volat ...

  2. java并发与多线程面试题与问题集合

    http://www.importnew.com/12773.html     https://blog.csdn.net/u011163372/article/details/73995897    ...

  3. Android并发编程 多线程与锁

    该文章是一个系列文章,是本人在Android开发的漫漫长途上的一点感想和记录,如果能给各位看官带来一丝启发或者帮助,那真是极好的. 前言 前一篇Android并发编程开篇呢,主要是简单介绍一下线程以及 ...

  4. Java高并发与多线程(四)-----锁

    今天,我们开始Java高并发与多线程的第四篇,锁. 之前的三篇,基本上都是在讲一些概念性和基础性的东西,东西有点零碎,但是像文科科目一样,记住就好了. 但是本篇是高并发里面真正的基石,需要大量的理解和 ...

  5. python高并发和多线程的关系

    “高并发和多线程”总是被一起提起,给人感觉两者好像相等,实则 高并发 ≠ 多线程 多线程是完成任务的一种方法,高并发是系统运行的一种状态,通过多线程有助于系统承受高并发状态的实现.   高并发是一种系 ...

  6. php-fpm和cgi,并发响应的理解以及高并发和多线程的关系

    首先搞清楚php-fpm与cgi的关系 cgi cgi是一个web server与cgi程序(这里可以理解为是php解释器)之间进行数据传输的协议,保证了传递的是标准数据. php-cgi php-c ...

  7. 并发和多线程(四)--wait、notify、notifyAll、sleep、join、yield使用详解

    wait.notify.notifyAll 这三个方法都是属于Object的,Java中的类默认继承Object,所以在任何方法中都可以直接调用wait(),notifyAll(),notify(), ...

  8. 并发和多线程(二)--启动和中断线程(Interrupt)的正确姿势

    启动线程: 从一个最基本的面试题开始,启动线程到底是start()还是run()? Runnable runnable = () -> System.out.println(Thread.cur ...

  9. Python并发编程——多线程与协程

    Pythpn并发编程--多线程与协程 目录 Pythpn并发编程--多线程与协程 1. 进程与线程 1.1 概念上 1.2 多进程与多线程--同时执行多个任务 2. 并发和并行 3. Python多线 ...

随机推荐

  1. 039 hive中关于数据库与表等的基本操作

    一:基本用法 1.新建数据库 2.删除数据库 3.删除非空的数据库 4.指定数据库的位置 LOCATION:指定数据库的位置,不会在系统的默认文件下. 5.在指定数据库中新建表(验证在指定的数据库中可 ...

  2. Tkinter的下拉列表Combobox

    Tkinter的下拉列表Combobox   tk中下拉列表使用ttk.Combobox,代码如下:   #!/usr/bin/env python   # -*- coding: utf-8 -*- ...

  3. 大数据小视角5:探究SSD写放大的成因与解决思路

    笔者目前开发运维的存储系统的服务器都跑在SSD之上,目前单机服务器最大的SSD容量有4T之多.(公司好有钱,以前在实验室都只有机械硬盘用的~~)但SSD本身的特性与机械硬盘差距较大,虽然说在性能上有诸 ...

  4. Flutter开发环境(Window)配置及踩坑记录

    Flutter 是 Google 用以帮助开发者在 iOS 和 Android 两个平台开发高质量原生 UI 的移动 SDK.Flutter 兼容现有的代码,免费且开源,在全球开发者中广泛被使用. F ...

  5. java enum的一种写法记录

    public enum TestEnum { provider { @Override public void provide() { this.name = "hjzgg"; } ...

  6. ios技术篇:导航栏push遵循的三个规则

    1.如果B视图有一个自定义的左侧按钮(leftBarButtonItem),则会显示这个自定义按钮 2.如果B没有自定义按钮,但是A视图的backBarButtonItem属性有自定义项,则显示这个自 ...

  7. JavaEE - 20181225

    作者:沈世钧链接:https://www.zhihu.com/question/305924723/answer/557800752来源:知乎著作权归作者所有.商业转载请联系作者获得授权,非商业转载请 ...

  8. AngularJS checkbox/复选框 根据缓存数据实时显示

    想缓存选择按钮时,可以使用这样的方法. index.html <!DOCTYPE html> <html data-ng-app="App"> <he ...

  9. DataGridView控件-[引用]

    DataGridView控件 DataGridView是用于Windows Froms 2.0的新网格控件.它可以取代先前版本中DataGrid控件,它易于使用并高度可定制,支持很多我们的用户需要的特 ...

  10. 10.31 正睿停课训练 Day13

    目录 2018.10.31 正睿停课训练 Day13 A Poker(期望) B Label(高斯消元) C Coin(二分图染色 博弈) 考试代码 A(打表) B 2018.10.31 正睿停课训练 ...