synchronized / Lock / CAS

  1. synchronized和Lock实现的同步锁机制,都属于悲观锁,而CAS属于乐观锁
  2. 悲观锁在高并发的场景下,激烈的锁竞争会造成线程阻塞,而大量阻塞线程会导致系统的上下文切换,增加系统的性能开销

乐观锁

  1. 乐观锁:在操作共享资源时,总是抱着乐观的态度进行,认为自己能够完成操作
  2. 但实际上,当多个线程同时操作一个共享资源时,只有一个线程会成功,失败的线程不会被挂起,仅仅只是返回
  3. 乐观锁相比于悲观锁来说,不会带来死锁、饥饿等活性故障问题,线程间的相互影响也远远比悲观锁要小
    • 乐观锁没有因竞争而造成的系统上下文切换,所以在性能上更胜一筹

实现原理

  1. CAS是实现乐观锁的核心算法,包含3个参数:V(需要更新的变量),E(预期值)、N(最新值)
  2. 只有V等于E时,V才会被设置为N
  3. 如果V不等于E了,说明其它线程已经更新了V,此时该线程不做操作,返回V的真实值

CAS实现原子操作

AtomicInteger是基于CAS实现的一个线程安全的整型类,Unsafe调用CPU底层指令实现原子操作

复制

1
2
3
4
5
6
7
8
// java.util.concurrent.atomic.AtomicInteger
public final int getAndIncrement() {
return unsafe.getAndAddInt(this, valueOffset, 1);
} public final int getAndDecrement() {
return unsafe.getAndAddInt(this, valueOffset, -1);
}
复制

1
2
3
4
5
6
7
8
9
10
11
12
// sun.misc.Unsafe
public final int getAndAddInt(Object o, long offset, int delta) {
int v;
do {
v = getIntVolatile(o, offset);
} while (!compareAndSwapInt(o, offset, v, v + delta));
return v;
} public native int getIntVolatile(Object o, long offset); public final native boolean compareAndSwapInt(Object o, long offset, int expected, int x);

处理器实现原子操作

  1. CAS是调用处理器底层指令来实现原子操作的
  2. 处理器和物理内存之间的通信速度要远低于处理器间的处理速度,所以处理器有自己的内部缓存(L1/L2/L3)
  3. 服务器通常为多处理器,并且处理器是多核的,每个处理器维护了一块字节的缓存存,每个内核也维护了一块字节的缓存
    • 此时在多线程并发就会存在缓存不一致的问题,从而导致数据不一致
  4. 处理器提供了总线锁定和缓存锁定两种机制来保证复杂内存操作的原子性
    • 总线锁定

      • 当处理器要操作一个共享变量时,会在总线上会发出一个Lock信号,此时其它处理器就不能操作共享变量了
      • 总线锁定在阻塞其他处理器获取该共享变量的操作请求时,也可能会导致大量阻塞,从而增加系统的性能开销
    • 缓存锁定(后来出现)
      • 当某个处理器对缓存中的共享变量进行了操作,就会通知其他处理器放弃存储或者重新读取该共享变量
      • 目前最新的处理器都支持缓存锁定机制

优化CAS乐观锁

  1. 乐观锁在并发性能上要优于悲观锁

    • 但在写大于读的操作场景下,CAS失败的可能性增大,如果循环CAS,会长时间占用CPU
    • 例如上面的AtomicInteger#getAndIncrement
  2. JDK 1.8中,提供了新的原子类LongAdder
    • LongAdder在高并发场景下会比AtomicInteger和AtomicLong的性能更好,代价是消耗更多的内存空间

      • 核心思想:空间换时间
      • 实现原理:降低操作共享变量的并发数
    • LongAdder内部由一个base变量和一个cell[]数组组成
      • 当只有一个写线程(没有竞争)

        • LongAdder会直接使用base变量作为原子操作变量,通过CAS操作修改base变量
      • 当有多个写线程(存在竞争)
        • 除了占用base变量的一个写线程外,其他写线程的value值会分散到cell数组中
        • 不同线程会命中到数组的不同槽中,各个线程只对自己槽中的value进行CAS操作
        • value=base+∑ni=0Cell[i]value=base+∑i=0nCell[i]
    • LongAdder在操作后的返回值只是一个近似准确的值,但最终返回的是一个准确的值
      • LongAdder不适合实时性要求较高的场景

性能对比

  1. 读大于写,读写锁ReentrantReadWriteLock、读写锁StampedLock、乐观锁LongAdder的性能最好
  2. 写大于读,乐观锁的性能最好,其他四种锁的性能差不多
  3. 读约等于写,两种读写锁和乐观锁的性能要优于synchronized和Lock

小结

  1. 乐观锁的常见使用场景:数据库更新

    • 为每条数据定义一个版本号,在更新前获取版本号,在更新数据时,再判断版本号是否被更新过,如果没有才更新数据
  2. CAS乐观锁的使用比较受限,因为乐观锁只能保证单个变量操作的原子性
  3. CAS乐观锁在高并发写大于读的场景下
    • 大部分线程的原子操作会失败,失败后的线程将不断重试CAS原子操作,导致大量线程长时间占用CPU资源
    • JDK 1.8中,新增了原子类LongAdder,采用空间换时间的思路解决了这个问题,但实时性不高

Java性能 -- CAS乐观锁的更多相关文章

  1. Java:CAS(乐观锁)

    本文讲解CAS机制,主要是因为最近准备面试题,发现这个问题在面试中出现的频率非常的高,因此把自己学习过程中的一些理解记录下来,希望能对大家也有帮助. 什么是悲观锁.乐观锁?在java语言里,总有一些名 ...

  2. CAS(乐观锁)以及ABA问题

    https://blog.csdn.net/wwd0501/article/details/88663621独占锁是一种悲观锁,synchronized就是一种独占锁:它假设最坏的情况,并且只有在确保 ...

  3. Java并发:乐观锁

    作者:汤圆 个人博客:javalover.cc 简介 悲观锁和乐观锁都属于比较抽象的概念: 我们可以用拟人的手法来想象一下: 悲观锁:像有些人,凡事都往坏的想,做最坏的打算:在java中就表现为,总是 ...

  4. Java并发问题--乐观锁与悲观锁以及乐观锁的一种实现方式-CAS

    首先介绍一些乐观锁与悲观锁: 悲观锁:总是假设最坏的情况,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会阻塞直到它拿到锁.传统的关系型数据库里边就用到了很 ...

  5. JAVA多线程学习四 - CAS(乐观锁)

    本文讲解CAS机制,主要是因为最近准备面试题,发现这个问题在面试中出现的频率非常的高,因此把自己学习过程中的一些理解记录下来,希望能对大家也有帮助. 什么是悲观锁.乐观锁?在java语言里,总有一些名 ...

  6. [数据库锁机制] 深入理解乐观锁、悲观锁以及CAS乐观锁的实现机制原理分析

    前言: 在并发访问情况下,可能会出现脏读.不可重复读和幻读等读现象,为了应对这些问题,主流数据库都提供了锁机制,并引入了事务隔离级别的概念.数据库管理系统(DBMS)中的并发控制的任务是确保在多个事务 ...

  7. Java中的乐观锁

    1.前言 之前好几次看到有人在面经中提到了乐观锁与悲观锁,但是一本<Java Concurrency In Practice>快看完了都没有见到过这两种锁,今天终于在第15章发现了它们的踪 ...

  8. Java多线程:乐观锁、悲观锁、自旋锁

    悲观锁(Pessimistic Lock), 顾名思义,就是很悲观,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会block直到它拿到锁.传统的关系型数据 ...

  9. Java性能之synchronized锁的优化

    synchronized / Lock 1.JDK 1.5之前,Java通过synchronized关键字来实现锁功能 synchronized是JVM实现的内置锁,锁的获取和释放都是由JVM隐式实现 ...

随机推荐

  1. 分布式服务防雪崩熔断器(Hystrix),实现服务降级

    Hystrix是什么? hystrix对应的中文名字是“豪猪”,豪猪周身长满了刺,能保护自己不受天敌的伤害,代表了一种防御机制,这与hystrix本身的功能不谋而合,因此Netflix团队将该框架命名 ...

  2. 究竟是什么毁了我的impl实现

    Impl模式早就有过接触(本文特指通过指针完成impl),我晓得它具有以下优点: 减少头文件暴露出来的非必要内部类(提供静态库,动态库时尤其重要): 减小文件间的编译依存关系,大型代码库的编译时间就不 ...

  3. [转]JVM系列四:生产环境参数实例及分析【生产环境实例增加中】

    原文地址:http://www.cnblogs.com/redcreen/archive/2011/05/05/2038331.html java application项目(非web项目) 改进前: ...

  4. apache jmeter 使用

    ======================= 插件 ======================= 在JMeter 中很多东西都是基于插件技术的, 所以扩展性非常好, 比如下面这些东西都是插件: 1 ...

  5. [20190910]关于降序索引问题5.txt

    [20190910]关于降序索引问题5.txt --//测试了索引TERM使用0xfe表示,回想到以前遇到降序索引的特殊字符编码问题,现在可是忘得一干二净.--//现在想想当时自己怎么猜测出来的,^_ ...

  6. Oracle大数据解决方案》学习笔记5——Oracle大数据机的配置、部署架构和监控-1(BDA Config, Deployment Arch, and Monitoring)

    原创预见未来to50 发布于2018-12-05 16:18:48 阅读数 146  收藏 展开 这章的内容很多,有的学了. 1. Oracle大数据机——灵活和可扩展的架构 2. Hadoop集群的 ...

  7. if选择结构

    if的语法规则: if(布尔表达式){java语句} //只有一个java语句的时候可以省略大括号不建议这么写但是别人写的代码能看懂 if的写法有4种: if(){} if(){}else{} if( ...

  8. C++学习一 结构与结构体

    结构体属于C++与C区别之一. 代码例子如下(来自<C++程序设计>): #include <iostream> #include <string> using n ...

  9. c# WF 第9节 button控件

    本节内容: 1:实现实例 1:实现实例 每当点击一个确定就出现一个窗口,当点击最后的确定时,关闭所有的窗口. 实现: 步骤1:对Form 1 -Form3 依次进行如下设置: 步骤2 : 当每点击一个 ...

  10. Host '10.133.3.34' is not allowed to connect to this MySQL server mysql 本地拒接连接

    mysql 本地拒接连接 解决方案是,把mysql库中的user表的host 改成% 运行所电脑连接 也可以把第一行复制一遍  把localhost改成你要连接电脑的ip(推荐这改,这样安全一点) 改 ...