《JavaEE篇》--多线程(2)

《JavaEE篇》--多线程(1)

线程安全

线程不安全

我们先来观察一个线程不安全的案例:

public class Demo {private static int count = 0;public static void main(String[] args) throws InterruptedException {Thread t1 = new Thread(() -> {//让count自增5W次for (int i = 0; i < 50000; i++) {count++;}});Thread t2 = new Thread(() -> {//让count自增5W次for (int i = 0; i < 50000; i++) {count++;}});t1.start();t2.start();//如果没有join,线程还没执行完,就会打印countt1.join();t2.join();//预期结果应该是十万次System.out.println("count: " + count);}
}

两个线程同时对一个变量进行修改,按理来说最后的输出结果应该是十万,现在我们运行一下

可以以看到似乎并不像我们预期的那样,每个结果都不一样,而且有些结果和我们预期的相差很大。

上述代码如果放在单线程里肯定是对的,但是如果放在多线程里就会出现逻辑错误了

先要知道怎么回事我们要先了解一下count++这个操作。

Count++这个操作实际上,是分成三步进行的,站在cpu的角度上,count++是由cpu通过三条指令来实现的

  1. load 把数据从内存读到cpu寄存器上
  2. add  把寄存器中的数据+1
  3. save 把寄存器中的数据,保存到内存中

 由于线程之间的调度顺序是随机的,就会导致在有些调度顺序下,就会出现上述逻辑错误,接下来我通过画图的方式详细讲解。

上述两种执行顺序是正常的执行顺序(t1线程执行完整个count++动作,之后t2线程再执行,或者t2先执行),但是由于线程的随机调度,可能当t1执行load和add的操作之后,这时t2插了进来完成自己的操作。就像这样

那么此时会产生什么结果呢?

可以看见此时编译器执行了两次count++操作但是实际的count只被加了一次,这还只是一种顺序,实际编译时两个操作执行count++又会有多少种呢?如果t1执行一次,t2执行两次,三次呢又会有多种?必然是我们无法知晓的。

结合上述讨论,就意识到了,在多线程中最困难的一点就是:线程的随机调度,使两个线程执行逻辑的先后顺序存在诸多可能,我们要保证在所有可能的情况下,代码都是正确的。

 综上对于线程安全我们可以粗略的认为:如果多线程环境下代码运行的结果是符合我们预期的,即在单线程环境应该的结果,则说这个程序是线程安全的。 

 线程不安全的原因

线程安全产生的原因主要有以下五点

  1. 操作系统中,线程的调度是随机的(抢占式执行)//主要原因
  2. 两个或多个线程对同一个变量进行修改
  3. 修改操作不是原子性的(比如count++就是非原子操作,需要多条指令才能完成操作)
  4. 内存可见性问题(之后讲到)
  5. 指令重排序(之后讲到)

 原子性:原子性不一定只是一条java语句或者只是一条cpu指令,如果一个操作在执行的时候不会有其他操作干扰或插入,就可以说这个操作是具有原子性的,比如如果把刚刚的count++加上一把锁让编译器,必须执行完一个count++后才能执行下一个count++,这样不管t1,t2线程的执行顺序如何,都不会影响最后结果。

保证原子性这一点也和线程的抢占式调度密切相关,如果线程不是抢占式(随机)的,就算没有原子性也没有什么关系

那么我们如何保证线程是安全的?我们先暂时针对前三个问题进行解决,先看第一个,这是操作系统的特性我们不好对其进行修改, 那么再看后两个,如果我们保证操作是原子性的,这样不管对变量怎么修改,就都不会出错了。那么怎么保证原子性呢?最好的方法就是加锁

加锁

我们先来解决刚刚的代码

 private static int count = 0;public static void main(String[] args) throws InterruptedException {Object locker = new Object();Object locker2 = new Object();Thread t1 = new Thread(() -> {//让count自增5W次for (int i = 0; i < 50000; i++) {synchronized (locker){//当同时对一个对象加锁时,必须要等前一个代码块执行完,后一个代码块才能执行,就可以解决问题了count++;}}});Thread t2 = new Thread(() -> {//让count自增5W次for (int i = 0; i < 50000; i++) {synchronized (locker){count++;}}});t1.start();t2.start();//如果没有join,线程还没执行完,就会打印countt1.join();t2.join();//预期结果应该是十万次System.out.println("count: " + count);}

运行结果:

可以看见现在的结果正是我们预期的

synchronized

synchronized 会起到互斥效果, 某个线程执行到某个对象的 synchronized 中时, 其他线程如果也执行到 同一个对象 synchronized 就会阻塞等待,换言之,当两个synchronized同时对一个对象加锁(什么样对象一般无所谓只要是相同的就行),必须要等前一个synchronized代码块执行完,后一个代码块才能执行。

  • 进入 synchronized 修饰的代码块, 相当于 加锁
  • 退出 synchronized 修饰的代码块, 相当于 解锁

举个例子🌰:

如果A对B表白,并且B同意了此时就相当于A对对象B进行了加锁,此时C就不能再追求B了,只能等A和B分手后(解锁),B又回归单身后,此时C就可以光明正大的追求B了。

//synchronized用的锁是存在Java对象头里的,加锁就相当于对对象头进行了修改

可以粗略的理解成对象再内存中储存的时候,都有一块内存表示对象是否被锁,如果被锁则其他线程不能再次加锁,如果没被锁则可以加锁。

其他写法

这两种方法等价

 //这两种方法等价synchronized public void add1(){this.count++;}public void add2(){synchronized (this){count++;}}
//这两种方法等价synchronized public static void add3(){}public static void add4(){synchronized (Count.class){}}

这两种方法也等价,上面的写法相当于下面的简化写法 

Count.class叫做类对象,类对象在java进程中是唯一的,一般包含以下内容

  1. 类的属性有哪些,都是啥名字,类型,权限
  2. 类的方法有哪些,都是啥名字,类型,权限
  3. 类本身继承自哪个类,实现了什么接口

 可重入

  • 不可重入锁:只判断这个锁有没有被锁上,如果没被锁上就可以对其加锁,如果被锁上就要等待它解锁之后才可以加锁
  • 可重入锁:不仅会判断这个锁有没有被锁上,还会判断这个锁是被谁锁上的,如果是被当前线程锁上的则可以连续加锁,并且不出现死锁

简单来说一个线程,连续针对一个一把锁,加锁两次,不会出现死锁,满足这个要求,就是可重入

不可重入锁

当一个代码块被锁上,此时如果在代码块内部再加上一把锁就会出现死锁,如下

如果synchronized是不可重复锁,针对上述代码,在第一次加锁时可以成功,此时locker已近是被加锁的状态了,当进行第二次加锁时,因为locker已经被加锁了所以第二把锁就会阻塞等待,要等到第一把锁解锁之后才能加成功。但是实际上,一旦第二把锁阻塞等待了,就会出现死锁,因为第一把锁要想解锁就要执行到(1)的位置,要想执行到(1)的位置就要让第二把锁成功加锁,由于第二次加锁导致代码阻塞了,就没办法执行到(1)的位置了也就没办法释放锁了。

//死锁的发生不一定是在一个方法,也可能会发生在方法调用之间

 可重入锁

可重入锁是一种支持可重入机制的锁,当对一把锁连续加锁两次第二把锁不会出现阻塞(换言之,外层使用锁之后,内层任然可以使用),允许一个线程反复获得该锁,避免了死锁的发生,同时也提高了代码的简洁性的可读性,我们刚刚讲到的synchronized就是可重入锁

我们在对这个案例进行分析,因为synchronized是可重入锁,所以没有因为第二次加锁而死锁,但是当代码执行到(2)时,此时,锁(1)应不应该打开?又或者说,这里有N把锁,那么释放的时机应该如何?

为了解决这个问题,可重入锁设计了加锁次数,每加一次锁就加1,释放一次锁就减1,当计数为0时才真正释放锁,以此来保证所有的加锁过程都解锁了,其他线程才能访问。

在可重入锁的内部, 包含了 "线程持有者" 和 "计数器" 两个信息.

  • 如果某个线程加锁的时候, 发现锁已经被人占用, 但是恰好占用的正是自己, 那么仍然可以继续获取 到锁, 并让计数器自增.
  • 解锁的时候计数器递减为 0 的时候, 才真正释放锁. (才能被别的线程获取到)

关于死锁

1.一个线程针对一把锁,连续加锁两次,如果是不可重入锁,就会发生死锁

2.两个线程,两把锁,t1线程先获取锁A在获取锁B,t2线程先获取锁B在获取锁A(此时无论是不是可重入锁都会死锁),就相当于一个人把车钥匙锁在家里,把家里钥匙锁在车里

 3.N个线程M把锁

关于N个线程M把锁有一个经典的模型--哲学家就餐问题

哲学家就餐问题

规则是这样的:

  • 每个哲学家会做两件事1.思考人生,放下筷子啥也不干  2.吃面条,拿起左右两侧的筷子,开始吃面条
  • 哲学家什么时候吃面条,什么时候思考人生是随机的
  • 哲学家什么时候吃完面条,什么时候思考完人生也是随机的
  • 哲学家正在吃面条时会拿起左右两则的筷子,如果相邻的哲学家也想吃面条就需要阻塞等待

 基于上述规则通常情况下,是可以正常运行的,但是当处在极端情况下时,比如五位哲学家同时想吃面,又同时拿起左边的筷子,这时就会出现死锁的情况(这里哲学家就相当于一个线程,筷子就相当于是锁,拿起一个筷子相当于解开了一把锁)。

处理方法:

  1. 对哲学家进行限制,当哲学家确认左右两边的筷子都可以用时才会拿起筷子吃面(确认之后其他人不会再拿起),使拿起筷子这个操作成为一个原子性的,就可以避免死锁发生。
  2. 找到一位右撇子的哲学家(先拿起右边的筷子,其他人都是左撇子),目的是让这个哲学家拿筷子的顺序和其它人不一样,当其他哲学家都拿起左边的筷子时,此时这个哲学家右边就没有筷子了,就处于阻塞等待,此时就会有一个哲学家成功拿到两双筷子。
  3. 限制吃饭的人数,方法很简单,就是在一个时间点最多只能有4个哲学家进餐,这样4个让分5双筷子,一定能有人吃的到,就不会发生死锁。
  4. 规定一个哲学家只有在两个相邻的哲学家都不吃面的情况下,才可以吃面,这样就彻底解决了死锁问题,和第一种方法有点类似。

Volatile

内存可见性

线程之间的共享变量存在主内存(实际物理内存)中,而且每一个线程还有自己的工作内存(寄存器/cpu高速缓存),当线程要读取一个共享变量时,会把变量从主内存拷到工作内存中,再从工作内存读取数据,当线程要修改一个共享变量时,也会先修改工作内存中的副本,在同步到主内存中。这样可能就会导致线程1修改了共享变量a,但是主内存和线程2中数据更改不及时。

内存可见性会带来的问题

我们先来看段代码

正常来将当我们输入1时t1线程就结束了

但是实际上无论我们如何输入1,t1都没有结束,这是怎么回事?

计算机运行的程序,经常要访问数据,这些数据往往会存储在内存中(比如,定义一个变量,变量就会存储在内存中),当cpu使用这个变量的时候,就会把这个变量,先从内存中读出来,再放到cpu的寄存器中,最后在参与运算。cpu读取内存的操作是比较缓慢的,相对而言读寄存器就快的多了。

为了及解决上述问题,提高效率,此时编译器就可能对代码作出一些优化,把一些本来要读内存的操作,转化为读寄存器,减少读内存的次数,也就提高了程序的效率了

当编译器在处理isQuit == 0时会涉及到俩条指令1.load读取内存中的isQuit的值到寄存器中,2.通过cmp指令比较寄存器里的值是不是0,然后决定要不要循环。

由于循环执行的速度非常快,短时间内就会完成大量load和cmp操作。这时编译器/JVM就会发现,虽然进行了这么多次load,但是每次load的结果都一样,并且load操作非常消耗时间,比cmp操作消耗的时间多得多,于是编译器就做了一个大胆的就决定,只在第一次循环操作的时候,才读内存,后续都不在读内存了,而是直接从寄存器中取出isQuit的值,这个就是编译器的优化。

编译器是希望代码能够更高效,才在保证代码逻辑不变的情况下,对代码进行优化,但是,此时我们是由另外一个线程对isQuiti进行了修改,编译器没有做出正确的判断,以为没人修改,最终导致了bug,这个问题就是内存可见性问题。

这时我们可以利用Volatile来解决这个问题

在多线程的环境下,编译器有时会做出一些不准确的优化,此时就需要我们程序猿自己手动来矫正。我们可以通过Volatile关键字,来告诉编译器不要进行优化。我们直接在刚刚的代码上操作,直接在isQuit前加上Volatile就行。

运行结果

可以看到这时程序成功执行

wait和notify

wait():让当前线程等待阻塞

wait的工作过程是,释放当前的锁,使当前的线程进行等待,满足唤醒条件后,重新尝试获得这把锁(wait必须搭配synchronized使用,换言之当前线程必须得到锁,否则直接使用的化会抛出异常)

wait可以传参,表示最多等待的时间(ms)

notify():唤醒wait等待的线程

notify工作过程是,唤醒wait,然后解锁

  • 方法notify()也要在同步方法或同步块中调用,该方法是用来通知那些可能等待该对象的对象锁的 其它线程,对其发出通知notify,并使它们重新获取该对象的对象锁。
  • 如果有多个线程等待,则有线程调度器随机挑选出一个呈 wait 状态的线程。(并没有 "先来后到")
  • 在notify()方法后,当前线程不会马上释放该对象锁,要等到执行notify()方法的线程将程序执行 完,也就是退出同步代码块之后才会释放对象锁。
  • 和wait一样必须搭配synchronized使用

notifyAll():可以一次唤醒所有的等待线程.

使用:

 public static void main(String[] args) {Object locker = new Object();Thread t1 = new Thread(() -> {System.out.println("wait 之前");synchronized (locker){try {locker.wait();} catch (InterruptedException e) {throw new RuntimeException(e);}}System.out.println("wait之后");});Thread t2 = new Thread(() -> {try {Thread.sleep(3000);} catch (InterruptedException e) {throw new RuntimeException(e);}synchronized (locker){System.out.println("进行通知");locker.notify();}});t1.start();t2.start();}

wait和sleep的区别

不同点:

  • wait 需要搭配 synchronized 使用. sleep 不需要.
  • wait 是 Object 的方法 sleep 是 Thread 的静态方法.
  • wait是为了让线程稍作等待,避免线程盲目争夺资源,sleep这时单纯让线程休眠一段是时间
  • wait是用于线程之间的通信,sleep只是用于让线程阻塞一段时间
  • 线程在wait时会释放锁,在sleep时不会
  • wait线程处于WAITING状态,sleep时线程处于TIMED_WAITING状态
  • wait被notify提前唤醒不会报出异常,sleep被提前唤醒会报异常
  • 相同点:
  • 都会让线程阻塞一段时间
  • 都可以设置最大等待时间时间

以上就是博主对线程知识的分享,在之后的博客中会陆续分享有关线程的其他知识,如果有不懂的或者有其他见解的欢迎在下方评论或者私信博主,也希望多多支持博主之后和博客!!🥰🥰

下一篇博客博主将分享有关单例模式等知识,还希望多多支持一下!!!😊

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

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

相关文章

【Android】碎片—动态添加、创建Fragment生命周期、通信

简单用法 在一个活动中添加两个碎片&#xff0c;并让这两个碎片平分活动空间 先新建一个左侧碎片布局和一个右侧碎片布局 左侧碎片 <?xml version"1.0" encoding"utf-8"?> <LinearLayout xmlns:android"http://schemas.android.com/apk/…

场外期权如何报价?名义本金是什么?

今天带你了解场外期权如何报价&#xff1f;名义本金是什么&#xff1f;投资者首先需要挑选自己想要进行期权交易的沪深上市公司股票。选出股票后&#xff0c;需要将股票信息、预期的操作时间&#xff08;如期限&#xff09;、看涨或看跌的选择以及预计的交易金额等信息报给场外…

java-selenium 截取界面验证码图片并对图片文本进行识别

参考链接 1、需要下载Tesseract工具并配置环境变量&#xff0c;步骤如下 Tesseract-OCR 下载安装和使用_tesseract-ocr下载-CSDN博客 2、需要在IDEA中导入tess4j 包&#xff1b;在pom.xml文件中输入如下内容 <!--导入Tesseract 用于识别验证码--><dependency>&l…

跟代码执行流程,读Megatron源码(四)megatron初始化脚本initialize.py之initialize_megatron()分布式环境初始化

在前文中&#xff0c;我们讲述了pretrain函数的执行流程&#xff0c;其首要步骤是megatron分组的初始化与环境的配置。本文将深入initialize_megatron函数源码&#xff0c;剖析其初始化分布式训练环境的内部机制。 注&#xff1a;在此假设读者具备3D并行相关知识 一. initiali…

Linux - 进程的概念、状态、僵尸进程、孤儿进程及进程优先级

目录 进程基本概念 描述进程-PCB task_struct-PCB的一种 task_struct内容分类 查看进程 通过系统目录查看 通过ps命令查看 通过系统调用获取进程的PID和PPID 通过系统调用创建进程- fork初始 fork函数创建子进程 使用if进行分流 Linux进程状态 运行状态-R 浅度睡眠状态-S…

AV1技术学习:Constrained Directional Enhancement Filter

CDEF允许编解码器沿某些(可能是倾斜的)方向应用非线性消阶滤波器。它以88为单位进行。如下图所示&#xff0c;通过旋转和反射所示的三个模板来定义八个预设方向。 Templates of preset directions and their associated directions. The templates correspond to directions of…

Python小工具之httpstat网络分析

一、简介 Python httpstat是一个基于Python的命令行工具&#xff0c;用于测量HTTP请求的性能和状态信息。它能够向目标服务器发送HTTP请求&#xff0c;并显示详细的统计信息&#xff0c;包括DNS解析时间、建立连接时间、TLS/SSL握手时间、首字节时间、总时间等。这些信息对于排…

Mailspring搭建安装教程:打造个性邮件体验

Mailspring搭建安装教程步骤&#xff01;如何选择电子邮件服务商&#xff1f; Mailspring作为一款功能强大、界面友好的邮件客户端&#xff0c;成为了许多用户的首选。AokSend将为大家提供详细的Mailspring搭建安装教程&#xff0c;帮助您打造个性化的邮件体验。 Mailspring搭…

若依 ruoyi poi Excel合并行的导入

本文仅针对文字相关的合并做了处理 &#xff0c;图片合并及保存需要另做处理&#xff01;&#xff01; 目标&#xff1a;Excel合并行内容的导入 结果&#xff1a; 1. ExcelUtil.java 类&#xff0c;新增方法&#xff1a;判断是否是合并行 /*** 新增 合并行相关代码&#xff1a;…

Java | Leetcode Java题解之第264题丑数II

题目&#xff1a; 题解&#xff1a; class Solution {public int nthUglyNumber(int n) {int[] dp new int[n 1];dp[1] 1;int p2 1, p3 1, p5 1;for (int i 2; i < n; i) {int num2 dp[p2] * 2, num3 dp[p3] * 3, num5 dp[p5] * 5;dp[i] Math.min(Math.min(num2…

Docker-Compose配置zookeeper+KaFka+CMAK简单集群

1. 本地DNS解析管理 # 编辑hosts文件 sudo nano /etc/hosts # 添加以下三个主机IP 192.168.186.77 zoo1 k1 192.168.186.18 zoo2 k2 192.168.186.216 zoo3 k3注&#xff1a;zoo1是192.168.186.77的别名&#xff0c;zoo2是192.168.186.18的别名&#xff0c;zoo3是192.168.186.1…

react中组件间的通信

一、父传子 1.代码展示 import React, { useState } from react;function SonPage(props){ // 子组件const {msg} propsreturn (<div>我是子组件 {msg}</div>) }function App() { // 父组件const [msgText,setMsgText] useState(父传子)return (<div classN…

全国区块链职业技能大赛第八套区块链产品需求分析与方案设计

任务1-1:区块链产品需求分析与方案设计 医疗健康平台中涉及到医院、医生、患者等参与方,他们需要在区块链医疗健康平台中完成账户注册、身份上链、挂号就诊、查询病例等多种业务活动。通过对业务活动的功能分析,可以更好的服务系统的开发流程。基于医疗健康平台系统架构,以…

Vue3可媲美Element Plus Tree组件开发之append节点

在前面的章节&#xff0c;我们完成了可媲美Element Plus Tree组件的基本开发。通过实现各种计算属性&#xff0c;tree数据状态变化引起的视图更新被计算属性所接管了&#xff0c;无需我们再手动做各种遍历、查找以及手动监听操作&#xff0c;这样后续开发高级功能变得易如反掌啦…

kafka架构+原理+源码

1.安装jdk17 sudo yum -y update sudo wget https://download.oracle.com/java/17/latest/jdk-17_linux-x64_bin.rpm sudo yum -y install ./jdk-17_linux-x64_bin.rpm、 sudo java -version 2.安装kafka How to easily install kafka without zookeeper | Aditya’s Blog …

好用的资产管理系统 国内5款资产管理系统排名

选择合适的固定资产管理系统对于企业的资产跟踪和维护至关重要。市场上有许多优秀的资产管理系统&#xff0c;每款系统都有其独特的功能和优势。本文将盘点5个好用的固定资产管理系统排名不分先后&#xff0c;帮助您了解它们的主要特点和适用场景&#xff0c;从而选择最适合您企…

【Java 数据结构】ArrayList类介绍

ArrayList类介绍 初识List接口ArrayList类ArrayList类是什么顺序表的模拟实现初始化增加元素删除元素查找元素修改元素 ArrayList类使用构造方法ArrayList源码阅读常用方法及其注意事项 初识List接口 List 是集合框架中的一个接口, 它的里面包含了一些方法, 例如add(), remove…

JAVA项目样本

学生管理系统SISM-v2.0 项目构建 ebtity 学生类:属性,setter,getter,toString(),构造器… dao层 数据交互,数组CRUD(增删改查) 接口 实现

《Techporters架构搭建》-Day03 功能权限设计

功能权限设计 引言权限介绍什么是权限权限的作用 RBAC概述RBAC的组成RBAC支持的安全原则RBAC模型 基于RBAC的权限设计用户管理角色管理菜单管理部门管理岗位管理 权限系统设计ER图标准RBAC模型表复杂RBAC模型表 多租户架构什么是多租户&#xff1f;多租户特点多租户模型竖井隔离…

汽车免拆诊断案例 | 2014 款上汽名爵 GT 车发动机无法起动

故障现象 一辆2014款上汽名爵GT车&#xff0c;搭载15S4G发动机&#xff0c;累计行驶里程约为18.4万km。该车因左前部发生碰撞事故进厂维修&#xff0c;更换损坏的部件后起动发动机&#xff0c;起动机运转有力&#xff0c;但无着机迹象。用故障检测仪检测&#xff0c;发现无法与…