引言

说到多线程,我觉得我们最重要的是要理解一个临界区概念。

举个例子,一个班上1个女孩子(临界区),49个男孩子(线程),男孩子的目标就是这一个女孩子,就是会有竞争关系(线程安全问题)。推广到实际场景,例如对一个数相加或者相减等等情形,因为操作对象就只有一个,在多线程环境下,就会产生线程安全问题。理解临界区概念,我们对多线程问题可以有一个好意识。

Jav内存模型(JMM)

谈到多线程就应该了解一下Java内存模型(JMM)的抽象示意图.下图:



线程A和线程B执行的是时候,会去读取共享变量(临界区),然后各自拷贝一份回到自己的本地内存,执行后续操作。

JMM模型是一种规范,就像Java的接口一样。JMM会涉及到三个问题:原子性,可见性,有序性。

所谓原子性。就是说一个线程的执行会不会被其他线程影响的。他是不可中断的。举个例子:

int i=1

这个语句在Jmm中就是原子性的。无论是一个线程执行还是多个线程执行这个语句,读出来的i就是等于1。那什么是非原子性呢,按道理如果Java的代码都是原子性,应该就不会有线程问题了啊。其实JMM这是规定某些语句是原子性罢了。举个非原子性例子:

i ++;

这个操作就不是原子性的了。因为他就是包含了三个操作:第一读取i的值,第二将i加上1,第三将结果赋值回来给i,更新i的值。

所谓可见性。可见性表示如果一个值在线程A修改了,线程B就会马上知道这个结果。

所谓有序性。所谓有序性值的是语意的有序性。就是说代码顺序可能会发生变化。因为有一个指令重排机制。所谓指令重排,他会改变代码执行顺序,为了让cpu执行效率更高。为了防止重排序出错,JMM有个happen-before规则,这个规则限制了那些语句执行在前,那些语句执行在后。

Happen-before:

程序顺序原则:一个线程内保证语义的串行性

volatile原则:volatile变量的写发生在读之前

锁规则:先加锁再解锁

传递性:a先于b,b先于c,则a必定先于c

线程的start方法先于他的每一个操作

线程所有的操作先于线程的终结

对象的构造函数执行、结束先于finalize()方法。

volatile

进入正题,volatile可以保证变量(临界区)的可见性以及有序性,但是不能保证原子性。举个例子:

public class VolatileTest implements Runnable{
private static VolatileTest volatileTest = new VolatileTest();
private static volatile int i= 0;
public static void main(String[] args) throws InterruptedException {
for (int j = 0; j < 20; j++) {
Thread a = new Thread(new VolatileTest());
Thread b = new Thread(new VolatileTest());
a.start();b.start();
a.join();b.join();
System.out.print(i+"&&");
} } @Override
public void run() {
for (int j = 0; j < 1000; j++) {
i++;
}
} } // 输出结果
// 2000&&4000&&5852&&7852&&9852&&11852&&13655&&15655&&17655&&19655&&21306
//&&22566&&24566&&26189&&28189&&30189&&32189&&34189&&36189&&38089&&

有结果看到有问题,虽然i已经添加了volatile关键字,说明volatile关键字不能保证i++的原子性。

那什么场景适合使用volatile关键字

  1. 轻量级的“读-写锁”策略
private volatile int value;
public int getValue(){ return value;}
public synchronized void doubleValue(){ value = value*value; }

2.单例模式(双检查锁机制

private volatile static Singleton instace;
public static Singleton getInstance(){ // 没有使用同步方法,而是同步方法块
//第一次null检查 ,利用volatile的线程间可见性,不需要加锁,性能提高
if(instance == null){
synchronized(Singleton.class) { //锁住类对象,阻塞其他线程
//第二次null检查,以保证不会创建重复的实例
if(instance == null){
instance = new Singleton(); // 禁止重排序
}
}
}
return instance;

参考

《现代操作系统(第三版)中文版》

《实战Java高并发程序设计》

《Java并发编程的艺术》

如果我的文章帮助到您,可以关注我的微信公众号,第一时间分享文章给您

Java并发之volatile关键字的更多相关文章

  1. Java 高效并发之volatile关键字解析

    摘录 1. 计算机在执行程序时,每条指令都是在CPU中执行的,而执行指令过程中,势必涉及到数据的读取和写入.由于程序运行过程中的临时数据是存放在主存(物理内存)当中的,这时就存在一个问题,由于CPU执 ...

  2. java中的volatile关键字

    java中的volatile关键字 一个变量被声明为volatile类型,表示这个变量可能随时被其他线程改变,所以不能把它cache到线程内存(如寄存器)中. 一般情况下volatile不能代替syn ...

  3. java 轻量级同步volatile关键字简介与可见性有序性与synchronized区别 多线程中篇(十二)

    概念 JMM规范解决了线程安全的问题,主要三个方面:原子性.可见性.有序性,借助于synchronized关键字体现,可以有效地保障线程安全(前提是你正确运用) 之前说过,这三个特性并不一定需要全部同 ...

  4. Java 并发:volatile 关键字解析

    摘要: 在 Java 并发编程中,要想使并发程序能够正确地执行,必须要保证三条原则,即:原子性.可见性和有序性.只要有一条原则没有被保证,就有可能会导致程序运行不正确.volatile关键字 被用来保 ...

  5. Java中的volatile关键字的功能

    Java中的volatile关键字的功能 volatile是java中的一个类型修饰符.它是被设计用来修饰被不同线程访问和修改的变量.如果不加入volatile,基本上会导致这样的结果:要么无法编写多 ...

  6. 深入理解Java中的volatile关键字

    在再有人问你Java内存模型是什么,就把这篇文章发给他中我们曾经介绍过,Java语言为了解决并发编程中存在的原子性.可见性和有序性问题,提供了一系列和并发处理相关的关键字,比如synchronized ...

  7. Java并发之synchronized关键字深度解析(二)

    前言 本文继续[Java并发之synchronized关键字深度解析(一)]一文而来,着重介绍synchronized几种锁的特性. 一.对象头结构及锁状态标识 synchronized关键字是如何实 ...

  8. java并发系列(六)-----Java并发:volatile关键字解析

    在 Java 并发编程中,要想使并发程序能够正确地执行,必须要保证三条原则,即:原子性.可见性和有序性.只要有一条原则没有被保证,就有可能会导致程序运行不正确.volatile关键字 被用来保证可见性 ...

  9. java中的Volatile关键字使用

    文章目录 什么时候使用volatile Happens-Before java中的Volatile关键字使用 在本文中,我们会介绍java中的一个关键字volatile. volatile的中文意思是 ...

随机推荐

  1. 面试必问:ACID/CAP

    转载: https://www.jdon.com/artichect/acid-cap.html ACID和CAP的详尽比较 事务机制ACID和CAP理论是数据管理和分布式系统中两个重要的概念,很不巧 ...

  2. ssd原理及代码实现详解

    通过https://github.com/amdegroot/ssd.pytorch,结合论文https://arxiv.org/abs/1512.02325来理解ssd. ssd由三部分组成: ba ...

  3. Springboot 系列(十五)如何编写自己的 Springboot starter

    1. 前言 Springboot 中的自动配置确实方便,减少了我们开发上的复杂性,那么自动配置原理是什么呢?之前我也写过了一篇文章进行了分析. Springboot 系列(三)Spring Boot ...

  4. CPU爆满后的无助感

    告警 晚七点刚好上地铁,握在手里的手机震动了好几下,根据震动这几下的手感已经判断出这是钉钉在告警了,十有八九就是线上的问题,通过Zabbix监控的一台线上服务器已经五分钟不可达,这应该不会是网络网络问 ...

  5. mysql的一些常用操作(一)

    1.启动Mysql服务 net start mysql 2.进入mysql环境中,由于自己没有设置密码,直接回车进入即可(要将bin加入到环境变量path中) mysql -u root -p 3.创 ...

  6. vue的数据双向绑定

    <!DOCTYPE html> <html> <head> <meta charset="UTF-8"> <title> ...

  7. webpack中如何使用图标字体

    1.webpack安装相关依赖 $ npm install font-awesome-webpack less less-loader css-loader style-loader file-loa ...

  8. 【Auto.js images.matchTemplate() 函数的特点】

    Auto.js  images.matchTemplate() 函数的特点 官方文档:https://hyb1996.github.io/AutoJs-Docs/#/images?id=imagesm ...

  9. MIT线性代数:14.正交向量和子空间

  10. [Python]python面向对象 __new__方法及单例设计

    __new__ 方法 使用 类名() 创建对象时,Python 的解释器 首先 会 调用 __new__ 方法为对象 分配空间 __new__ 是一个 由 object 基类提供的 内置的静态方法,主 ...