解密Java多线程中的锁机制:CAS与Synchronized的工作原理及优化策略

简介: 解密Java多线程中的锁机制:CAS与Synchronized的工作原理及优化策略

CAS

什么是CAS

CAS: 全称Compare and swap,字面意思:”比较并交换“,CAS涉及如下操作:

假设内存中的原数据为A,旧的预期值为B ,需要修改的值为C。

  1. 首先把A与B进行比较,看A与B是否相同。
  2. 如果A与B相同,则把数据C的值赋予A。
  3. 返回操作成功。

我们来写一个CAS的伪代码以帮忙我们更好理解CAS。

boolean Cas(int a,int b,int c){
        //进行比较看a是否发生变化
        if(a==b){
            a=c;
            return true;
        }
       return false;
    }

CAS是乐观锁的一种实现方式,当多个线程对一个数据进行操作时,只有一个线程操作成功,其他线程并不会阻塞,会返回操作失败的信号。

真实的 CAS 是一个原子的硬件指令完成的,只有硬件予以支持,软件方面才能实现。

CAS的应用

标准库中提供了 java.util.concurrent.atomic 包,里面的类都是基于这种方式来实现的。

典型的就是 AtomicInteger 类, 其中的 getAndIncrement 相当于 i++ 操作。

public static void main(String[] args) {
        ReentrantReadWriteLock lock = new ReentrantReadWriteLock();
        AtomicInteger  seq = new AtomicInteger(0);
        //进行++操作
        seq.getAndIncrement();
        seq.getAndIncrement();
        seq.getAndIncrement();
        System.out.println(seq);
    }

我们点开自增方法,我们看到它的操作也是通过上述伪代码的那种方式实现的。

也可以使用CAS实现自旋锁

ABA问题

假设存在两个线程 t1 和 t2。 有一个共享变量 num, 初始值为 A。

接下来,线程 t1 想使用 CAS 把 num 值改成 Z,那么就需要

  • 先读取 num 的值, 记录到 oldNum 变量中。
  • 使用 CAS 判定当前 num 的值是否为 A, 如果为 A,就修改成 Z。
    但是,在 t1 执行这两个操作之间,t2 线程可能把 num 的值从 A 改成了 B, 又从 B 改成了 A。

异常举例

以银行取钱为例:

  1. 存款 100,线程1 获取到当前存款值为 100,期望更新为 50; 线程2 获取到当前存款值为 100, 期望更新为 50。
  2. 线程1 执行扣款成功, 存款被改成 50。线程2 阻塞等待中。
  3. 在线程2 执行之前, 你的朋友正好给你转账 50, 账户余额变成,100。
  4. 轮到线程2 执行了,发现当前存款为 100,和之前读到的 100 相同,再次执行扣款操作。

这样我们的钱就不翼而飞了,所以这种情况是万万不可的。

所以我们引入版本号来解决这个问题。CAS在读取旧值时也要读取版本号,在修改时,如果读到的版本号与当前版本号相同就进行修改,如果当前版本号高于读到的版本号,就修改失败。

Synchronized 原理

基本特征

  1. 开始时是乐观锁,如果锁冲突严重就升级为悲观锁。
  2. Synchronized是可重入锁。
  3. 是不公平锁。
  4. 是不可读写锁
  5. 开始是轻量级锁实现,如果锁被持有的时间较长, 就转换成重量级锁。

加锁过程

加锁流程图:

偏向锁

偏向锁就是在当前锁对象中标记改锁属于那个线程,没有进行实际加锁,能不加锁就不加锁,减少不必要的开销,只有当其他线程来竞争锁时,才会进行锁升级,由偏向锁变为轻量级锁。

轻量级锁

锁升级为轻量级锁之后,通过CAS实现。

  • 通过CAS检查并更新一块内存。
  • 如果更新成功,则认为加锁成功。
  • 如果更新失败,则认为加锁失败,锁被占用

重量级锁

如果竞争进一步激烈, 自旋不能快速获取到锁状态,就会膨胀为重量级锁

此处的重量级锁就是指用到内核提供的 mutex。

  • 执行加锁操作, 先进入内核态。
  • 在内核态判定当前锁是否已经被占用
  • 如果该锁没有占用, 则加锁成功,并切换回用户态。
  • 如果该锁被占用,则加锁失败。 此时线程进入锁的等待队列,挂起。 等待被操作系统唤醒。
  • 经历了一系列的沧海桑田, 这个锁被其他线程释放了, 操作系统也想起了这个挂起的线程, 于是唤醒这个线程, 尝试重新获取锁。

当多个线程竞争同一把锁,自旋等待的时间过长,无法获取到锁时,JVM会将这把锁升级为重量级锁。这时,线程并不再进行自旋等待,而是进入内核态,通过操作系统提供的mutex实现来管理锁的状态和等待队列。

在内核态中,操作系统判定当前锁是否已经被占用。如果锁没有被占用,则线程成功获取到锁,并切换回用户态继续执行。如果锁已经被占用,则线程加锁失败。此时,线程会进入锁的等待队列,并被操作系统挂起,等待被唤醒。

随着时间的推移和线程的竞争,当其他线程释放了这把锁并且操作系统意识到有线程在等待这个锁时,操作系统会唤醒等待的线程,使其重新启动并尝试重新获取锁。这个过程可能会经历一段时间,之后线程再次尝试获取锁以继续执行。

其他优化操作

锁消除

编译器+JVM 判断锁是否可消除,如果可以,就直接进行消除了。

也就是说我们许多加锁操作在单线程中运行时,那些加锁操作的锁就没必要。

@Override
    public synchronized StringBuffer append(String str) {
        toStringCache = null;
        super.append(str);
        return this;
    }

例如 StringBuffe中的append操作就会涉及加锁操作,我们在单线程运行中就可以进行锁消除。

锁粗化

一段逻辑中如果出现多次加锁解锁,编译器 + JVM 会自动进行锁的粗化。

用我们上课讲的例子就是:

领导给下面人布置任务呢,一共三个任务,现在有这两种做法:

  1. 给员工打一个电话一次性什么三个任务。
  2. 给员工打三个电话,一次说一个任务。

让我们大家选择,大家肯定选择做法一啊,当然人家jvm也会进行这样的锁粗化。

可以用一个代码理解一下:

//频繁加锁
        for (int i = 0; i < 100; i++) {
            synchronized (o1){
            }
        }
        //粗化
        synchronized (o1){
            for (int i = 0; i < 100; i++) {
            }
        }

把锁粗化,避免频繁申请释放锁。


相关文章
|
18天前
|
并行计算 安全 Java
Python GIL(全局解释器锁)机制对多线程性能影响的深度分析
在Python开发中,GIL(全局解释器锁)一直备受关注。本文基于CPython解释器,探讨GIL的技术本质及其对程序性能的影响。GIL确保同一时刻只有一个线程执行代码,以保护内存管理的安全性,但也限制了多线程并行计算的效率。文章分析了GIL的必要性、局限性,并介绍了多进程、异步编程等替代方案。尽管Python 3.13计划移除GIL,但该特性至少要到2028年才会默认禁用,因此理解GIL仍至关重要。
95 16
Python GIL(全局解释器锁)机制对多线程性能影响的深度分析
|
27天前
|
算法 安全 Java
Java线程调度揭秘:从算法到策略,让你面试稳赢!
在社招面试中,关于线程调度和同步的相关问题常常让人感到棘手。今天,我们将深入解析Java中的线程调度算法、调度策略,探讨线程调度器、时间分片的工作原理,并带你了解常见的线程同步方法。让我们一起破解这些面试难题,提升你的Java并发编程技能!
68 16
|
2月前
|
缓存 算法 搜索推荐
Java中的算法优化与复杂度分析
在Java开发中,理解和优化算法的时间复杂度和空间复杂度是提升程序性能的关键。通过合理选择数据结构、避免重复计算、应用分治法等策略,可以显著提高算法效率。在实际开发中,应该根据具体需求和场景,选择合适的优化方法,从而编写出高效、可靠的代码。
49 6
|
2月前
|
存储 Java
Java 11 的String是如何优化存储的?
本文介绍了Java中字符串存储优化的原理和实现。通过判断字符串是否全为拉丁字符,使用`byte`代替`char`存储,以节省空间。具体实现涉及`compress`和`toBytes`方法,前者用于尝试压缩字符串,后者则按常规方式存储。代码示例展示了如何根据配置决定使用哪种存储方式。
|
2月前
|
存储 监控 算法
Java虚拟机(JVM)垃圾回收机制深度解析与优化策略####
本文旨在深入探讨Java虚拟机(JVM)的垃圾回收机制,揭示其工作原理、常见算法及参数调优方法。通过剖析垃圾回收的生命周期、内存区域划分以及GC日志分析,为开发者提供一套实用的JVM垃圾回收优化指南,助力提升Java应用的性能与稳定性。 ####
|
2月前
|
监控 算法 Java
Java虚拟机(JVM)垃圾回收机制深度剖析与优化策略####
本文作为一篇技术性文章,深入探讨了Java虚拟机(JVM)中垃圾回收的工作原理,详细分析了标记-清除、复制算法、标记-压缩及分代收集等主流垃圾回收算法的特点和适用场景。通过实际案例,展示了不同GC(Garbage Collector)算法在应用中的表现差异,并针对大型应用提出了一系列优化策略,包括选择合适的GC算法、调整堆内存大小、并行与并发GC调优等,旨在帮助开发者更好地理解和优化Java应用的性能。 ####
72 0
|
2月前
|
存储 监控 小程序
Java中的线程池优化实践####
本文深入探讨了Java中线程池的工作原理,分析了常见的线程池类型及其适用场景,并通过实际案例展示了如何根据应用需求进行线程池的优化配置。文章首先介绍了线程池的基本概念和核心参数,随后详细阐述了几种常见的线程池实现(如FixedThreadPool、CachedThreadPool、ScheduledThreadPool等)的特点及使用场景。接着,通过一个电商系统订单处理的实际案例,分析了线程池参数设置不当导致的性能问题,并提出了相应的优化策略。最终,总结了线程池优化的最佳实践,旨在帮助开发者更好地利用Java线程池提升应用性能和稳定性。 ####
|
Java C++
详解JAVA中的 i++ 和 ++i ,案例及原理,通俗易懂
i++和++i是日常开发中,经常使用的语句形式,也是面试中经常见到的一个知识点。但是你真的理解其中的原理吗?
1002 0
|
4天前
|
Java 程序员 开发者
Java社招面试题:一个线程运行时发生异常会怎样?
大家好,我是小米。今天分享一个经典的 Java 面试题:线程运行时发生异常,程序会怎样处理?此问题考察 Java 线程和异常处理机制的理解。线程发生异常,默认会导致线程终止,但可以通过 try-catch 捕获并处理,避免影响其他线程。未捕获的异常可通过 Thread.UncaughtExceptionHandler 处理。线程池中的异常会被自动处理,不影响任务执行。希望这篇文章能帮助你深入理解 Java 线程异常处理机制,为面试做好准备。如果你觉得有帮助,欢迎收藏、转发!
45 14
|
7天前
|
安全 Java 程序员
Java 面试必问!线程构造方法和静态块的执行线程到底是谁?
大家好,我是小米。今天聊聊Java多线程面试题:线程类的构造方法和静态块是由哪个线程调用的?构造方法由创建线程实例的主线程调用,静态块在类加载时由主线程调用。理解这些细节有助于掌握Java多线程机制。下期再见! 简介: 本文通过一个常见的Java多线程面试题,详细讲解了线程类的构造方法和静态块是由哪个线程调用的。构造方法由创建线程实例的主线程调用,静态块在类加载时由主线程调用。理解这些细节对掌握Java多线程编程至关重要。
37 13

热门文章

最新文章