Java:那些鲜为人知的关键字volatile

前言

  • Java中,Javavolatile关键字十分重要
  • 本文全面 & 详细解析volatile关键字,希望你们会喜欢

目录

示意图


1. 定义

Java 中的1个关键字 / 修饰符


2. 作用

保证 被 volatile修饰的共享变量 的可见性 & 有序性,但不保证原子性


3. 具体描述

下面,我将详细讲解 volatile是如何保证 “共享变量 的可见性 & 有序性,但不保证原子性”的具体原理

储备知识:原子性、可见性 & 有序性

示意图

3.1 保证可见性

  • 具体描述
    volatile修饰的属性保证每次读取都能读到最新的值

但不会 & 无法更新已经读了的值

  • 原理
    线程A在工作内存中修改的共享属性值会立即刷新到主存,线程B/C/D每次通过读写栅栏来达到类似于直接从主存中读取属性值
  1. 只是类似,网上有些说volatile修饰的变量读写直接在主存中操作,这种说法是不对的,只是表现出类似的行为
  2. 读写栅栏是一条CPU指令;插入一个读写栅栏 = 告诉CPU & 编译器先于这个命令的必须先执行,后于这个命令的必须后执行(有序性)
  3. 读写栅栏另一个作用是强制更新一次不同CPU的缓存。例如,一个写栅栏会 把这个栅栏前写入的数据刷新到缓存,以此保证可见性

3.2 保证有序性

  • 具体描述
    当对volatile修饰的属性进行读/写操作时,其前面的代码必须已执行完成 & 结果对后续的操作可见

  • 原理
    重排序时,以volatile修饰属性的读/写操作代码行为分界线,读/写操作前面的代码不许排序到后面,后面同理不许排序到前面。由此保证有序性

3.3 不保证原子性

  • 具体描述
    volatile修饰的属性若在修改前已读取了值,那么修改后,无法改变已经复制到工作内存的值

即无法阻止并发的情况

  • 原理
// 变量a 被volatile修饰 
volatile static int a=0;
a++;
// 包含了2步操作:1 = 读取a、2= 执行a+1 & 将a+1结果赋值给a
// 设:线程A、B同时执行以下语句,线程A执行完第1步后被挂起、线程B执行了a++,那么主存中a的值为1
// 但线程A的工作内存中还是0,由于线程A之前已读取了a的值 = 0,执行a++后再次将a的值刷新到主存 = 1
// 即 a++执行了2次,但2次都是从0变为1,故a的值最终为1

4. 应用场景

由于volatile保证可见性和有序性,被volatile修饰的共享属性一般并发读/写没有问题,可看做是一种轻量级的synchronized实现

关于synchronized的讲解具体请看文章:Java:这是一份全面 & 详细的 Synchronized关键字 学习指南

至此,关于Java中的volatile关键字讲解完毕。


5. 总结

  • 本文主要讲解了Javavolatile关键字,其作用为 保证 “共享变量 的可见性 & 有序性,具体总结如下:

示意图

  • 下面我将继续对 Android & Java中的知识进行深入讲解 ,感兴趣的同学可以继续关注carson_ho的微信公众号
    示意图
    示意图

请帮顶 / 评论点赞!因为你的鼓励是我写作的最大动力!

发布了201 篇原创文章 · 获赞 5584 · 访问量 302万+
展开阅读全文

没有更多推荐了,返回首页

©️2019 CSDN 皮肤主题: 编程工作室 设计师: CSDN官方博客

分享到微信朋友圈

×

扫一扫,手机浏览