我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:多盈娱乐注册 > 多带图灵机 >

JAVA CAS原理深度分析

归档日期:08-11       文本归类:多带图灵机      文章编辑:爱尚语录

  CAS有3个操作数,内存值V,旧的预期值A,要修改的新值B。当且仅当预期值A和内存值V相同时,将内存值V修改为B,否则什么都不做。

  现代的CPU提供了特殊的指令,可以自动更新共享数据,而且能够检测到其他线程的干扰,而 compareAndSet() 就用这些代替了锁定。

  拿出AtomicInteger来研究在没有锁的情况下是如何做到数据正确性的。

  首先毫无以为,在没有锁的机制下可能需要借助volatile原语,保证线程间的数据是可见的(共享的)。

  在这里采用了CAS操作,每次从内存中读取数据然后将此数据和+1后的结果进行CAS操作,如果成功就返回结果,否则重试直到成功为止。

  整体的过程就是这样子的,利用CPU的CAS指令,同时借助JNI来完成Java的非阻塞算法。其它原子操作都是利用类似的特性完成的。

  下面从分析比较常用的CPU(intel x86)来解释CAS的实现原理。

  如上面源代码所示,程序会根据当前处理器的类型来决定是否为cmpxchg指令添加lock前缀。如果程序是在多处理器上运行,就为cmpxchg指令加上lock前缀(lock cmpxchg)。反之,如果程序是在单处理器上运行,就省略lock前缀(单处理器自身会维护单处理器内的顺序一致性,不需要lock前缀提供的内存屏障效果)。

  确保对内存的读-改-写操作原子执行。在Pentium及Pentium之前的处理器中,带有lock前缀的指令在执行期间会锁住总线,使得其他处理器暂时无法通过总线访问内存。很显然,这会带来昂贵的开销。从Pentium 4,Intel Xeon及P6处理器开始,intel在原有总线锁的基础上做了一个很有意义的优化:如果要访问的内存区域(area of memory)在lock前缀指令执行期间已经在处理器内部的缓存中被锁定(即包含该内存区域的缓存行当前处于独占或以修改状态),并且该内存区域被完全包含在单个缓存行(cache line)中,那么处理器将直接执行该指令。由于在指令执行期间该缓存行会一直被锁定,其它处理器无法读/写该指令要访问的内存区域,因此能保证指令执行的原子性。这个操作过程叫做缓存锁定(cache locking),缓存锁定将大大降低lock前缀指令的执行开销,但是当多处理器之间的竞争程度很高或者指令访问的内存地址未对齐时,仍然会锁住总线。

  首先处理器会自动保证基本的内存操作的原子性。处理器保证从系统内存当中读取或者写入一个字节是原子的,意思是当一个处理器读取一个字节时,其他处理器不能访问这个字节的内存地址。奔腾6和最新的处理器能自动保证单处理器对同一个缓存行里进行16/32/64位的操作是原子的,但是复杂的内存操作处理器不能自动保证其原子性,比如跨总线宽度,跨多个缓存行,跨页表的访问。但是处理器提供总线锁定和缓存锁定两个机制来保证复杂内存操作的原子性。

  第一个机制是通过总线锁保证原子性。如果多个处理器同时对共享变量进行读改写(i++就是经典的读改写操作)操作,那么共享变量就会被多个处理器同时进行操作,这样读改写操作就不是原子的,操作完之后共享变量的值会和期望的不一致,举个例子:如果i=1,我们进行两次i++操作,我们期望的结果是3,但是有可能结果是2。如下图

  原因是有可能多个处理器同时从各自的缓存中读取变量i,分别进行加一操作,然后分别写入系统内存当中。那么想要保证读改写共享变量的操作是原子的,就必须保证CPU1读改写共享变量的时候,CPU2不能操作缓存了该共享变量内存地址的缓存。

  处理器使用总线锁就是来解决这个问题的。所谓总线锁就是使用处理器提供的一个LOCK#信号,当一个处理器在总线上输出此信号时,其他处理器的请求将被阻塞住,那么该处理器可以独占使用共享内存。

  第二个机制是通过缓存锁定保证原子性。在同一时刻我们只需保证对某个内存地址的操作是原子性即可,但总线锁定把CPU和内存之间通信锁住了,这使得锁定期间,其他处理器不能操作其他内存地址的数据,所以总线锁定的开销比较大,最近的处理器在某些场合下使用缓存锁定代替总线锁定来进行优化。

  频繁使用的内存会缓存在处理器的L1,L2和L3高速缓存里,那么原子操作就可以直接在处理器内部缓存中进行,并不需要声明总线和最近的处理器中可以使用“缓存锁定”的方式来实现复杂的原子性。所谓“缓存锁定”就是如果缓存在处理器缓存行中内存区域在LOCK操作期间被锁定,当它执行锁操作回写内存时,处理器不在总线上声言LOCK#信号,而是修改内部的内存地址,并允许它的缓存一致性机制来保证操作的原子性,因为缓存一致性机制会阻止同时修改被两个以上处理器缓存的内存区域数据,当其他处理器回写已被锁定的缓存行的数据时会起缓存行无效,在例1中,当CPU1修改缓存行中的i时使用缓存锁定,那么CPU2就不能同时缓存了i的缓存行。

  但是有两种情况下处理器不会使用缓存锁定。第一种情况是:当操作的数据不能被缓存在处理器内部,或操作的数据跨多个缓存行(cache line),则处理器会调用总线锁定。第二种情况是:有些处理器不支持缓存锁定。对于Inter486和奔腾处理器,就算锁定的内存区域在处理器的缓存行中也会调用总线锁定。

  以上两个机制我们可以通过Inter处理器提供了很多LOCK前缀的指令来实现。比如位测试和修改指令BTS,BTR,BTC,交换指令XADD,CMPXCHG和其他一些操作数和逻辑指令,比如ADD(加),OR(或)等,被这些指令操作的内存区域就会加锁,导致其他处理器不能同时访问它。

  CAS虽然很高效的解决原子操作,但是CAS仍然存在三大问题。ABA问题,循环时间长开销大和只能保证一个共享变量的原子操作

  1.ABA问题。因为CAS需要在操作值的时候检查下值有没有发生变化,如果没有发生变化则更新,但是如果一个值原来是A,变成了B,又变成了A,那么使用CAS进行检查时会发现它的值没有发生变化,但是实际上却变化了。ABA问题的解决思路就是使用版本号。在变量前面追加上版本号,每次变量更新的时候把版本号加一,那么A-B-A 就会变成1A-2B-3A。

  从Java1.5开始JDK的atomic包里提供了一个类AtomicStampedReference来解决ABA问题。这个类的compareAndSet方法作用是首先检查当前引用是否等于预期引用,并且当前标志是否等于预期标志,如果全部相等,则以原子方式将该引用和该标志的值设置为给定的更新值。

  2. 循环时间长开销大。自旋CAS如果长时间不成功,会给CPU带来非常大的执行开销。如果JVM能支持处理器提供的pause指令那么效率会有一定的提升,pause指令有两个作用,第一它可以延迟流水线执行指令(de-pipeline),使CPU不会消耗过多的执行资源,延迟的时间取决于具体实现的版本,在一些处理器上延迟时间是零。第二它可以避免在退出循环的时候因内存顺序冲突(memory order violation)而引起CPU流水线被清空(CPU pipeline flush),从而提高CPU的执行效率。

  3. 只能保证一个共享变量的原子操作。当对一个共享变量执行操作时,我们可以使用循环CAS的方式来保证原子操作,但是对多个共享变量操作时,循环CAS就无法保证操作的原子性,这个时候就可以用锁,或者有一个取巧的办法,就是把多个共享变量合并成一个共享变量来操作。比如有两个共享变量i=2,j=a,合并一下ij=2a,然后用CAS来操作ij。从Java1.5开始JDK提供了AtomicReference类来保证引用对象之间的原子性,你可以把多个变量放在一个对象里来进行CAS操作。

  由于java的CAS同时具有 volatile 读和volatile写的内存语义,因此Java线程之间的通信现在有了下面四种方式:

  Java的CAS会使用现代处理器上提供的高效机器级别原子指令,这些原子指令以原子方式对内存执行读-改-写操作,这是在多处理器中实现同步的关键(从本质上来说,能够支持原子性读-改-写指令的计算机器,是顺序计算图灵机的异步等价机器,因此任何现代的多处理器都会去支持某种能对内存执行原子性读-改-写操作的原子指令)。同时,volatile变量的读/写和CAS可以实现线程之间的通信。把这些特性整合在一起,就形成了整个concurrent包得以实现的基石。如果我们仔细分析concurrent包的源代码实现,会发现一个通用化的实现模式:

  AQS,非阻塞数据结构和原子变量类(current.atomic包中的类),这些concurrent包中的基础类都是使用这种模式来实现的,而concurrent包中的高层类又是依赖于这些基础类来实现的。从整体来看,concurrent包的实现示意图如下:

  今天在看concurrentHashMap的时候,知道在jdk1.8之后,这个集合的并发控制使用Synchronized和CAS来操作,所以就想找博客看看CAS。看到这篇文章,感觉还不错,加上自己的些...博文来自:默默的笔记

  本文转载自:是Yale大学发起的一...博文来自:combating的专栏

  一、锁机制 常用的锁机制有两种:1、悲观锁:假定会发生并发冲突,屏蔽一切可能违反数据完整性的操作。悲观锁的实现,往往依靠底层提供的锁机制;悲观锁会导致其它所有需要锁的线程挂起,等待持有锁的线程释放锁。...博文来自:入门菜鸟程序员的成长

  CAS底层原理及缺点大厂面试题:1、请你谈谈对volatile的理解?2、CAS你知道吗?3、原子类AtomicInteger的ABA问题谈谈?原子更新引用知道吗?4、我们都知道ArrayList是线...博文来自:泷泷养的乔小胖

  在学习CAS的过程中,我百思不得其解的一个问题就是在多cpu并发的环境下,CAS如何保证线程的安全性呢?关于这个问题下面的两篇博客写的比较不错,基本把其中的原理解释清楚了,这里我只作一个简单的阐述。h...博文来自:腾先生的技术工坊

  最近在看jdk1.8的源码,再看源码的过程中很多地方都用到了sun.misc.Unsafe,然后对这个类做了一个详细的了解。java生态圈。几乎每个使用java开发的工具、软件基础设施、高性能开发库都...博文来自:lvbaolin123的博客

  注:本文转载自关于Cas实现单点登入(singlesingon)功能的文章...博文来自:盛夏光年

  前言这篇文章将深入介绍CAS在JDK具体的实现方式,填补Java源码系列(7)--AtomicInteger中相关内容的空缺,主要从高层调用开始,经历JDK、JNI和asm汇编,最终调用处理器CAS指...博文来自:weixin_34355881的博客

  CAS实现原理:认证流程分析:1:用户第一次访问受保护的应用。受保护的应用通过其中配置的统一认证过滤器队请求进行过滤,未发现在session中有特定的用户信息,也未发现有ST参数。2:应用系统将认定用...博文来自:待定的专栏

  锁的释放-获取建立的happensbefore关系转自:锁是java并发编程中最重要的同步机制。...博文来自:lixiaodong037的专栏

  我们先看一段代码:启动两个线程,每个线程中让静态变量count循环累加100次。最终输出的count结果一定是200吗?因为这段代码是非线程安全的,所以最终的自增结果很可能会小于200。我们再加上sy...博文来自:的博客

  在JDK5之前Java语言是靠synchronized关键字保证同步的,这会导致有锁(后面的章节还会谈到锁)。锁机制存在以下问题:(1)在多线程竞争下,加锁、释放锁会导致比较多的上下文切换和调度延时,...博文来自:numbermade的博客

  一、不落俗套的开始1、背景介绍单点登录:SingleSignOn,简称SSO,SSO使得在多个应用系统中,用户只需要登录一次就可以访问所有相互信任的应用系统。CAS框架:CAS(CentralAuth...博文来自:javaloveiphone的专栏

  由于java的CAS同时具有volatile读和volatile写的内存语义,因此Java线程之间的通信现在有了下面四种方式:A线程写volatile变量,随后B线程读这个volatile变量。A线程...博文来自:码农崛起

  问题一:java中的CAS是什么?问题二:为什么要使用CAS?问题三:CAS使用中需要注意什么问题?  这里以提问的方式引出话题,下面带大家慢慢了解CAS。1.CAS的含义CAS是compareand...博文来自:u011381576的博客

  JAVA中的CAS我们总结一下JAVA的cas是怎么实现的:java的cas利用的的是unsafe这个类提供的cas操作。 unsafe的cas依赖了的是jvm针对不同的操作系统实现的Atomic::...博文来自:坚持,让梦想闪耀!

  在JDK5之前Java语言是靠synchronized关键字保证同步的,这会导致有锁(后面的章节还会谈到锁)。锁机制存在以下问题:(1)在多线程竞争下,加锁、释放锁会导致比较多的上下文切换和调度延时...博文来自:Geek Cui

  概述CAS(Compare-and-Swap),即比较并替换,是一种实现并发算法时常用到的技术,Java并发包中的很多类都使用了CAS技术。CAS也是现在面试经常问的问题,本文将深入的介绍CAS的原理...博文来自:越努力,越幸运

  java多线程高级-CAS原理(转)(二)CAS没有自己实现,所以只能看看理论文章,实在写不出自己的心得,所以直接copy转载了,不过文章中有部分错误,long,double本身不具有原子性,但是jv...博文来自:piaoslowly的专栏

  在Java并发包中有一些并发框架也使用了自旋CAS的方式实现了原子操作,比如:LinkedTransferQueue类的Xfer方法。CAS虽然很高效的解决了原子操作,但是CAS仍然存在三大问题:AB...博文来自:码客

  本篇博客基于OpenJdk8简单的一条线的看看CAS的实现过程。如果你也想方便在IDE中查看OpenJdk的代码,你可以看看这篇在NetBeans中编译调试OpenJdk。本文会涉及Java代码,C+...博文来自:偶尔记一下

  本篇的思路是先阐明无锁执行者CAS的核心算法原理然后分析Java执行CAS的实践者Unsafe类,该类中的方法都是native修饰的,因此我们会以说明方法作用为主介绍Unsafe类,最后再介...博文来自:suchahaerkang的博客

  CAS的无锁思想众所周知,Java中对并发控制的最常见方法就是锁,锁能保证同一时刻只能有一个线程访问临界区的资源,从而实现线程安全。然而,锁虽然有效,但采用的是一种悲观的策略。它假设每一次对临界区资源...博文来自:Hopefully Sky的博客

  本篇的思路是先阐明无锁执行者CAS的核心算法原理然后分析Java执行CAS的实践者Unsafe类,该类中的方法都是native修饰的,因此我们会以说明方法作用为主介绍Unsafe类,最后再介绍并发包...博文来自:的博客

  前言:   摒弃segment利用CAS算法,底层依然对数组+链表+红黑树不离不弃,为了并发、添加了些对象内部类CAS:CompareAndSwap乐观锁的宝贝甜蜜饯比较并替换,3个操作数:内存地址V...博文来自:星小丫头辰

  前言在现在的互联网技术领域,用户流量越来越大,系统中并发量越来越大,大公司的日活动辄成百上千万。如何面对如此高的并发是当今互联网技术圈一直在努力的事情。应对高并发需要在各个技术层面进行合理的设计和技术...博文来自:刘本龙的专栏

  CAS,compareandswap的缩写,中文翻译成比较并交换。我们都知道,在java语言之前,并发就已经广泛存在并在服务器领域得到了大量的应用。所以硬件厂商老早就在芯片中加入了大量直至并发操作的原...博文来自:iteye_5347的博客

  浅谈CAS以及CAS在java中应用cas是什么?cas是compareandswap的简称,从字面上理解就是比较并更新,简单来说:从某一内存上取值V,和预期值A进行比较,如果内存值V和预期值A的结果...博文来自:ln_6am的博客

  很多情况下我们只是需要一个简单的、高效的、线程安全的递增递减方案。注意,这里有三个条件:简单,意味着程序员尽可能少的操作底层或者实现起来要比较容易;高效意味着耗用资源要少,程序处理速度要快;线程安全也...博文来自:weixin_34348174的博客

  使用的版本是CAS-server-4.0.3 如果传统的web项目,前台页面和后端代码在一个项目里,那么使用cas 正常,因为登陆页使用的cas的casLoginView.jsp,只是页面效果修改了下论坛

  关于CAS操作CAS:Compare And Swap  -- 乐观锁策略CAS(无锁操作):使用CAS叫做比较交换来判断是否出现冲突,出现冲突就重试当前操作直到不冲突为止。悲观锁(JDK1.6之前的...博文来自:【Dyson】的博客

  上篇我们讲到了CAS轮询,那么这个CAS有没有问题呢?肯定是有的。比如说大量的线程同时并发修改一个AtomicInteger,可能有很多线程会不停的自旋,进入一个无限重复的循环中。  这些线程不停...博文来自:weixin_41846500的博客

  CAS的全称为Compare-And-Swap,直译就是对比交换。是一条CPU的原子指令,其作用是让CPU先进行比较两个值是否相等,然后原子地更新某个位置的值,经过调查发现,其实现方式是基于硬件平台的...博文来自:jijianshuai的专栏

  本文主要提供单点登录实现思路,以及实现过程中踩的坑。一、项目需求:多个系统,通过一个平台账号实现单点登录。二、实现思路:1、因多系统之间账号并不相同,需要一个管理绑定账号的平台系统,以下统称cas-a...博文来自:的博客

  CAS算法:CompareandSwap比较并交换。总共由三个操作数,一个内存值v,一个线程本地内存旧值a(期望操作前的值)和一个新值b,在操作期间先拿旧值a和内存值v比较有没有发生变化,如果没有发生...博文来自:gkmmg的博客

  学习多线程的时候看到很多人说CAS,并且在concurrent包里面到处都是CAS,就稍微去学习了一下。稍微做个总结CAS:CAS:CompareandSwap直接翻译就是比较并交换。直接从字面上理解...博文来自:CrazyHSF的博客

  最近项目比较大,子系统比较多,有要使用单点登录的需求,这就使用casserive集成的步骤:可以直接下载cas-server,运行起来。步骤大概这样:1.运行cas-server服务2.让cas-se...博文来自:dazer的专栏

  参考原文::CompareAndSwap简单介绍一下这个指令的操作过程:首先,CPU会将内存中将要被更改...博文来自:jie310600的博客

  从书中看到java中可以通过CAS的方式实现原子操作。在这里用了JAVA提供的用于原子操作的atomic类中的atomicInteger。例子中的安全计数器代码如下:privatevoidsafeCo...博文来自:Keyu

  一、什么是CAS?在计算机科学中,比较和交换(ConmpareAndSwap)是用于实现多线程同步的原子指令。它将内存位置的内容与给定值进行比较,只有在相同的情况下,将该内存位置的内容修改为新的给定值...博文来自:weixin_30952103的博客

  javaCAS原理分析基本过程分析在并发中,锁是最简单的方式,但是代价也是很高昂的。无锁算法一直是技术人员的最大追求,java中cas(compareAndSet)是著名的无锁算法。以AtomicIn...博文来自:Ares的专栏

本文链接:http://cakesbyrita.net/duodaitulingji/1155.html