解密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++) {
            }
        }

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


相关文章
|
4月前
|
存储 缓存 监控
什么是线程池?它的工作原理?
我是小假 期待与你的下一次相遇 ~
301 1
|
6月前
|
数据采集 消息中间件 并行计算
Python多线程与多进程性能对比:从原理到实战的深度解析
在Python编程中,多线程与多进程是提升并发性能的关键手段。本文通过实验数据、代码示例和通俗比喻,深入解析两者在不同任务类型下的性能表现,帮助开发者科学选择并发策略,优化程序效率。
512 1
|
8月前
|
数据采集 网络协议 前端开发
Python多线程爬虫模板:从原理到实战的完整指南
多线程爬虫通过并发请求大幅提升数据采集效率,适用于大规模网页抓取。本文详解其原理与实现,涵盖任务队列、线程池、会话保持、异常处理、反爬对抗等核心技术,并提供可扩展的Python模板代码,助力高效稳定的数据采集实践。
407 0
|
12月前
|
安全 Java 开发者
【JAVA】封装多线程原理
Java 中的多线程封装旨在简化使用、提高安全性和增强可维护性。通过抽象和隐藏底层细节,提供简洁接口。常见封装方式包括基于 Runnable 和 Callable 接口的任务封装,以及线程池的封装。Runnable 适用于无返回值任务,Callable 支持有返回值任务。线程池(如 ExecutorService)则用于管理和复用线程,减少性能开销。示例代码展示了如何实现这些封装,使多线程编程更加高效和安全。
|
并行计算 安全 Java
Python GIL(全局解释器锁)机制对多线程性能影响的深度分析
在Python开发中,GIL(全局解释器锁)一直备受关注。本文基于CPython解释器,探讨GIL的技术本质及其对程序性能的影响。GIL确保同一时刻只有一个线程执行代码,以保护内存管理的安全性,但也限制了多线程并行计算的效率。文章分析了GIL的必要性、局限性,并介绍了多进程、异步编程等替代方案。尽管Python 3.13计划移除GIL,但该特性至少要到2028年才会默认禁用,因此理解GIL仍至关重要。
1082 16
Python GIL(全局解释器锁)机制对多线程性能影响的深度分析
|
缓存 Oracle IDE
深入分析Java反射(八)-优化反射调用性能
Java反射的API在JavaSE1.7的时候已经基本完善,但是本文编写的时候使用的是Oracle JDK11,因为JDK11对于sun包下的源码也上传了,可以直接通过IDE查看对应的源码和进行Debug。
646 0
|
4月前
|
JSON 网络协议 安全
【Java】(10)进程与线程的关系、Tread类;讲解基本线程安全、网络编程内容;JSON序列化与反序列化
几乎所有的操作系统都支持进程的概念,进程是处于运行过程中的程序,并且具有一定的独立功能,进程是系统进行资源分配和调度的一个独立单位一般而言,进程包含如下三个特征。独立性动态性并发性。
250 1
|
4月前
|
JSON 网络协议 安全
【Java基础】(1)进程与线程的关系、Tread类;讲解基本线程安全、网络编程内容;JSON序列化与反序列化
几乎所有的操作系统都支持进程的概念,进程是处于运行过程中的程序,并且具有一定的独立功能,进程是系统进行资源分配和调度的一个独立单位一般而言,进程包含如下三个特征。独立性动态性并发性。
266 1
|
5月前
|
数据采集 存储 弹性计算
高并发Java爬虫的瓶颈分析与动态线程优化方案
高并发Java爬虫的瓶颈分析与动态线程优化方案
Java 数据库 Spring
222 0

热门文章

最新文章