【JavaEE精炼宝库】多线程进阶(2)synchronized原理、JUC类——深度理解多线程编程

news2024/10/7 14:27:57

一、synchronized 原理

1.1 基本特点:

结合上面的锁策略,我们就可以总结出,synchronized 具有以下特性(只考虑 JDK 1.8):

  • 开始时是乐观锁,如果锁冲突频繁,就转换为悲观锁。

  • 开始是轻量级锁实现,如果锁被持有的时间较长,就转换成重量级锁。

  • 实现轻量级锁的时候大概率用到的自旋锁策略。

  • 是一种不公平锁。

  • 是一种可重入锁。

  • 不是读写锁。

1.2 加锁工作过程:

JVM 将 synchronized 锁分为无锁、偏向锁、轻量级锁、重量级锁状态。会根据情况,进行依次升级。
在这里插入图片描述

1.2.1 偏向锁:

第一个尝试加锁的线程,优先进入偏向锁状态。 偏向锁不是真的 “加锁”,只是给对象头中做一个 “偏向锁的标记”,记录这个锁属于哪个线程。如果后续没有其他线程来竞争该锁,那么就不用进行其他同步操作了(避免了加锁解锁的开销)。如果后续有其他线程来竞争该锁(刚才已经在锁对象中记录了当前锁属于哪个线程了,很容易识别当前申请锁的线程是不是之前记录的线程),那就取消原来的偏向锁状态,进入一般的轻量级锁状态。偏向锁本质上相当于 “延迟加锁”。能不加锁就不加锁,尽量来避免不必要的加锁开销。但是该做的标记还是得做的,否则无法区分何时需要真正加锁。

1.2.2 轻量级锁:

随着其他线程进入竞争,偏向锁状态被消除,进入轻量级锁状态(自适应的自旋锁)。此处的轻量级锁就是通过 CAS 来实现。通过 CAS 检查并更新一块内存(比如 null => 该线程引用)如果更新成功,则认为加锁成功,如果更新失败,则认为锁被占用,继续自旋式的等待(并不放弃CPU)。

自旋操作是一直让 CPU 空转,比较浪费 CPU 资源。因此此处的自旋不会一直持续进行,而是达到一定的时间 / 重试次数,就不再自旋了。也就是所谓的 “自适应” 。

1.2.3 重量级锁:

如果竞争进一步激烈,自旋不能快速获取到锁状态,就会膨胀为重量级锁。此处的重量级锁就是指用到内核提供的 mutex 。

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

1.3 锁消除:

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

锁消除常常运用在:有些应用程序的代码中,用到了 synchronized,但其实没有在多线程环境下。(例如 StringBuffer)

StringBuffer sb = new StringBuffer();
sb.append("a");
sb.append("b");
sb.append("c");
sb.append("d");

此时每个 append 的调用都会涉及加锁和解锁,但如果只是在单线程中执行这个代码,那么这些加锁解锁操作是没有必要的,白白浪费了一些资源开销。

1.4 锁粗化:

一段逻辑中如果出现多次加锁解锁,编译器 + JVM 会自动进行锁的粗化。 锁粗化这里涉及一个概念粒度(不是力度):加锁的范围内,包含代码的多少,包含的代码越多,就认为锁的粒度就越粗,反之,锁的粒度就越细。

综上可以看到,synchronized 的策略是比较复杂的,在背后做了很多事情,目的为了让程序猿哪怕啥都不懂,也不至于写出特别慢的程序。JVM 开发者为了 Java 程序猿操碎了心。

1.5 面试题:

  1. 什么是偏向锁?

答:偏向锁不是真的加锁,而只是在锁的对象头中记录⼀个标记(记录该锁所属的线程)。如果没有其他线程参与竞争锁,那么就不会真正执行加锁操作,从而降低程序开销。⼀旦真的涉及到其他的线程竞争,再取消偏向锁状态,进入轻量级锁状态。

  1. synchronized 实现原理是什么?

答:刚开始是一个标记,遇到所冲突升级成轻量级锁,采用自旋锁的方式实现,随着锁冲突的升级,锁升级为重量级锁,采用挂起等待锁的方式,来实现锁。

二、JUC(java.util.concurrent)的常见类

在 java.util.concurrent 中放了和多线程相关的组件。

2.1 Callable 接口:

Callable 是⼀个接口,相当于把线程封装了⼀个 “返回值”。方便程序猿借助多线程的方式计算结果。可以认为是一个带返回参数的 runnable 。里面要重写的方法是 call( )。

  • 理解 Callable 和 FutureTask:

Callable 和 Runnable 相对,都是描述一个 “任务”。Callable 描述的是带有返回值的任务,Runnable
描述的是不带返回值的任务。Callable 通常需要搭配 FutureTask 来使用 FutureTask 用来保存 Callable 的返回结果。因为 Callable 往往是在另⼀个线程中执行的,啥时候执行完并不确定。FutureTask 就可以负责这个等待结果出来的工作(如果在 futureTask.get()线程还没执行完毕就会阻塞等待)。

FutureTask 可以直接传入 Thread 的构造方法当中,于是我们掌握的 Thread 的构造方式又多了一种。

我们可以将它们的关系理解成吃麻辣烫的情形:去吃麻辣烫,Callable 就是菜篮,重写的 call 方法里面就是点的菜,当餐点好后,前台会给你一张 “小票” ,后厨开始工作(Thread 启动)。这个小票就是 FutureTask,后面我们可以随时凭这张小票去查看自己的这份麻辣烫做出来了没有(线程是否执行完毕)。

演示案例:创建线程计算 1 + 2 + 3 + … + 1000,使用 Callable 版本。

import java.util.concurrent.*;
public class demo2 {
    public static void main(String[] args) throws InterruptedException, ExecutionException {
        Callable<Integer> callable = new Callable<Integer>() {//菜篮子
            int result = 0;
            @Override
            public Integer call() throws Exception {//菜
                for(int i = 1;i <= 1000;i++){
                    result += i;
                }
                return result;
            }
        };
        FutureTask<Integer> futureTask = new FutureTask<>(callable);//小票
        Thread t1 = new Thread(futureTask);//后厨
        t1.start();//后厨开始工作
        t1.join();
        System.out.println(futureTask.get());//小票取餐
    }
}

案例演示效果如下:

在这里插入图片描述

2.2 ReentrantLock:

顾名思义:可重入互斥锁和 synchronized 定位类似,都是用来实现互斥效果,保证线程安全。

  • ReentrantLock 的用法:
  1. lock():加锁,如果获取不到锁就死等。
  2. trylock(超时时间):加锁,如果获取不到锁,等待⼀定的时间之后就放弃加锁。
  3. unlock():解锁。

随着版本的升级 synchronized 越来越好用了,ReentrantLock 就渐渐的用的少了,但是这里我们还是要学习,就说明其相对于 synchronized 有着一些特有的优势:

  • ReentrantLock 与 synchronized 的区别:
  1. synchronized 是一个关键字,是 JVM 内部实现的(大概率是基于 C++ 实现)。ReentrantLock 是标准库的一个类,在 JVM 外实现的(基于 Java 实现)。
  2. synchronized 使用时不需要手动释放锁。ReentrantLock 使用时需要手动释放,使用起来更灵活但是也容易遗漏 unlock。
  3. synchronized 在申请锁失败时,会死等。ReentrantLock 可以通过 trylock 的方式等待一段时间就放弃。
  4. synchronized 是非公平锁,ReentrantLock 默认是非公平锁,可以通过构造方法传入一个 true 开启公平锁模式。
  5. 更强大的唤醒机制。synchronized 是通过 Object类 的 wait / notify 实现等待-唤醒。每次唤醒的是一个随机等待的线程。ReentrantLock 搭配 Condition 类实现等待-唤醒,可以更精确控制唤醒某个指定的线程。

如何选择使用哪个锁?

  1. 锁竞争不激烈的时候,使用 synchronized,效率更高,自动释放更方便。
  2. 锁竞争激烈的时候,使用 ReentrantLock,搭配 trylock 更灵活控制加锁的行为,而不是死等。
  3. 如果需要使用公平锁,使用 ReentrantLock。

2.3 原子类:

原子类内部用的是 CAS 实现,所以性能要比加锁实现 i++ 高很多。原子类有以下几个:
在这里插入图片描述

由于此模块在上一章多线程进阶(1)的 CAS 的应用中已经详细解释,这里就不再赘述。

2.4 Semaphore 信号量:

信号量,用来表示 “可用资源的个数”。本质上就是一个计数器。

  • 理解信号量:

可以把信号量想象成是停车场的展示牌:当前有车位 100 个。表示有 100个可用资源。当有车开进去的时候,就相当于申请一个可用资源,可用车位就 -1(这个称为信号量的 P操作)当有车开出来的时候,就相当于释放一个可用资源,可用车位就 +1(这个称为信号量的 V 操作)如果计数器的值已经为 0了,还尝试申请资源,就会阻塞等待,直到有其他线程释放资源。

Semaphore 的 PV 操作中的加减计数器操作都是原子的,可以在多线程环境下直接使用。

  • 代码案例演示:
import java.util.concurrent.*;
public class demo4 {
    public static void main(String[] args) {
        Semaphore semaphore = new Semaphore(1);
        Runnable runnable = new Runnable() {
            @Override
            public void run() {
                try {
                    semaphore.acquire();
                    System.out.println(Thread.currentThread().getName() + "获取到资源");
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                };
                try {
                    Thread.sleep(3000);
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
                System.out.println(Thread.currentThread().getName() + "释放资源");
                semaphore.release();
            }
        };
        Thread t1 = new Thread(runnable);
        Thread t2 = new Thread(runnable);
        t1.start();t2.start();
    }
}
  • 案例演示结果如下:

只有在资源还有剩余的情况下进行 acquire 才不会进行阻塞。
在这里插入图片描述

在信号量为 1 是可以将其当作锁来使用。锁可以看成是 semaphore 的特例。

2.5 CountDownLatch:

同时等待 N 个任务执行结束。

当我们把一个任务拆分成很多个的时候,可以通过这个工具类来识别任务是否整体执行完毕了。

使用过程:构造 CountDownLatch 实例,初始化 10 表示有 10 个任务需要完成。每个任务执行完毕,都调用 latch.countDown() 。在 CountDownLatch 内部的计数器同时自减,主线程中使用latch.await();阻塞等待。所有任务执行完毕,相当于计数器为 0 了,解除阻塞。好处是如果是多个线程不用写多个 join()。

案例演示:

import java.util.concurrent.CountDownLatch;
public class demo5 {
    public static void main(String[] args) throws InterruptedException {
        CountDownLatch latch = new CountDownLatch(2);
        Runnable runnable = new Runnable() {
            @Override
            public void run() {
                try {
                    Thread.sleep(3000);
                } catch (InterruptedException e) {
                    throw new RuntimeException(e);
                }
                System.out.println(Thread.currentThread().getName() + "执行完毕");
                latch.countDown();
            }
        };
        Thread t1 = new Thread(runnable);
        Thread t2 = new Thread(runnable);
        t1.start();t2.start();
        latch.await();
        System.out.println("Main 线程执行完毕");
    }
}

效果如下:

Main 线程会等待 Thread 1,2 执行完毕后,再继续执行。
在这里插入图片描述

三、线程安全的集合类

原来的集合类,大部分都不是线程安全的。(Vector,Stack,HashTable,是线程安全的(不建议用),其他的集合类不是线程安全的)。

3.1 多线程环境使用 ArrayList:

  1. 自己使用同步机制(synchronized 或者 ReentrantLock)

  2. Collections.synchronizedList(new ArrayList):synchronizedList 是标准库提供的一个基于 synchronized 进行线程同步的 List.synchronizedList 的关键操作上都带有 synchronized。

  3. 使用 CopyOnWriteArrayList:当我们往一个容器中添加元素的时候,不直接往当前容器添加,而是先将当前容器进行 Copy,复制出一个新的容器,然后在新的容器里面添加元素,添加完元素之后,再将原容器的引用指向新的容器。
    这样做的好处是我们可以对 CopyOnWrite 容器进行并发的读,而不需要加锁,因为当前容器不会添加任何元素。所以 CopyOnWrite 容器也是一种读写分离的思想,读和写不同的容器。
    优点:在读多写少的场景下,性能很高,不需要加锁竞争。
    缺点:1. 占用内存较多。2. 新写的数据不能被第一时间读取到。

3.2 多线程环境使用队列:

  • ArrayBlockingQueue:基于数组实现的阻塞队列。

  • LinkedBlockingQueue:基于链表实现的阻塞队列。

  • PriorityBlockingQueue:基于堆实现的带优先级的阻塞队列。

  • TransferQueue:最多只包含一个元素的阻塞队列。

3.3 多线程环境使用哈希表:

HashMap 本身不是线程安全的。在多线程环境下使用哈希表可以使用:Hashtable(不推荐使用),ConcurrentHashMap(推荐使用这个)。

3.3.1 Hashtable:

只是简单的把关键方法加上了 synchronized 关键字。
在这里插入图片描述

这相当于直接针对 Hashtable 对象本省加锁。不推荐使用这个的原因如下:

  1. 如果多线程访问同⼀个 Hashtable 就会直接造成锁冲突(冲突率太高了)。

  2. size 属性也是通过 synchronized 来控制同步,也是比较慢的。

  3. ⼀旦触发扩容,就由该线程完成整个扩容过程。这个过程会涉及到大量的元素拷贝,效率会非常低。

在这里插入图片描述

3.3.2 ConcurrentHashMap:

相比于 Hashtable 做出了一系列的改进和优化。以 Java1.8 为例:

  • 读操作没有加锁(但是使用了 volatile 保证从内存读取结果),只对写操作进行加锁,加锁的方式仍然是用 synchronized,但不是锁整个对象,而是 “锁桶” (用每个链表的头结点作为锁对象))大大降低了锁冲突的概率。

  • 充分利用 CAS 特性。比如 size 属性通过 CAS 来更新。避免出现重量级锁的情况。

  • 优化了扩容方式:化整为零。

发现需要扩容的线程,只需要创建⼀个新的数组,同时只搬几个元素过去。扩容期间,新老数组同时存在。后续每个来操作 ConcurrentHashMap 的线程,都会参与搬家的过程。每个操作负责搬运一小部分元素。搬完最后一个元素再把老数组删掉。这个期间,插入只往新数组中加。这个期间,查找需要同时查新数组和老数组。
在这里插入图片描述

结语:
其实写博客不仅仅是为了教大家,同时这也有利于我巩固知识点,和做一个学习的总结,由于作者水平有限,对文章有任何问题还请指出,非常感谢。如果大家有所收获的话还请不要吝啬你们的点赞收藏和关注,这可以激励我写出更加优秀的文章。

在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1886944.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

成人职场商务英语学习柯桥外语学校|邮件中的“备注”用英语怎么说?

在英语中&#xff0c;"备注"通常可以翻译为"Notes" 或 "Remarks"。 这两个词在邮件中都很常用。例如: 1. Notes Notes: 是最通用和最常见的表达&#xff0c;可以用在各种情况下&#xff0c;例如&#xff1a; 提供有关电子邮件内容的附加信息 列…

Mysql并发控制和日志

文章目录 一、并发控制锁机制事务&#xff08;transactions&#xff09;事务隔离级别 二、日志事务日志错误日志通用日志慢查询日志二进制日志 备份在线查看二进制离线查看二进制日志 一、并发控制 锁机制 锁类型&#xff1a; 读锁&#xff1a;共享锁&#xff0c;也称为 S 锁…

ANSYS新能源汽车动力电池仿真应用案例

燃料电池是一种非燃烧过程的电化学能转换装置&#xff0c;将氢气&#xff08;等燃料&#xff09;和氧气的化学能连续不断地转换为电能&#xff0c;是发电设备而非储能设备。 根据电解质的不同&#xff0c;分为碱性燃料电池AFC、磷酸燃料电池PAFC、熔融碳酸盐燃料电池MCFC、固体…

电信NR零流量小区处理

【摘要】随着目前网络建设逐步完善&#xff0c;5G用户的不断发展&#xff0c;针对零流量小区的分析及处理存在着必要性&#xff0c;零流量小区的出现既是用户分布及行为的直观体现&#xff0c;也是发展用户的一个指引&#xff0c;同时也能发现设备的一些故障。一个站点的能够带…

【Python】MacBook M系列芯片Anaconda下载Pytorch,并开发一个简单的数字识别代码(附带踩坑记录)

文章目录 配置镜像源下载Pytorch验证使用Pytorch进行数字识别 配置镜像源 Anaconda下载完毕之后&#xff0c;有两种方式下载pytorch&#xff0c;一种是用页面可视化的方式去下载&#xff0c;另一种方式就是直接用命令行工具去下载。 但是由于默认的Anaconda走的是外网&#x…

瀚高数据库2024最新版_6.0.4_Windows版安装使用---国产瀚高数据库工作笔记007

首先去下载安装包: 下载的是企业版,可以试用一年 首先安装的时候,直接,下一步下一步就可以了 注意要用administrator去安装. 下载以后一步步去安装就可以了 ,桌面上会出现 但是连接不上,并且, 如果从管理工具中,找到服务 cmd services.msc 打开以后,找到瀚高服务,但是…

VuePress日常使用

本篇来讲解下更多关于 VuePress 的基本用法 ‍ 配置首页 现在的页面太简单了&#xff0c;我们可以对项目首页进行配置&#xff0c;修改 docs/README.md &#xff08;这些配置是什么后面会说&#xff09;&#xff1a; --- home: true heroImage: https://s3.bmp.ovh/imgs/20…

zdppy_api+vue3+antd前后端分离开发,使用描述列表组件渲染用户详情信息

后端代码 import api import upload import time import amcomment import env import mcrud import amuserdetailsave_dir "uploads" env.load(".env") db mcrud.new_env()app api.Api(routes[*amcomment.get_routes(db),*amuserdetail.get_routes(db…

利用深度学习模型进行语音障碍自动评估

语音的产生涉及器官的复杂协调&#xff0c;因此&#xff0c;语音包含了有关身体各个方面的信息&#xff0c;从认知状态和心理状态到呼吸条件。近十年来&#xff0c;研究者致力于发现和利用语音生物标志物——即与特定疾病相关的语音特征&#xff0c;用于诊断。随着人工智能&…

Python - 递归函数(Recursive Function)的速度优化 (Python实现)

欢迎关注我的CSDN&#xff1a;https://spike.blog.csdn.net/ 本文地址&#xff1a;https://spike.blog.csdn.net/article/details/140137432 免责声明&#xff1a;本文来源于个人知识与开源资料&#xff0c;仅用于学术交流&#xff0c;不包含任何商业技术&#xff0c;欢迎相互学…

英灵神殿mac能玩吗 英灵神殿对电脑配置要求《英灵神殿》新手攻略查询 PD虚拟机能玩英灵神殿吗

近年来&#xff0c;随着《英灵神殿》&#xff08;Valheim&#xff09;游戏的火热&#xff0c;越来越多的玩家被其独特的北欧神话题材和丰富的生存挑战所吸引。然而&#xff0c;对于Mac用户来说&#xff0c;如何在Mac平台上运行这款游戏可能是一个问题。此外&#xff0c;作为一名…

闲聊 .NET Standard

前言 有时候&#xff0c;我们从 Nuget 下载第三方包时&#xff0c;会看到这些包的依赖除了要求 .NET FrameWork、.NET Core 等的版本之外&#xff0c;还会要求 .NET Standard 的版本&#xff0c;比如这样&#xff1a; 这个神秘的 .NET Standard 是什么呢&#xff1f; .NET St…

JAVA连接FastGPT实现流式请求SSE效果

FastGPT 是一个基于 LLM 大语言模型的知识库问答系统&#xff0c;提供开箱即用的数据处理、模型调用等能力。同时可以通过 Flow 可视化进行工作流编排&#xff0c;从而实现复杂的问答场景&#xff01; 一、先看效果 真正实流式请求&#xff0c;SSE效果&#xff0c;SSE解释&am…

【CH32V305FBP6】USBD HS 虚拟串口分析

文章目录 前言分析端点 0USBHS_UIS_TOKEN_OUT 端点 2USBHS_UIS_TOKEN_OUTUSBHS_UIS_TOKEN_IN 前言 虚拟串口&#xff0c;端口 3 单向上报&#xff0c;端口 2 双向收发。 分析 端点 0 USBHS_UIS_TOKEN_OUT 设置串口参数&#xff1a; 判断 USBHS_SetupReqCode CDC_SET_LIN…

AutoCAD Mechanical下载安装;Mechanical针对机械设计领域开发的CAD软件下载安装!

在AutoCAD Mechanical的助力下&#xff0c;用户能够轻松应对二维绘图与三维建模两大核心任务。二维绘图方面&#xff0c;软件提供了精准且灵活的绘图工具&#xff0c;使得工程师能够迅速勾勒出机械部件的轮廓与细节&#xff0c;大大提高了工作效率。 而在三维建模方面&#xff…

由于找不到d3dx9_43.dll是什么意思?教你快速修复d3dx9_43.dll

由于找不到d3dx9_43.dll是什么意思&#xff1f;就是d3dx9_43.dll文件丢失了&#xff0c;你的某些程序加载不出来了&#xff01;需要你去修复了d3dx9_43.dll文件&#xff0c;你的程序才可以正常运行&#xff0c;今天我们就来给大家详细的说说找不到d3dx9_43.dll的详细分析。 一.…

kaggle量化赛金牌方案(第七名解决方案)

获奖文章(第七名解决方案) 致谢 我要感谢 Optiver 和 Kaggle 组织了这次比赛。这个挑战提出了一个在金融市场时间序列预测领域中具有重大和复杂性的问题。 方法论 我的方法结合了 LightGBM 和神经网络模型,对神经网络进行了最少的特征工程。目标是结合这些模型以降低最终…

C++初学者指南-3.自定义类型(第一部分)-析构函数

C初学者指南-3.自定义类型(第一部分)-析构函数 文章目录 C初学者指南-3.自定义类型(第一部分)-析构函数特殊的成员函数用户定义的构造函数和析构函数RAII示例&#xff1a;资源处理示例&#xff1a;RAII记录零规则 特殊的成员函数 T::T()默认构造函数当创建新的 T 对象时运行。…

Linux指定文件权限的两种方式-符号与八进制数方式示例

一、指定文件权限可用的两种方式&#xff1a; 对于八进制数指定的方式&#xff0c;文件权限字符代表的有效位设为‘1’&#xff0c;即“rw-”、“rw-”、“r--”&#xff0c;以二进制表示为“110”、“110”、“100”&#xff0c;再转换为八进制6、6、4&#xff0c;所以777代表…

Golang中defer和return顺序

在Golang中&#xff0c;defer 和 return 的执行顺序是一个重要的特性&#xff0c;它们的执行顺序如下&#xff1a; return语句不是一条单独的语句&#xff0c;实际上&#xff0c;它是由赋值和返回两部分组成的。赋值步骤会先执行&#xff0c;这一步会计算return语句中的表达式…