【线程安全】如何区分线程安全还是线程不安全? 一文解释清楚线程安全问题,解释什么是锁重用、锁竞争、分段锁

news2024/9/23 14:51:45

线程安全问题 是一个重难点,编程就是这样,有的时候自己无论如何苦思冥想也弄不明白,但如果有人指点一二就能豁然开朗,希望本文可以给各位同学带来帮助
本文作者: csdn 孟秋与你

文章目录

  • 如何判断一个类是否线程安全
    • 是否有共享的可变状态:
    • 是否使用线程安全的数据结构:
    • 是否使用了同步机制:
    • 是否声明为final不可变
    • 某些简单场景下声明为volatile
  • 事务与线程安全
  • 锁String字符串
  • 锁优化
    • 什么是锁重用、锁竞争、分段锁

如何判断一个类是否线程安全

  1. 是否有共享的可变状态(全局变量 即堆内存)

  2. 是否使用了线程安全的数据结构

  3. 是否使用了同步机制

  4. 是否声明为final 不可变

  5. 某些简单场景下声明为volatile(不理解可以忽这点)

是否有共享的可变状态:

如下面代码 除了get方法使用到age变量,没有其它任何地方修改这个值,所以自然是线程安全的

public class User{

	private Integer age;
	
	public Integer getAge(){
		return this.age;
	}
}

是否使用线程安全的数据结构:

比如某个类使用的都是ConcurrentHashMap存放全局变量,那也是线程安全的。

我们接着往下看,如何确定一个数据结构是否安全的

是否使用了同步机制:

上面提到的线程安全的数据结构,这些数据结构通常也是通过同步机制来保证线程安全的,我们简单看几个jdk自带几个线程安全类:

首先是大家最熟悉的ConcurrentHashMap,通过synchronized关键字 对node加锁
在这里插入图片描述

还有远古时期八股文常见面试题之一的hashtable(现在应该没人问了吧) 通过synchronized把整个方法都锁了,因为有性能问题 所以后面大家都不用了

在这里插入图片描述

我们再来看看一个双向队列类:LinkedBlockingDeque

在这里插入图片描述
看源码可知,涉及修改的地方都使用了ReentrantLock加锁,所以它也是线程安全的。

是否声明为final不可变

比如下面类,它也是线程安全的

public class Test(){
	private final People people;
	public void method(){
		// do something
	}
}


某些简单场景下声明为volatile

(关于volatile关键字 博主用了些时间才略有所懂,私认为如果不能掌握这个关键字用法 我们在写代码时没必要硬用)

volatile比synchronized轻量很多,但volatile只保证可见性、有序性,并不保证原子性,所以它并不能完全保证线程安全。

如下面代码

public class Test{
	private volatile int age;
}

age如果涉及到age++操作,就会出现线程不安全的情况,因为age++ 实际上是三个步骤:读取、修改、写入。

那么什么场景下会用到volatile呢?

当需要使用一个简单的标志位来控制线程的执行状态时,volatile 是一个理想的选择。例如,使用 volatile 来控制一个线程的停止信号。
(简而言之boolean已经是基本类型了,它内部没有其它变量,也没有int这样的原子性操作)

public class VolatileFlagExample {
    private volatile boolean running = true;

    public void stop() {
        running = false;
    }

    public void run() {
        while (running) {
            // 执行任务
        }
        System.out.println(" 作者-csdn: 孟秋与你");
    }

    public static void main(String[] args) throws InterruptedException {
        VolatileFlagExample example = new VolatileFlagExample();
        Thread thread = new Thread(example::run);
        thread.start();

        Thread.sleep(1000); // 模拟运行一段时间
        example.stop();
    }
}


另外 单例模式也会用到:
在单例模式中,使用 volatile 可以防止指令重排序问题,确保单例实例的正确初始化和可见性。

public class Singleton {
    private static volatile Singleton instance;

    private Singleton() {
        // 私有构造函数
    }

    public static Singleton getInstance() {
        if (instance == null) { // 第一次检查
            synchronized (Singleton.class) {
                if (instance == null) { // 第二次检查
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}


事务与线程安全

事务是绑定在线程上面的 不同线程无法使用同一个事务
(注意本文讨论的只是线程安全 但完全可能有并发问题 导致ABA)

锁String字符串

示例:锁String a

public void input(String a){
	synchronized(a)
	// do other

}

使用sync(a) 在http中请求会有问题 ,
因为Spring框架中会变成一个对象new String(a)
每次锁的a 都是不同对象,导致锁失效

要解决这个问题 可以锁 a.intern() ,这样锁的是字符串常量

但是假如有另外一个方法:

public void output(String a) {
	// do something
}

就会导致 我们预期只需要锁input,结果output方法也被锁了。

锁优化

我们知道synchronized是比较重的,

public synchronized void test(String a){
 // do something
}
public void test(String a){
	synchronized(this){
	// do something
	}
}

锁方法和锁this是等效的,都是锁当前对象;所有用到当前对象的地方都会被锁住

我们可以优化一下,由锁当前对象变成锁一个对象,如下面代码 就只是锁住了lock对象

Object lock = new Object();
public void test(String a){
	synchronized(lock){
	// do something
	}
}

但是上面方法并发性不是很高, 不同的入参需要串行等待,

我们可以使用如下方法:

public class Test {


    ConcurrentHashMap lock = new ConcurrentHashMap();

   public void input(String a) {

       lock.computeIfAbsent(a,item -> new Object());
       Object obj = lock.get(a);
       synchronized (obj) {

       }

   }


    public void outPut(String a) {
        // do something
    }
}


这样不同的入参就持有不同的锁,可以并行运行了,每个入参执行互不干扰。
(但如果数据不断激增可能导致锁泄露, oom情况)

什么是锁重用、锁竞争、分段锁

上文我们提到 通过ConcurrentHashMap lock的方式可能出现oom,如果要自己去维护value,会非常的费劲;我们可以使用guava提供的一种折中方案:

通过这个方案也顺便解释一下八股文里面常见的术语


import com.google.common.util.concurrent.Striped;
import java.util.concurrent.locks.Lock;

public class Test {
	// 预设锁的数量 根据实际并发量调整
    private final Striped<Lock> stripedLocks = Striped.lock(1024); 

    public void input(String a) {
        Lock lock = stripedLocks.get(a);
        lock.lock();
        try {
            // 处理与键 'a' 相关的逻辑
            System.out.println("Processing input for key: " + a);
            // 模拟处理时间
            try {
                Thread.sleep(100);
            } catch (InterruptedException e) {
                Thread.currentThread().interrupt();
            }
        } finally {
            lock.unlock();
        }
    }

    public void outPut(String a) {
        // do something
    }
}

Striped lock底层也是通过ReentrantLock来实现的,Striped的API要求初始必须传入指定的锁数量,这避免了锁溢出情况。

当我们指定Striped.lock(1024)时,如果并发是5000 远大于这个数量会发生什么呢?

我们简单看一下stripedLocks.get(a)的源码:
在这里插入图片描述
通过hash计算,来获取索引

所以Striped锁的原理也比较明了:指定数量的锁,比如指定了1024把锁,当我们传入参数时,对参数进行hash计算,获取其中一把锁;相同hash会获取同一把锁(锁重用),如果锁没释放 则会进入等待。

下面再用大白话解释一遍:

stripedLocks.get(a) -> 其实是对a进行hash计算 ,我们可以理解为
stripedLocks.get(hash(a))

等a执行完,锁释放,但这把锁不会消失;后面某参数 hash(xxx) 可能获取到这把相同的锁, 如果hash(abc) 和 hash(xyz) 计算结果一样,那么就出现了锁竞争的情况,只有一个线程能执行,另一个线程陷入等待。

看到这里应该明白了,stripedLocks的逻辑 就类似于我们在代码中

Object obj1 = new Object();
// ...
Object obj1024 = new Object();

// 计算hash值 获取其中一个对象 objx
public void test(String a){
	synchronized (objx){
	 // do something
	}

}

它虽然不会出现oom的情况,但锁竞争概率大于ConcurrentHashMap lock的方式,所以博主说它是一种折中的方式,这种方式在专业术语中称为分段锁
通过这个Striped锁的示例,博主浅用自己通俗的话总结:可以被不同对象重复使用称为锁重用,正是因为锁可以重用,所以会产生竞争;竞争时只有一个线程可以执行,其它线程需要等待,这种现象就是锁竞争,而尽可能的减少锁竞争的方式,就是尽可能的通过hash等算法打散,去获取不同的锁,这种方式就是分段锁

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

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

相关文章

抖音截流神器发布:不限量评论采集,实时推送,提升运营效率

在短视频风靡的今天&#xff0c;抖音成为品牌营销的新战场。如何在海量内容中脱颖而出&#xff0c;提升运营效率成为关键。本文将揭秘一款革命性的抖音运营工具&#xff0c;它不仅支持不限量评论采集&#xff0c;还实现了实时推送功能&#xff0c;助力运营者精准把握用户反馈&a…

解决事务提交延迟问题:Spring中的事务绑定事件监听机制解析

目录 一、背景二、事务绑定事件介绍三、事务绑定事件原理四、结语 一、背景 实际工作中碰到一个场景&#xff0c;现存系统有10w张卡需要进行换卡&#xff0c;简单来说就是为用户生成一张新卡&#xff0c;批量换卡申请需要进行审核&#xff0c;审核通过后异步进行处理。 为什么…

C++中string的使用

文章目录 string类对象的常见构造string类对象的容量操作size() / length()&#xff1a;返回字符串的长度&#xff08;字符数&#xff09;。capacity()&#xff1a;返回当前字符串分配的容量&#xff08;即在重新分配内存前可以保存的字符数&#xff09;。检查是否为空&#xf…

大数据可视化-三元图

三元图是一种用于表示三种变量之间关系的可视化工具&#xff0c;常用于化学、材料科学和地质学等领域。它的特点是将三个变量的比例关系在一个等边三角形中展示&#xff0c;使得每个点的位置代表三个变量的相对比例。 1. 结构 三个角分别表示三个变量的最大值&#xff08;通常…

Centos7.9 使用 Kubeadm 自动化部署 K8S 集群(一个脚本)

文章目录 一、环境准备1、硬件准备&#xff08;虚拟主机&#xff09;2、操作系统版本3、硬件配置4、网络 二、注意点1、主机命名格式2、网络插件 flannel 镜像拉取2.1、主机生成公私钥2.2、为啥有 Github 还用 Gitee2.3、将主机公钥添加到 Gitee2.3.1、复制主机上的公钥2.3.2、…

【C++篇】走进C++标准模板库:STL的奥秘与编程效率提升之道

文章目录 C STL 初探&#xff1a;打开标准模板库的大门前言第一章: 什么是STL&#xff1f;1.1 标准模板库简介1.2 STL的历史背景1.3 STL的组成 第二章: STL的版本与演进2.1 不同的STL版本2.2 STL的影响与重要性 第三章: 为什么学习 STL&#xff1f;3.1 从手动编写到标准化解决方…

FortiGate 防火墙 DNS 地址转换(DNS Translation)

简介 本例介绍 FortiGate 防火墙 DNS 地址转换&#xff08;DNS Translation&#xff09;配置方法。 一、 网络结构 网络结构如下图&#xff0c;PC1 连接在 FG60B 的 Internal 接口&#xff0c;FG60B 的 Wan1 接口连接 FG80CM 的 DMZ 接口&#xff0c;Wan1 接口开启 DNS 服务…

无人机之工作温度篇

无人机的工作温度是一个相对复杂的问题&#xff0c;因为它受到多种因素的影响&#xff0c;包括无人机的类型&#xff08;如民用、军用&#xff09;、设计规格、应用场景以及环境条件等。以下是对无人机工作温度范围的详细解析&#xff1a; 一、正常工作温度范围 一般来说&…

LeetcodeTop100 刷题总结(二)

LeetCode 热题 100&#xff1a;https://leetcode.cn/studyplan/top-100-liked/ 文章目录 八、二叉树94. 二叉树的中序遍历&#xff08;递归与非递归&#xff09;补充&#xff1a;144. 二叉树的前序遍历&#xff08;递归与非递归&#xff09;补充&#xff1a;145. 二叉树的后序遍…

RK3568驱动指南|第十六篇 SPI-第190章 配置模式下寄存器的配置

瑞芯微RK3568芯片是一款定位中高端的通用型SOC&#xff0c;采用22nm制程工艺&#xff0c;搭载一颗四核Cortex-A55处理器和Mali G52 2EE 图形处理器。RK3568 支持4K 解码和 1080P 编码&#xff0c;支持SATA/PCIE/USB3.0 外围接口。RK3568内置独立NPU&#xff0c;可用于轻量级人工…

JavaEE---Spring之小练习

实现一个验证码项目 后端代码 后端代码测试 整体代码测试 输入正确的验证码 输入错误的验证码

【C++掌中宝】缺省参数的全面解析

文章目录 前言1. 什么是缺省参数&#xff1f;2. 缺省参数的分类2.1 全缺省【备胎是如何使用的&#x1f605;】2.1.1 疑难细究 2.2 半缺省2.2.1 错误用法示范2.2.2 正确用法示范2.2.3&#x1f525;实参缺省与形参缺省的混合辨析&#x1f525; 3. 缺省参数的规则和限制4. 规定必须…

Gartner发布2024年中国基础设施战略技术成熟度曲线

Gartner于近日首次发布2024年中国基础设施战略技术成熟度曲线&#xff0c;该曲线收录的21项技术主要覆盖四大领域&#xff0c;分别是&#xff1a;自主可控计划、AI 影响、运营效率以及基础设施现代化。 Gartner研究总监张吟铃表示&#xff1a;“中国市场与全球市场虽然使用的技…

[Redis][预备知识]详细讲解

目录 1.命令1.最核心的两个命令1.SET2.GET3.说明 2.基本全局命令0.前言1.KEYS2.EXISTS3.DEL4.EXPIRE5.TTL6.TYPE 2.数据结构和内部编码3.单线程架构1.单线程模型2.单线程还效率高&#xff1f;(重点)3.注意 1.命令 1.最核心的两个命令 1.SET 语法&#xff1a;SET key value功…

jmeter发送邮件:详细步骤与功能配置指南?

jmeter发送邮件如何设置&#xff1f;怎么配置JMeter以发送邮件&#xff1f; Apache JMeter作为一款强大的性能测试工具&#xff0c;不仅可以用于测试Web应用的性能&#xff0c;还可以通过插件扩展其功能&#xff0c;实现诸如发送邮件等操作。AokSend将详细介绍如何使用JMeter发…

核心复现—计及需求响应的区域综合能源系统双层优化调度策略

目录 一、主要内容&#xff1a; 二、摘要介绍&#xff1a; 三、综合能源系统结构&#xff1a; 四、实际仿真运行结果&#xff1a; 五、代码数据下载&#xff1a; 一、主要内容&#xff1a; 在模型构建部分&#xff1a;建立了一个综合能源系统双层优化调度模型&#xff0c;…

openeuler22.03 LTS 源码编译安装fastdfs-6.06

openeuler22.03 LTS 源码编译安装fastdfs-6.06 1、环境 名称版本备注openeuler22.03 LTSfastdfs6.06libfastcommon1.0.43libfastcommon是一个开源的C语言库&#xff0c;用于实现高性能的分布式文件系统和分布式存储系统 2、准备安装包 fastdfs 官网&#xff1a; https://git…

《概率论与数理统计》学渣笔记

文章目录 1 随机事件和概率1.1 古典概型求概率随机分配问题简单随机抽样问题 1.2 几何概型求概率1.3 重要公式求概率 2 一维随机变量及其分布2.1 随机变量及其分布函数的定义离散型随机变量及其概率分布&#xff08;概率分布&#xff09;连续型随机变量及其概率分布&#xff08…

【machine learning-12-多元线性回归】

线性回归-多特征 多特征线性回归多特征表示更简单的多元线性回归表示方法 之前节的线性回归为简化都是用的单特征&#xff0c;但现实中我们的预测因素很复杂不可能只有一个特征&#xff0c;下面总结多特征线性回归 多特征 之前总是用房价举例&#xff0c;预测房价和房屋面积的…

个人量化成功之路-----从 Yahoo! Finance 下载交易策略数据

雅虎财经 是投资者最受欢迎的网站之一。它提供有关股票、债券、货币和加密货币的各种市场数据。它还提供市场新闻、报告和分析、期权和基本数据 官方的雅虎财经 API 于 2017 年被下架 Yfinance 是由 Ran Aroussi 开发的开源 Python 库&#xff0c;用于访问雅虎财经上可用的财…