文档章节

Java并发学习之Volatile及内存模型探究

小灰灰Blog
 小灰灰Blog
发布于 2017/11/02 23:25
字数 1350
阅读 22
收藏 0

volatile工作原理

java编程语言允许线程访问共享变量,为了确保共享变量能被准确和一致的更新,线程应该确保通过排他锁单独获得这个变量。

Java语言提供了volatile,在某些情况下比锁更加方便。如果一个字段被声明成volatile,java线程内存模型确保所有线程看到这个变量的值是一致的。

若想清楚理解volatile关键字是如何保障共享变量在多线程之间正常使用的需要了解以下几点

  • java的内存模型
  • 原子性,可见性,有序性
  • volatile的工作原理
  • 测试case

I. Java的内存模型

1. 内存模型

精简一点,概念如下:

指令在CPU中执行,CPU运行速度较快,因此为减少从内存中频繁读写数据的开销,在cpu与内存的操作之间,有个高速缓存的的区域

获取数据流程:

  • 从缓存中获取Data
  • 缓存中存在,则直接返回
  • 缓存中不存在
    • 从内存中获取Data数据
    • 将Data数据写入缓存
    • 返回Data数据

上面的流程中,第一步会导致一致性问题,分析如下

若内存中Data已更新,但缓存中数据未更新,此时返回缓存中Data,返回的是旧数据

解决方案:

  • 总线上加LOCK#锁
    • 因为CPU和其他部件进行通信都是通过总线来进行的,如果对总线加LOCK#锁的话,也就是说阻塞了其他CPU对其他部件访问(如内存),从而使得只能有一个CPU能使用这个变量的内存
  • 缓存一致性协议
    • 在内存中数据发生变更后,同时使所有缓存中的数据失效,在访问缓存中数据时,优先判断是否已经失效,若失效则从内存中获取最新的数据回写到缓存中,并返回

volatile

2. Java内存模型

java内存模型,主要是为了屏蔽不同的硬件,操作系统的内存访问差异,使Java程序可以达到跨平台的目的,从而定义的一套模型

线程之间的共享变量存储在主内存中,每个线程都有一个私有的本地内存,本地内存保存该线程读写共享变量的副本

因此也存在上面的一致性问题,即如何保证线程对共享变量的修改后,其他的线程能访问到最新的共享变量

指令重排序

Java内存模型中,允许编译器和处理器对指令进行重排序,但是重排序过程不会影响到单线程程序的执行,却会影响到多线程并发执行的正确性

举例说明

int i;
boolean ans;

i = 10;
ans = true;

上面的代码中,ians的赋值先后顺序由于指令重排,可能会出现ans=true时,i依然为0的情况

II. 原子性,可见性,顺序性

原子性

表示不可再继续分割

  • java中除了 (long,double)的赋值是非原子性的,其他的基本变量、对象的赋值都是原子性的
  • ++/-- 操作是非原子性的

可见性

一个线程对共享变量的修改,确保对其他线程可见(即另一个线程能访问到修改后的数据)

  • volatile进行声明变量,保证可见

顺序行

程序执行的顺序按照代码的先后顺序执行

  • volatile 禁止指令重排
  • 在修改变量时,加锁(synchronized,lock),确保同一时刻只有一个线程修改变量

III. Volatile关键字

用法

  • 在变量前面加上volatile即可

作用

  • 确保共享变量的修改,对其他线程都是立即可见的
  • 禁止指令重排(即当访问or修改volatile修饰的共享变量时,确保前面的代码都执行完了)

原理和实现机制

  • 修改volatile声明的共享变量,会强制要求修改后的值写入内存,并失效其他线程的本地内存中的副本
  • 汇编之后,加入volatile关键字时,会多出一个lock前缀指令
  • 它确保指令重排序时不会把其后面的指令排到lock指令之前,也不会把前面的指令排到lock指令之后

IV. 使用场景&小结

1.volatile关键字无法保证操作的原子性

2.volatile关键字,禁止共享变量的指令重排,确保修改对所有线程立即可见

3.使用场景

  • 对变量的写操作不依赖于当前值
    • (因为volatile不保证原子性,若依赖自己的值)
  • 变量独立使用
    • 如 volatile 定义变量i,还有一个没有被volatile修饰的变量j
    • int ans = i + j;(也无法保障准确性)

经典的单例case写法

class Singleton{
    private volatile static Singleton instance = null;
     
    private Singleton() {
    }
     
    public static Singleton getInstance() {
        if(instance==null) {
            synchronized (Singleton.class) {
                if(instance==null)
                    instance = new Singleton();
            }
        }
        return instance;
    }
}

参考

扫描关注,java分享

https://static.oschina.net/uploads/img/201710/13203703_6IVg.jpg

© 著作权归作者所有

共有 人打赏支持
小灰灰Blog
粉丝 182
博文 187
码字总数 326577
作品 0
武汉
程序员
私信 提问
来,了解一下Java内存模型(JMM)

网上有很多关于Java内存模型的文章,在《深入理解Java虚拟机》和《Java并发编程的艺术》等书中也都有关于这个知识点的介绍。但是,很多人读完之后还是搞不清楚,甚至有的人说自己更懵了。本文...

android 开发
08/21
0
0
基于JVM原理、JMM模型和CPU缓存模型深入理解Java并发编程

许多以Java多线程开发为主题的技术书籍,都会把对Java虚拟机和Java内存模型的讲解,作为讲授Java并发编程开发的主要内容,有的还深入到计算机系统的内存、CPU、缓存等予以说明。实际上,在实...

leoliu168
11/08
0
0
Java 编程之美:并发编程基础晋级篇

本文来自作者 加多 在 GitChat 上分享 「Java 并发编程之美:并发编程基础晋级篇」 编辑 | Mc Jin 借用 Java 并发编程实践中的话,编写正确的程序并不容易,而编写正常的并发程序就更难了! ...

gitchat
04/18
0
0
Java并发中正确使用volatile

前几天并发编程群里有同学对volatile的用法提出了疑问,刚好我记得Twitter有关实时搜索的这个PPT对这个问题解释的很清晰并有一个实际的应用场景,于是周末把这个问题摘录了一些和并发相关的内...

小天120
2014/02/14
0
0
再有人问你Java内存模型是什么,就把这篇文章发给他。

前几天,发了一篇文章,介绍了一下JVM内存结构、Java内存模型以及Java对象模型之间的区别。有很多小伙伴反馈希望可以深入的讲解下每个知识点。Java内存模型,是这三个知识点当中最晦涩难懂的...

Java架构
07/11
0
0

没有更多内容

加载失败,请刷新页面

加载更多

docker部署springboot项目

安装docker 菜鸟教程 springboot项目 maven依赖 <?xml version="1.0" encoding="UTF-8"?><project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001......

yimingkeji
今天
10
0
ios多个target

1.建立3个target,分别为heroone,heroone test,heroone dev;分别为正式环境,test环境,dev环境 2.注意取消掉autocreate以防止名字不对,分别以Duplicate的方式建立另外两个scheme 3.创建...

HeroHY
今天
5
0
php获取客户端IP

php获取客户端IP 首先先阅读关于IP真实性安全的文章:如何正確的取得使用者 IP? 「任何從客戶端取得的資料都是不可信任的!」 HTTP_CLIENT_IP头是有的,但未成标准,不一定服务器都实现。 ...

DrChenXX
昨天
0
0
. The valid characters are defined in RFC 7230 and RFC 问题

通过这里的回答,我们可以知道: Tomcat在 7.0.73, 8.0.39, 8.5.7 版本后,添加了对于http头的验证。 具体来说,就是添加了些规则去限制HTTP头的规范性 参考这里 具体来说: org.apache.tom...

west_coast
昨天
1
0
刷leetcode第704题-二分查找

今天双十一买的算法书到货了,路上刷到有人说的这个题,借(chao)鉴(xi)一下别人的思路,这个是C++标准库里面的经典方法,思路精巧,优雅好品味 int search(int* nums, int numsSize, in...

锟斤拷烫烫烫
昨天
3
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部