您好、欢迎来到现金彩票网!
当前位置:2019跑狗图高清彩图 > 先行指令站 >

Java高并发程序设计 01 详解java的volatile关键字

发布时间:2019-07-31 10:18 来源:未知 编辑:admin

  ,是指某一个或多个线程因为种种原因,一直无法获得所需资源,导致无法执行。

  比如优先级太低,高优先级的线程一直抢占它所需要的资源,导致低优先级的线程一直无法执行。

  活锁,是指线程之前互相让资源,一直主动释放资源,没有一个线程可以同时拿到需要的资源,导致无法执行。

  例如:当使用synchronized关键字,或者重入锁时,得到的就是阻塞的线程。

  如果锁是公平的,遵循先来后到,那么所有线程都有机会执行,饥饿就不会产生。

  但是,如果线程之间是有优先级的,线程调度的时候总是倾向满足高优先级的线程。那么,锁是非公平的,系统允许高优先级线程插队,这样就有可能导致低优先级线程得不到执行的机会,产生饥饿。

  公平锁: FairSync,就是当前资源被加锁后,其他所有请求线程按照请求的先后顺序搁置到queue中,当锁被释放放掉,然后严格的按照先进先出的原则一个一个加锁。

  非公平锁:NonfairSync 非公平的意思就是,我先尝试给共享资源加锁,如果加锁成功就阻塞其他线程(因为其他线程都在队列中排队,这个时候就特别的霸道而显得不公平),如果是共享资源上已经被加锁了,这个时候还要再判断下能不能加锁,两次尝试加锁都失败再霸道也没用了,就只能老老实实去队列尾部排队!

  无障碍是一种最弱的非阻塞调度,线程之间无障碍执行,不会因为临界区问题导致一方被挂起。如果检测到冲突的修改了共享数据,那么线程会立即对自己所做的修改进行回滚,确保数据安全。

  一种可行的无障碍实现,类似于乐观锁,用一个“一致性标记”来判断共享数据是否被更改过。

  在无锁的调用中,竞争失败的线程不断重试,如果运气不好,会无穷循环,产生类似饥饿的现象。

  如果限制这个步骤的上限,可以进一步分解为有界无等待和线程数无关的无等待几种,区别就是循环次数的限制不同。

  一种典型的无等待结构就是RCU(Read-Copy-Update)。基本思想就是,对数据的读可以不加控制。

  但在写数据的时候,先获取原始数据的副本,接着只修改副本数据,之后在合适的时机写回数据。

  Java内存模型规定了所有的变量都存储在主内存中。每条线程中还有自己的工作内存,线程的工作内存中保存了被该线程所使用到的变量(这些变量是从主内存中拷贝而来)。线程对变量的所有操作(读取,赋值)都必须在工作内存中进行。不同线程之间也无法直接访问对方工作内存中的变量,线程间变量值的传递均需要通过主内存来完成。

  执行线程必须先在自己的工作线程中对变量i所在的缓存行进行赋值操作,然后再写入主存当中。而不是直接将数值10写入主存当中。

  比如同时有2个线程执行这段代码,假如初始时i的值为10,那么我们希望两个线程执行完之后i的值变为12。但是事实会是这样吗?

  可能存在下面一种情况:初始时,两个线程分别读取i的值存入各自所在的工作内存当中,然后线操作,然后把i的最新值11写入到内存。此时线的工作内存当中i的值还是10,进行加1操作之后,i的值为11,然后线把i的值写入内存。

  最终结果i的值是11,而不是12。这就是著名的缓存一致性问题。通常称这种被多个线程访问的变量为共享变量。

  在解决这个问题之前,我们要先了解并发编程的三大概念:原子性,有序性,可见性。

  原子性:即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。

  比如从账户A向账户B转1000元,那么必然包括2个操作:从账户A减去1000元,往账户B加上1000元。

  试想一下,如果这2个操作不具备原子性,会造成什么样的后果。假如从账户A减去1000元之后,操作突然中止。这样就会导致账户A虽然减去了1000元,但是账户B没有收到这个转过来的1000元。

  举个最简单的例子,大家想一下假如为一个32位的变量赋值过程不具备原子性的话,会发生什么后果?

  假若一个线程执行到这个语句时,我暂且假设为一个32位的变量赋值包括两个过程:为低16位赋值,为高16位赋值。

  那么就可能发生一种情况:当将低16位数值写入之后,突然被中断,而此时又有一个线程去读取i的值,那么读取到的就是错误的数据。

  在Java中,对基本数据类型的变量的读取和赋值操作是原子性操作,即这些操作是不可被中断的,要么执行,要么不执行。

  上面一句话虽然看起来简单,但是理解起来并不是那么容易。看下面一个例子i:

  咋一看,可能会说上面的4个语句中的操作都是原子性操作。其实只有语句1是原子性操作,其他三个语句都不是原子性操作。

  语句1是直接将数值10赋值给x,也就是说线程执行这个语句的会直接将数值10写入到工作内存中。

  语句2实际上包含2个操作,它先要去读取x的值,再将x的值写入工作内存,虽然读取x的值以及 将x的值写入工作内存 这2个操作都是原子性操作,但是合起来就不是原子性操作了。

  同样的,x++和 x = x+1包括3个操作:读取x的值,进行加1操作,写入新的值。

  也就是说,只有简单的读取、赋值(而且必须是将数字赋值给某个变量,变量之间的相互赋值不是原子操作)才是原子操作。

  从上面可以看出,Java内存模型只保证了基本读取和赋值是原子性操作,如果要实现更大范围操作的原子性,可以通过synchronized和Lock来实现。由于synchronized和Lock能够保证任一时刻只有一个线程执行该代码块,那么自然就不存在原子性问题了,从而保证了原子性。

  可见性是指当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。

  由上面的分析可知,当线这句时,会先把i的初始值加载到工作内存中,然后赋值为10,那么在线的工作内存当中i的值变为10了,却没有立即写入到主存当中。

  此时线执行 j = i,它会先去主存读取i的值并加载到线的工作内存当中,注意此时内存当中i的值还是0,那么就会使得j的值为0,而不是10.

  这就是可见性问题,线对变量i修改了之后,线没有立即看到线.Java中的可见性

  另外,通过synchronized和Lock也能够保证可见性,synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码,并且

  int i = 0; boolean flag = false; i = 1; //语句1 flag = true; //语句2

  上面代码定义了一个int型变量,定义了一个boolean类型变量,然后分别对两个变量进行赋值操作。从代码顺序上看,语句1是在语句2前面的,那么JVM在真正执行这段代码的时候会保证语句1一定会在语句2前面执行吗?不一定,为什么呢?这里可能会发生指令重排序(Instruction Reorder)。

  比如上面的代码中,语句1和语句2谁先执行对最终的程序结果并没有影响,那么就有可能在执行过程中,语句2先执行而语句1后执行。

  但是要注意,虽然处理器会对指令进行重排序,但是它会保证程序最终结果会和代码顺序执行结果相同,那么它靠什么保证的呢?再看下面一个例子:

  虽然重排序不会影响单个线程内程序执行的结果,但是多线程呢?下面看一个例子:

  ①程序次序规则:一个线程内,按照代码顺序,书写在前面的操作先行发生于书写在后面的操作

  ③volatile变量规则:对一个变量的写操作先行发生于后面对这个变量的读操作

  ④传递规则:如果操作A先行发生于操作B,而操作B又先行发生于操作C,则可以得出操作A先行发生于操作C

  ⑤线程启动规则:Thread对象的start()方法先行发生于此线程的每个一个动作

  ⑥线程中断规则:对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生

  ⑦线程终结规则:线程中所有的操作都先行发生于线程的终止检测,我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行

  ⑧对象终结规则:一个对象的初始化完成先行发生于他的finalize()方法的开始

  。注意,虽然这条规则中提到“书写在前面的操作先行发生于书写在后面的操作”,这个应该是程序看起来执行的顺序是按照代码顺序执行的,但是虚拟机可能会对程序代码进行指令重排序。虽然进行重排序,但是最终执行的结果是与程序顺序执行的结果一致的,它只会对不存在数据依赖性的指令进行重排序。因此,在单个线程中,程序执行看起来是有序执行的,这一点要注意理解。事实上,这个规则是用来保证程序在单线程中执行结果的正确性,但无法保证程序在多线程中执行的正确性。第二条规则也比较容易理解,也就是说无论在单线程中还是多线程中,

  一旦一个共享变量(类的成员变量、类的静态成员变量)被volatile修饰之后,那么就具备了两层语义:

  //线 boolean stop = false; while(!stop){ doSomething(); } //线 stop = true;

  这段代码是很典型的一段代码,很多人在中断线程时可能都会采用这种标记办法。但是事实上,这段代码会完全运行正确么?即一定会将线程中断么?不一定,也许在大多数时候,这个代码能够把线程中断,但是也有可能会导致无法中断线程(虽然这个可能性很小,但是只要一旦发生这种情况就会造成死循环了)。

  下面解释一下这段代码为何有可能导致无法中断线程。在前面已经解释过,每个线程在运行过程中都有自己的工作内存,那么线在运行的时候,会将stop变量的值拷贝一份放在自己的工作内存当中。

  (反映到硬件层的线缓存中对应的缓存行无效);第三:由于线的工作内存中缓存变量stop的缓存行无效,所以

  。那么在线修改stop值时(当然这里包括2个操作,修改线工作内存中的值,然后将修改后的值写入内存),会使得线的工作内存中缓存变量stop的缓存行无效,然后线读取时,发现自己的缓存行无效,它会等待缓存行对应的主存地址被更新之后,然后去对应的主存读取最新的值。

  大家想一下这段程序的输出结果是多少?也许有些朋友认为是10000。但是事实上运行它会发现每次运行结果都不一致,都是一个小于10000的数字。

  可能有的朋友就会有疑问,不对啊,上面是对变量inc进行自增操作,由于volatile保证了可见性,那么在每个线程中对inc自增完之后,在其他线程中都能看到修改后的值啊,所以有10个线次操作,那么最终inc的值应该是1000*10=10000。

  可见性只能保证每次读取的是最新的值,但是volatile没办法保证对变量的操作的原子性。在前面已经提到过,

  。那么就是说自增操作的三个子操作可能会分割开执行,就有可能导致下面这种情况出现:假如某个时刻变量inc的值为10,

  所以线会直接去主存读取inc的值,发现inc的值时10,然后进行加1操作,并把11写入工作内存,最后写入主存。然后线操作,由于已经读取了inc的值,注意此时在线的工作内存中inc的值仍然为10,所以线写入工作内存,最后写入主存。

  ,即对基本数据类型的 自增(加1操作),自减(减1操作)、以及加法操作(加一个数),减法操作(减一个数)进行了封装,保证这些操作是原子性操作。atomic是利用CAS来实现原子性操作的(Compare And Swap),CAS实际上是利用处理器提供的CMPXCHG指令实现的,而处理器执行CMPXCHG指令是一个原子性操作。3.volatile保证有序性

  在前面提到volatile关键字能禁止指令重排序,所以volatile能在一定程度上保证有序性。

  ,那么在进行指令重排序的过程的时候,不会将语句3放到语句1、语句2前面,也不会讲语句3放到语句4、语句5后面。但是要注意语句1和语句2的顺序、语句4和语句5的顺序是不作任何保证的。并且volatile关键字能保证,

  这里如果用volatile关键字对inited变量进行修饰,就不会出现这种问题了,

  处理器为了提高处理速度,不直接和内存进行通讯,而是将系统内存的数据独到内部缓存后再进行操作,但操作完后不知什么时候会写到内存。

  这一步确保了如果有其他线程对声明了volatile变量进行修改,则立即更新主内存中数据。** 但这时候其他处理器的缓存还是旧的,所以在多处理器环境下,为了保证各个处理器缓存一致,每个处理会通过嗅探在总线上传播的数据来检查 自己的缓存是否过期,

  会强制重新从系统内存把数据读到处理器缓存里。** 这一步确保了其他线程获得的声明了volatile变量都是从主内存中获取最新的。2.有序性

  synchronized关键字是防止多个线程同时执行一段代码,那么就会很影响程序执行效率,而volatile关键字在某些情况下性能要优于synchronized,但是要注意volatile关键字是无法替代synchronized关键字的,因为volatile关键字无法保证操作的原子性。通常来说,使用volatile必须具备以下2个条件:

  在 JVM 的即时编译器中存在指令重排序的优化,也就是说上面的第二步和第三步的顺序是不能保证的。

  如果是后者,则在 3 执行完毕、2 未执行之前,有另外的线程走到了方法内的第一个if判断处,这时 instance 已经是非 null 了(但却没有初始化),所以线程二会直接返回 instance,然后使用,然后顺理成章地报错。

  这就是为什么双重校验锁单例的实现,使用了Sysnchronized关键字还需要使用Volatile关键字的原因。

  在Java内存模型详解中我们曾经介绍过,Java语言为了解决并发编程中存在的原子性、可见性和有序性问题,提供了一系列和并发处理相关的关键字,比如synchronized、volatile、final、...

  volatile关键字:当多个线程进行操作共享数据时,可以保证内存中的数据可见。相较于synchronized是一种较为轻量级的同步策略。缺点:1.volatile不具备“互斥性”2.volatile...

  Java™语言包含两种内在的同步机制:同步块(或方法)和volatile变量。这两种机制的提出都是为了实现代码线程的安全性。其中Volatile变量的同步性较差(但有时它更简单并且开销更低),而且其使...

  博客分类: 多线程 概述 您只能在有限的一些情形下使用volatile变量替代锁。要使volatile变量提供理想的线程安全,必须同时满足下面两个条件: 对变量的写操作不依赖于当前值。该变量没有包含在...

  一.volatile关键字是什么?当一个变量定义为volatile之后,它将具备两种特性:  ①保证此变量对所有线程的可见性    当一条线程修改了这个变量的值,新值对于其他线程可以说是可以立即得知的...

  volatile关键字能保证可见性和有序性,但是不保证原子性。因此并不能保证线程安全。看一个相关的例子:双重校验锁实现的单例模式:publicclassDoubleCheckSymbol{privat...

  1.synchronized关键字目的:synchronized关键字是java提供的锁机制,主要解决线程的同步问题,那么它可以修饰方法和同步代码块,那么问题来了,我们什么时候用同步代码块和方法呢,我...

  1定义及作用1.1英文释义1.2百度百科1.3维基百科译:当被用于修饰变量时,Javavolatile关键字可以保证:(1)在所有版本的Java中,对volatile关键字修饰的变量的读写存在全局排序...

  书籍概况作者:葛一鸣/郭超出版社:电子工业出版社出版年:2015-11页数:352定价:69.00元ISBN:49笔记《实战Java高并发程序设计》中有很多代码范例,适合初学者通...

  三、Volatile关键字   关键字volatile的主要作用是使变量在多个线关键字volatile与死循环测试案例:我想通过改变flag的值,从而停止对service的test()...

  转载请备注地址:系列文章传送门:Java多线程学习(一)Java多线程入门Java多...

  根据《java多线程编程核心技术》整理总结关键字volatile的主要作用是使变量在多个线.volatile关键字简介下面我们通过代码示例来理解volatile关键字的作用publiccl...

  在JDK1.2之前,Java的内存模型实现总是从主存(即共享内存)读取变量,是不需要进行特别的注意的。而随着JVM的成熟和优化,现在在多线程环境下volatile关键字的使用变得非常重要。在当前的Ja...

  volatile关键字在c、java中都有,用于修饰变量,例如privatevolatileinti;它在多处理器开发环境中保证了共享变量的“可见性”,即当一个线程修改一个共享变量时,另外一个变量能读...

  内存模型与CPU缓存本来CPU计算的数字都是从主从mainmemory中读取的,但是CPU运行的速度比计算机读取内存的速度快,为了补齐这个短板,所以出现了CPU缓从这种东西。在多CPU系统(或多核处理...

  -Transient关键字Java的serialization提供了一种持久化对象实例的机制。当持久化对象时,可能有一个特殊的对象数据成员,我们不想用serialization机制来保存它。为了在一个...

  关于线程和多线程,面试里你所要知道的一切(一)主要整理一些关于线程的知识,尽量做到言简意赅,面试的时候用。线程前段时间找工作,很多次问到关于线程的问题,回答的时候就开启背书模式:线程是轻量级的进程,是...

  写在前面无关的内容    白驹过隙,看下日历已经毕业4年多,加上在大学里的4年,算算在计算机界也躺了八年,按照格拉德韦尔的1万小时定律差不多我也该成为行业的专家了,然后并没有。当看着“什么是Java?...

  volatile关键字含义:volatile的可见性作用:通知OS操作系统底层,在CPU计算过程中,都要检查内存中数据的有效性。保证最新的内存数据被使用。原理:如下图所示,程序启动时将磁盘中的字节码文...

  前言在理解volatile前,先理解原子性、可见性、有序性原子性:操作的不可分割性。如++count实际上是可以分割的三个独立操作,读取-gt;修改-gt;写入,其结果依赖之前的状...

  前一篇文章中提到原子操作,也许大家和我一样很好奇为什么rement方法能保证原子性,而简单的++运算却不能保证原子性。这篇文章我们就从AtomicInteger类下手...

  对Java现有二十三种设计模式之一的单例模式的一种实现思路私有的构造方法私有的单实例对象引用公有的供外部访问单实例的方法使用双重锁检查机制,提高安全性,且降低了锁力度不太耗费性能,只在初次创建对象时加...

  synchronized关键字是防止多个线程同时执行一段代码,那么就会很影响程序执行效率,而volatile关键字在某些情况下性能要优于synchronized,但是要注意volatile关键字是无法...

  volatile关键字的作用是告诉编译器,凡是被该关键字申明的变量都是易变的、不稳定的,所以不要试图对该变量使用缓存等优化机制,而应当每次都从他的内存地址中去读取值,但volatile并不是每次更改完...

  内存可见性volatile是Java提供的一种轻量级的同步机制,在并发编程中,它也扮演着比较重要的角色。同synchronized相比(synchronized通常称为重量级锁),volatile更轻...

  使用volatile关键字修饰共享变量可以禁止重排序。若用volatile修饰共享变量,在编译时,会在指令序列中插入内存屏障来禁止特定类型的处理器重排序volatile禁止指令重排序的一些规则:...

  前言对于ThreadLocal、Volatile、synchronized、Atomic这四个关键字,我想一提及到大家肯定都想到的是解决在多线程并发环境下资源的共享问题,但是要细说每一个的特点、区别、...

  一、前言在解释前,首先需要理解并发编程的三大概念:原子性,有序性,可见性。一、原子性1、定义:即一个操作或者多个操作要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。2、实例 a、概念解说...

  详细很多Java开发者没有使用过volatile这个关键字。那么现在我们来看看这个volatile关键字有什么用处吧。读者可以先运行一下下面的demo。会发现结果是死循环。importjava.uti...

  汪文君高并发编程第一阶段01讲-课程大纲及主要内容介绍汪文君高并发编程第一阶段02讲-简单介绍什么是线程汪文君高并发编程第一阶段03讲-创建并启动线程汪文君高并发编程第一阶段04讲-线程生命周期以及s...

  1.java并发中的同步,原子操作与volatile关键字用法同步规则使用的情况:如果你正在写一个变量,它可能接下来被另一个线程读取,或者正在读取一个上一次已经被其他线程写过的变量,那么你必须使用同步...

  最近碰到一个这样的功能要求:实现高效并发处理,只初始化一次.   实现方式:1)...

  首先要说的是,个人推荐使用饿汉模式和静态内部类方式实现单例模式。懒汉模式中,双重检查锁定代码如下:publicclassSingleton{//静态属性,volatile保证可见性和禁止指令重排序pr...

  Java的volatile关键字在JDK源码中经常出现,但是对它的认识只是停留在共享变量上,今天来谈谈volatile关键字。volatile,从字面上说是易变的、不稳定的,事实上,也确实如此,这个关...

http://deafbook.net/xianxingzhilingzhan/382.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有