Java EE之线程安全问题

一.啥是线程安全问题

有些代码,在单个线程执行时完全正确,但同样的代码让多个线程同时执行,就会出现bug。例如以下代码:

给定一个变量count,让线程t1  t2分别自增5000次,然后进行打印,按理说count应变成10000,但实际却小于1000:

这是因为,count每增加一次,cpu都要执行三个指令:1.load:把数据从内存读取到cpu寄存器中;2.add:把寄存器中的数加一;3.save:把寄存器中的数保存到内存中。由于cpu的调度顺序随机,就可能导致有些调度顺序下,上述逻辑出现问题。(注意:每一次调度都是执行一条指令)

首先要明确,不同的线程将内存中的值进行加载时,会加载到不同的cpu寄存器中,不同寄存器是相互独立的。然而内存只有一个,所以一个变量在内存中只能有一个值

    t1             t2

load

add

save

                 load

                 add

                  save

上面这是最理想的状态这样下来的俩次count++后,count的值变为2,但可能有如下情况:

   t1             t2

load

add

              load

save

               add

              save

首先,内存中的count是0,然后执行第一个load,加载到寄存器1中count=0,然后add,寄存器1中的count=1.然后执行t2的load,也就是把内存中的count加载到寄存器2中,而此时内存中的count还没有更新为1,所以加载时寄存器2中的count=0,而和t1所在的寄存器1中的值不同。所以t1进行保存时,保存到值是count=1,然而t2进行add,就是把寄存器2中的count进行+1操作,然后save,这导致保存时保存到还是1。所以俩次count++操作后,内存中的count=1而不是=2!!!

还有很多种情况

那有没有可能最终count<5000呢?有可能。因为可能在t1的一次load和save之间t2连续执行多次,也就是首先t1将内存中的count=0加载到自己的寄存器1中,然后下一步就是t2连续进行了5次count++,这时寄存器2中的count=5并保存到了内存中,然后下一步就是t1把自己寄存器中的count=0加了1,然后把count=1保存到了内存中。可有人又说,这样执行下去,反正t1要执行5000次,那么count不就是5000吗?可我想说,既然t2可以多次执行,那也就有可能接下来又几次是t1多次执行,这样就有可能小于5000。

二.线程安全产生的原因

1.操作系统中,线程的调度是随机的

2.俩个线程,针对同一个变量进行修改

3.修改操作不是原子的

count++是分三步进行的,也就是有三个指令

4.内存可见性问题

5.指令重排序问题

4和5会在以后的文章中讲解到

三.如何解决线程安全问题

1.针对原因1,无法解决,因为这是系统内核实现的,无法按修改

2.针对原因2,可通过调整代码结构,修改代码逻辑来解决,但很难实现

3.原因3,可以让操作变成是原子的,这就用到了之前提到过的加锁问题。如何加锁?使用synchronized关键字

四.synchronized关键字

1.synchronized工作原理

synchronized是针对对象进行加锁的,在摸个线程已经对一个对象进行加锁并运行时,如果有另一个线程尝试对该对象加锁,就会产生锁竞争,后一个线程就会阻塞等待,直到前一个线程解锁为止。

2.加锁举例

对代码块进行加锁:

注意,进行加锁的对象没有要求,可以任意。如上,让t1和t2都针对同一个对象进行加锁,t2就会等t1执行完后再和执行,打印出来的就是10000.

这是因为,t2由于锁竞争,导致lock操作出现阻塞,直到t1unlock之后,t2的lock操作才算结束

在t2的等待过程中,t2就表现出了BLOCKED状态

加锁形成了串行执行的效果,使得线程安全问题迎刃而解

synchronized除了对代码块加锁以外,还可以修饰实例方法或静态方法

注意对方法进行加锁,可以直接在方法前面加上关键字。那就有疑问了,不需要指定对象进行加锁吗?在这里,当在方法前加关键字时,默认的加锁对象就是this,所以上述代码就等价于:

而对于静态方法,也是有以上两种做法,只不过,第二种方法不能简单地使用this(因为静态方法之中没有this)而应如下使用:

注意这里的count应该是静态属性。Counter.class就是通过反射的方式来获得类对象。反射学习请仔细阅读http://t.csdnimg.cn/2WmtY

这里再强调一下:反射的本质就是依靠类对象作为支撑。

类对象如何产生?首先是.java程序被编译生成.class文件,然后.class文件被jvm加载到内存中产生一个数据结构,此数据结构就是类对象。

类对象中包含:1.类的属性有哪些,都是啥名字啥类型啥访问权限;2.类的方法有哪些,都是啥名字啥类型啥访问权限;3.类本身继承自哪个类,实现了哪些接口。

同时,类对象在一个java进程中时唯一的,如:写了一个counter类,那么在内存中只有一个counter类对象。

3.synchronized一些特性

1.互斥性

就是说,一个对象被上了锁,另一个对象就得等待释放。那么如何知道该对象已经被上锁?这就用到了对象头

synchronized用到的锁是存在于对象头中的

什么是对象头?Java的一个对象,对应的内存空间中,不仅有我们自己定义的属性,还有一些自带属性(储存在对象头中)。在对像头中就有一些属性是表示当前对象是否加锁。(对象头中存储了对象是很多java内部的信息,如hash码,对象所属的年代,对象锁,锁状态标志,偏向锁(线程)ID,偏向时间等)

2.可重入性

所谓可重入锁,就是指:一个线程连续对同一把锁加锁来此,不会出现死锁问题。满足此要求就是可重入,反之就是不可重入。要想详细了解可重入,就要先了解死锁。

五.死锁

1.死锁的表现形式

一个线程,针对同一把锁连续加锁俩次

如果不是可重入锁,就会出现死锁问题,如下:

synchronized(locker){

       synchronized(locker){

       }(1)

}(2)

如上是一个线程,假设synchronized是不可重入锁。第一次成功加锁了,到了第二次,要想加锁,就得第一次的所执行结束并释放锁;但第一次的锁要想结束,就得第二次的锁加锁成功。这就是形成矛盾,也就是死锁了。

但synchronized是可重入的,这使得locker锁可以记录下是哪个线程在对它进行加锁,后续再加锁时,若枷锁线程是当前持有锁的线程,就可以加锁成功。

那么此时就有一个问题:上述例子中,执行到{(1)时,是否应该释放锁?不可以释放!!!否则后面的代码就没有锁的保护了,就会出现线程安全问题。不管锁了几次,都应该在最后全部执行完再释放锁。

那么如何知道代码已经执行完了呢?这就引入了引用计数:在锁对象中,不仅要记录随拿到了锁,还要记录锁加了几次。每加一次锁,计数器就加一,每解一次锁,计数器就减一,直到最后,计数器为0。

俩个线程俩把锁

首先t1获取到了A锁,t2获取到了B锁

然后t1想获取B锁,t2想获取A锁。但是A锁已被t1持有,B已被t2持有并且都没释放,所以俩线程就会阻塞等待,死等待,都完成不了,也都释放不了

代码如下:

每个线程加了一把锁之后休眠1秒,就是为了保证俩个线程都至少获取到了一把锁,二避免出现有一个线程没获取到锁二另一个线程把俩把锁都获取到的情况

我们会发现,什么都没有打印,因为线程1获取不到锁2,线程1就完成不了,同理,线程2也完成不了,这就形成了死锁

n个线程m把锁,更易出现死锁问题

典型模型:哲学家就餐问题。

每个哲学家有俩件事可做:一个是思考问题不吃面条,另一个是吃面条不思考(吃面时会拿起做有俩根筷子。规则如下:哲学家啥时候思考啥时候吃是随机的;吃一次面条吃多久是随机的;当一个哲学家正在吃面条时,另一个哲学家突然想吃面条,那么这另一个哲学家就会阻塞等待(而不会先去思考,直到那个哲学家放下筷子。

一般情况下可正常进行,但有极端情况:五个哲学家同一时刻同时想吃面条,于是同时拿起了左手的筷子,二当他们同时去拿右手筷子时,都没有筷子了,所有人都会阻塞等待右手边的筷子,这就出现了死等待问题,也就是死锁。

2.死锁的成因

我们只讲4个必要条件,这四个条件都满足才能出现死锁问题

互斥使用(这是锁的基本特性)

当一个线程持有一把锁后,另一个线程要想获取到这把锁,就必须要阻塞等待

不可抢占(这也是锁定基本特性)

当锁被线程1拿到后,线程2只能等待线程1将锁释放后才能拿到,而不能与1抢夺

请求保持

一个线程尝试获取多把锁:线程拿到锁1后,又想同时拿到锁2,并且在拿的时候不想释放锁1,也就是请求保持锁1在它手里。这就和上面俩个线程俩把锁的情况类似:

循环/环路等待

就是说,等待的依赖关系形成了环,也就是典型的哲学家就餐问题。

3.如何避免/解决死锁问题?

只要上述四个必要条件中有一个没成立,就可以解决死锁问题。但前俩个是锁的特性,无法改变,所以只能从三四入手

针对请求保持问题进行解决

只要规定用完一个锁之后才能使用另一个锁,就可以解决这个问题,代码如下:

针对循环/环路等待问题进行解决

上述规定用完一个锁之后才能使用另一个锁,这样的规定不一定能够满足用户需求,有些就是得嵌套使用,那该如何解决?

给锁进行编号,规定从小到大或从大到小进行锁的取用。(比如从小到大取,线程1用了1号锁,此时线程2想加锁,他也只能取用1号锁,所以就得等待线程1将1锁释放;而线程1在释放锁1之前要是还想加锁,就可以继续加2号锁(剩余锁中的最小号)……)

还是上面的例子,就可以如下解决:

这里虽然还是嵌套的锁,但由于都是先加锁1再加锁2,所以没有出现死锁问题

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

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

相关文章

如何将中科方德桌面操作系统加入Windows域

往期文章&#xff1a;自定义SSH客户端连接时的显示信息 | 统信UOS | 麒麟KYLINOS Hello&#xff0c;大家好啊&#xff0c;今天我非常高兴地给大家带来一篇关于如何将中科方德桌面操作系统加入Windows域的教程文章。对于使用中科方德桌面操作系统的用户来说&#xff0c;将其加入…

【力扣每日一题】力扣2917找出数组中的kor值

题目来源 力扣2917找出数组中的kor值 题目概述 给你一个下标从 0 开始的整数数组 nums 和一个整数** **k 。 nums 中的 K-or 是一个满足以下条件的非负整数&#xff1a; 只有在 nums 中&#xff0c;至少存在 k 个元素的第 i 位值为 1 &#xff0c;那么K-or 中的第 i 位的值…

记一次简单的获取虚拟机|伪终端shell权限

场景描述 某个系统是ova文件&#xff0c;导入虚拟机启动&#xff0c;但是启动后只有一个伪终端权限&#xff0c;即权限很小&#xff0c;如何拿到这个虚拟机的shell权限呢&#xff1f; 实际操作 这次运气比较好&#xff0c;所遇到的系统磁盘并没有被加密&#xff0c;所以直接…

Java中String类型的变量为什么是不可变的

想相信很多小伙伴在学Java的时候都学到了&#xff1a;Java中的字符串即 String 变量是不可变的&#xff0c;但是为什么呢&#xff1f;我们看 String 的源码&#xff1a; 通过源码可以看到&#xff0c;其实 String 类型的变量&#xff0c;内部是一个 byte 数组 value&#xff0c…

GCN 翻译 - 2

2 FAST APROXIMATE CONVOLUTIONS ON GRAPHS 在这一章节&#xff0c;我们为这种特殊的的图基础的神经网络模型f(X, A)提供理论上的支持。我们考虑一个多层的图卷积网络&#xff08;GCN&#xff09;&#xff0c;它通过以下方式进行层间的传播&#xff1a; 这里&#xff0c;是无…

Mac 安装JDK,并通过命令切换不同版本jdk

mac电脑安装了jdk8、jdk11、jdk21 三个版本的jdk&#xff0c;在环境变量中配置命令&#xff0c;动态切换不同jdk 1.下载JDK&#xff0c;Mac建议下载xxxxx/jdk-21_macos-x64_bin.dmg https://download.oracle.com/java/21/latest/jdk-21_macos-x64_bin.dmg&#xff0c; 2.双击安…

SAR ADC学习笔记(4)

CDAC电容阵列 一、电容失配 二、电容失配对CDAC线性度的影响 1.电容失配对DNL的影响 2.电容失配对INL的影响 三、分段结构的CDAC 四、CDAC开关切换方案&#xff1a;传统开关切换策略 第一次比较阶段&#xff1a;如果VP(1)-VN(1)<0 第一次比较阶段&#xff1a;如果VP(1)-VN…

Java开发工程师面试题(业务功能)

一、订单超时未支付自动关闭的几种实现方式。 定时任务扫描&#xff1a;在订单创建时&#xff0c;为订单创建一个定时任务&#xff0c;并设置一个超时时间。后端服务器会定期检查任务的创建时间是否超过了超时时间。如果是&#xff0c;则将订单设置为关闭状态。这种方案需要后…

Metaspace

1、什么是 Metaspace Metaspace 区域位于堆外&#xff0c;所以它的最大内存大小取决于系统内存&#xff0c;而不是堆大小&#xff0c;我们可以指定 MaxMetaspaceSize 参数来限定它的最大内存。 Metaspace 是用来存放 class metadata 的&#xff0c;class metadata 用于记录一…

社区店选址案例研究:成功与失败的经验教训

大家好&#xff0c;我是一名鲜奶吧5年的创业者&#xff0c;在社区店经营方面有着丰富的经验。 今天&#xff0c;我将分享一些关于社区店选址的成功与失败案例&#xff0c;希望能给想开实体店或创业的朋友们提供有价值的干货信息。 首先&#xff0c;让我们来看看成功的社区店选…

【MobaXterm】Execute command 的问题;Linux环境变量配置;

引言 记录一次使用MobaXterm工具连接数据库时出现的问题。 现象是这样的&#xff1a;通过MobaXterm使用账户A以SSH方式连接登录测试服务器&#xff0c;尝试重启服务。服务启动时提示JDK版本不一致&#xff1a;Unsupported major.minor version 52.0 查询一下java版本 开发环境…

抖音详情API:高效利用缓存机制提升性能

抖音详情API的具体实现细节和参数并不是公开透明的&#xff0c;因为这些信息属于抖音平台的内部API&#xff0c;通常只对合作伙伴或官方开发者开放。因此&#xff0c;我无法为你提供关于抖音详情API的具体代码或参数细节。 然而&#xff0c;关于高效利用缓存机制提升性能的一般…

RedShift 授权操作

RedShift 中只能有一个数据库&#xff0c;是在创建 RedShift 的时候创建的&#xff1b;SCHEMA 是 RedShift 中的模式&#xff0c;可以将 SCHEMA 理解为 MySQL 中的 DATABASES&#xff0c;授权也是针对 SCHEMA 去授权的。 注意&#xff1a; RedShift 中创建的用户默认是有超级管…

安卓面试题 11-20

&#x1f525; 11、 解释一下那个Kotlin 代码有什么问题&#xff1f; &#x1f525; 为什么这段代码是错误的&#xff1f;class Student (var name: String) {init() {println("Student has got a name as $name")}constructor(sectionName: String, var id: Int) t…

当CV遇上transformer(一)ViT模型

当CV遇上transformer(一)ViT模型 我们知道计算机视觉(Computer Vision)&#xff0c;主要包括图像分类、目标检测、图像分割等子任务。 自AlexNet被提出以来&#xff0c;CNN成为了计算机视觉领域的主流架构。CNN网络结构主要由卷积层、池化层以及全连接层3部分组成&#xff0c;其…

LeetCode 2575.找出字符串的可整除数组:同余问题

【LetMeFly】2575.找出字符串的可整除数组&#xff1a;同余问题 力扣题目链接&#xff1a;https://leetcode.cn/problems/find-the-divisibility-array-of-a-string/ 给你一个下标从 0 开始的字符串 word &#xff0c;长度为 n &#xff0c;由从 0 到 9 的数字组成。另给你一…

YoloV7改进策略:Block改进|MogaNet——高效的多阶门控聚合网络

文章目录 摘要论文:《MogaNet——高效的多阶门控聚合网络》1、简介2、相关工作2.1、视觉Transformers2.2、ViT时代的卷积网络3、从多阶博弈论交互的角度看表示瓶颈4、方法论4.1、MogaNet概述4.2、多阶门控聚合4.3、通过通道聚合进行多阶特征重新分配4.4、实现细节5、实验5.1、…

AttributeError: ‘ChatGLMTokenizer‘ object has no attribute ‘sp_tokenizer‘

目录 问题描述 在使用ChatGLMlora微调的时候&#xff0c;报错“AttributeError: ChatGLMTokenizer object has no attribute sp_tokenizer“ ​编辑问题解决&#xff1a; 问题描述 在使用ChatGLMlora微调的时候&#xff0c;报错“AttributeError: ChatGLMTokenizer object h…

使用nginx输入端口号显示404

输入对应的端口号显示404 先检查当前nginx文件夹的路径是没有中文的查看是否没有开启nginx&#xff1a;ctrlaltdelete打开任务管理器&#xff0c;看看有没有nginx.exe进程&#xff08;一般是有两个进程&#xff09;如果没有进程说明没有打开nginx&#xff0c;查看端口号是否被…

Vue快速开发一个主页

前言 这里讲述我们如何快速利用Vue脚手架快速搭建一个主页。 页面布局 el-container / el-header / el-aside / el-main&#xff1a;https://element.eleme.cn/#/zh-CN/component/container <el-container><el-header style"background-color: #4c535a"…