一篇专题让你秒懂GCD死锁问题!

2023-11-03

一篇专题让你秒懂GCD死锁问题!



阐述:

1. 什么是GCD ?

GCD,全称 Grand Central Dispatch。可翻译为”牛逼的中枢调度器”。它是纯C语言的,提供了非常多强大的函数。
Grand是宏伟的、极重要的意思。

GCD是提供了功能强大的任务和队列控制功能,相比于NSOperation更加底层,虽然现象苹果极力的推荐使用NSOperation来解决多线程问题, 但是,就目前市场上大部分企业的iOS开发团队而言, GCD仍然还是大头, NSOperation也只会逐步的来替代GCD, 因此在开线程的时候,如果不注意也会导致一些问题, 比如死锁。

2.什么是GCD死锁 ?

所谓死锁,通常指有两个线程A和B都卡住了,A在等B ,B在等A,相互等待对方完成某些操作。A不能完成是因为它在等待B完成。但B也不能完成,因为它在等待A完成。于是大家都完不成,就导致了死锁(DeadLock)。

对于部分新手来说, 可能认为GCD死锁是很高端的操作系统层面的问题,离我很远,一般不会遇上。其实这种想法是非常错误的,因为只要简单三行代码(如果愿意,甚至写在一行就可以)就可以人为创造出死锁的情况,如:

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        dispatch_sync(dispatch_get_main_queue(), ^(void){
            NSLog(@"这里死锁了");
        });
    }
    return 0;
}
3. 要理解GCD死锁,必须先理解GCD的几个概念:
&3.1串行与并行

串行和并行都是相对于队列而言的 
-队列(负责调度任务)
-串行队列:一个接一个的调度任务
-并发队列:可以同时调度多个任务

在使用GCD的时候,我们会把需要处理的任务放到Block中,然后将任务追加到相应的队列里面,这个队列,叫做Dispatch Queue
队列一般存在于两种Dispatch Queue
一种是要等待上一个执行完,再执行下一个的Serial Dispatch Queue,这叫做串行队列
另一种,则是不需要上一个执行完,就能执行下一个的Concurrent Dispatch Queue,叫做并行队列
这两种,均遵循FIFO原则,也就是先进先出原则。

举一个简单的例子,在三个任务中输出123,
串行队列输出是有序的123,
但是并行队列的先后顺序就不一定了。

那么,并行队列又是怎么在执行呢?
并行队列虽然可以同时多个任务的处理,但是并行队列的处理量,还是要根据当前系统状态来。如果当前系统状态最多处理2个任务,那么1、2会排在前面,3什么时候操作,就看1或者2谁先完成,然后3接在后面。
串行和并行就简单说到这里,关于它们的技术点其实还有很多,可以自行了解。

&3.2 同步与异步

串行与并行针对的是队列,而同步与异步,针对的则是线程。
最大的区别在于,同步线程要阻塞当前线程,必须要等待同步线程中的任务执行完,返回以后,才能继续执行下一任务;而异步线程则是不用等待。
仅凭这几句话还是很难理解,所以可以多准备几个案例,边分析边理解。

&3.3 GCD API

GCD API很多,这里仅介绍本文用到的。

  1. 系统标准提供的两个队列
    // 全局队列,一个特殊的并行队列
    dispatch_get_global_queue
    // 主队列,在主线程中运行,因为主线程只有一个,所以这是一个特殊的串行队列
    dispatch_get_main_queue
  2. 除此之外,还可以自己生成队列
    // 从DISPATCH_QUEUE_SERIAL看出,这是串行队列
    dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL)
    // 同理,这是一个并行队列
    dispatch_queue_create("com.demo.concurrentQueue", DISPATCH_QUEUE_CONCURRENT)
  3. 同步与异步线程的创建:
    dispatch_sync(..., ^(block)) // 同步线程
    dispatch_async(..., ^(block)) // 异步线程

案例与分析

假设你已经基本了解了上面提到的知识,接下来进入案例讲解阶段。

案例一: 当同步遇到了串行
NSLog(@"1"); // 任务1
dispatch_sync(dispatch_get_main_queue(), ^{
    NSLog(@"2"); // 任务2
});
NSLog(@"3"); // 任务3

控制台输出结果:

1

分析:

  • dispatch_sync表示是一个同步线程;
  • dispatch_get_main_queue表示运行在主线程中的主队列;
  • 任务2是同步线程的任务。
  • 任务3需要等待任务2结束之后再执行.

首先执行任务1,这是肯定没问题的,只是接下来,程序遇到了同步线程,那么它会进入等待,等待任务2执行完,然后执行任务3。但这是主队列,是一个特殊的串行队列,有任务来,当然会将任务加到队尾,然后遵循FIFO原则执行任务。那么,现在任务2就会被加到最后,任务3排在了任务2前面,问题来了:

任务3要等任务2执行完才能执行,任务2又排在任务3后面,意味着任务2要在任务3执行完才能执行,所以他们进入了互相等待的局面。【既然这样,那干脆就卡在这里吧】这就是死锁。


案例1分析:
案例二:当同步遇到了并行
NSLog(@"1"); // 任务1
dispatch_sync(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_HIGH, 0), ^{
    NSLog(@"2"); // 任务2
});
NSLog(@"3"); // 任务3

控制台输出结果为:

1
2
3

分析:
首先执行任务1,接下来会遇到一个同步线程,程序会进入等待。等待任务2执行完成以后,才能继续执行任务3。从dispatch_get_global_queue可以看出,任务2被加入到了全局的并行队列中,当并行队列执行完任务2以后,返回到主队列,继续执行任务3。


案例2分析:
案例三: 咱们来点复杂一些的: 同步异步都有
dispatch_queue_t queue = dispatch_queue_create("com.demo.serialQueue", DISPATCH_QUEUE_SERIAL);
NSLog(@"1"); // 任务1
dispatch_async(queue, ^{
    NSLog(@"2"); // 任务2
    dispatch_sync(queue, ^{  
        NSLog(@"3"); // 任务3
    });
    NSLog(@"4"); // 任务4
});
NSLog(@"5"); // 任务5

控制台输出结果:

1
5
2
// 2 和 5 的顺序不一定 , 3, 4, 没有输出

分析:
这个案例没有使用系统提供的串行或并行队列,而是自己通过dispatch_queue_create函数创建了一个DISPATCH_QUEUE_SERIAL的串行队列。
1.执行任务1;
2.遇到异步线程,将【任务2、同步线程、任务4】加入串行队列中。因为是异步线程,所以在主线程中的任务5不必等待异步线程中的所有任务完成;
3.因为任务5不必等待,所以2和5的输出顺序不能确定;
4.任务2执行完以后,遇到同步线程,这时,将任务3加入串行队列;
5.又因为任务4比任务3早加入串行队列,所以,任务3要等待任务4完成以后,才能执行。但是任务3所在的同步线程会阻塞,所以任务4必须等任务3执行完以后再执行。这就又陷入了无限的等待中,造成死锁。


案例3分析:
案例四:异步遇到同步回主线程
NSLog(@"1"); // 任务1
dispatch_async(dispatch_get_global_queue(0, 0), ^{
    NSLog(@"2"); // 任务2
    dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"3"); // 任务3
    });
    NSLog(@"4"); // 任务4
});
NSLog(@"5"); // 任务5

控制台输出结果:

1
2
5
3
4
// 2 和 5 顺序不一定

分析:
这个案例,我相信大家都熟悉,没错,这就是典型的异步加载数据,回调主线程更新UI那个案例;

首先,将【任务1、异步线程、任务5】加入Main Queue中,异步线程中的任务是:【任务2、同步线程、任务4】。

所以,先执行任务1,然后将异步线程中的任务加入到Global Queue中,因为异步线程,所以任务5不用等待,结果就是2和5的输出顺序不一定。

然后再看异步线程中的任务执行顺序。任务2执行完以后,遇到同步线程。将同步线程中的任务又回调加入到Main Queue中,这时加入的任务3在任务5的后面。

当任务3执行完以后,没有了阻塞,程序继续执行任务4。

从以上的分析来看,得到的几个结果:1最先执行;2和5顺序不一定;4一定在3后面。


案例4分析:
案例五: 当我们典型案例4,遇到了主线程上出现无限循环的时候
dispatch_async(dispatch_get_global_queue(0, 0), ^{
    NSLog(@"1"); // 任务1
    dispatch_sync(dispatch_get_main_queue(), ^{
        NSLog(@"2"); // 任务2
    });
    NSLog(@"3"); // 任务3
});
NSLog(@"4"); // 任务4
while (1) {
}
NSLog(@"5"); // 任务5

打印台输出结果:

1
4
// 1 和 4 顺序不一定

分析:

和上面几个案例的分析类似,先来看看都有哪些任务加入了Main Queue:【异步线程、任务4、死循环、任务5】。

在加入到Global Queue异步线程中的任务有:【任务1、同步线程、任务3】。

第一个就是异步线程,任务4不用等待,所以结果任务1和任务4顺序不一定。

任务4完成后,程序进入死循环,Main Queue阻塞。但是加入到Global Queue的异步线程不受影响,继续执行任务1后面的同步线程。

同步线程中,将任务2加入到了主线程,并且,任务3等待任务2完成以后才能执行。这时的主线程,已经被死循环阻塞了。所以任务2无法执行,当然任务3也无法执行,在死循环后的任务5也不会执行。

最终,只能得到1和4顺序不定的结果。


案例5分析:

GCD死锁问题,我们就暂时讨论到这里,上面列举的5各案例,基本已经概括了GCD遇到的绝大多数情况了,以后有遇到其他情况的时候,再来补充,

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

一篇专题让你秒懂GCD死锁问题! 的相关文章

  • JS 对象和函数

    目录 一 对象 创建对象的四种方式 构造函数原型对象prototype和对象原型 proto 二 函数 创建函数的3种方式 一 对象 创建对象的四种方式 第一种方式 字面量 var o1 name o1 var o2 new Object
  • STM32F103C8用内部Flash做一个优盘(USB+MSC+FATFS)

    STM32F103C8用内部Flash做一个优盘 USB MSC FATFS 轻松实现APP升级 数据存储 基本工程生成 直接使用STM32CubeMX生成基本的工程 省得我们去调底层 时钟配置为外部8MHz晶振 这个需要根据自己开发板的晶
  • Python爬虫教程:爬取800多所大学学校排名、星级等

    前言 国内大学最新排名 北大反超 浙大仅第四 中科大跌至第八 时隔五年 双一流 大学即将迎来首次大考 这也是继改变高校评断标准之后 第一次即将以官方对外发布 自然是引来了许多人的关注 最近 有许多不同机构发布的国内高校排名 但彼此之间的差异
  • 自我理解:TCP和UDP、HTTP、进程和线程

    一 TCP和UDP 1 什么是TCP和UDP TCP是面向连接的协议 发送数据前要建立连接 TCP提供的是可靠传输 UDP是无连接的协议 发送数据前不需要建立连接 是不可靠传输 2 TCP和UDP的区别 TCP是面向连接的协议 发送数据前要
  • 晟元协议指纹头,单片机开发踩坑指南

    一 硬件说明 1 接口 注意 其中Touch VCC 3 3V是需要常供电的 用于Touch Out触摸唤醒供电 VDD3 3V可以检测到Touch Out高电平信号再上电 如果不需要低功耗设计 可以忽略Touch Out和Touch VC
  • Arduino(六)——蜂鸣器唱歌

    进行这节课需要了解一个函数 1 tone pin frequency Duration 在我们的pin脚上 也就是我们的蜂鸣器上所连的脚 产生的一定频率frequency unsigned int hz 的方波信号 占空比一半 如果不再需要
  • 解决AppData/Local/Microsoft/WindowsApps/python: Permission denied

    先说一下原因 windows更新导致 path路径下多了下面这个路径的配置所以出问题 这2个文件导致 解决方案 让正确的pathon exe位于windows制定的python上方 如下图所示
  • Kubernetes高可用动态存储NFS集群

    文章目录 安装NFS服务 安装keepalived 安装Rsync Inofity 设置Rsync Inotify自动同步 Master节点服务器操作 Slave节点服务器操作 K8s部署NFS Provisioner 创建一个Servic
  • 2021年 年终总结

    不知道你们写这个类似年终总结的时候是怎么打开思路的 每年到这个时候 心里总是想着晚两天再写吧 一直拖到快到31号了才开始 动笔 一般都会打开手机相册 看看这一年从一月一号开始都记录了什么 或者生活日常 或者美食 或者自恋自拍 或者在路上 今
  • Java中double,float类型比较大小或相等的方法-soanr扫描问题Floating point numbers should not be tested for equality

    由于在二进制表示中存储这些值的挑战 浮点数学是不精确的 更糟糕的是 浮点数学不是关联的 推动float或double通过一系列简单的数学运算 由于每个步骤发生的舍入 答案将根据这些操作的顺序而不同 即使是简单的浮点赋值也不简单 float
  • Tik Tok月活12亿 Tiktok和抖音有什么不同 ?

    Tik Tok月活12亿 Tiktok和抖音有什么不同 哈喽大家好 我是项柚 目前从事Tiktok从事2年 首先 我先给大家抛一个对比数据图 国内抖音和tiktok的用户区别以及月活量分布 国内抖音月活量是4个亿左右 tiktok国际抖音月
  • MySQL 服务正在启动 . MySQL 服务无法启动 服务没有报告任何错误 解决方案

    方法一 1 找到MySQL的安装目录 将data删除 注意该文件下会有一些你自己建立的数据库的数据 2 然后复制bin文件的路径 3 从开始里搜索cmd 右键以管理员身份运行 否则会出如下错误Install Remove of the Se
  • 计算机竞赛 深度学习 YOLO 实现车牌识别算法

    文章目录 0 前言 1 课题介绍 2 算法简介 2 1网络架构 3 数据准备 4 模型训练 5 实现效果 5 1 图片识别效果 5 2视频识别效果 6 部分关键代码 7 最后 0 前言 优质竞赛项目系列 今天要分享的是 基于yolov5的深
  • pnpm安装报错npm ERR code EEXIST

    pnpm安装报错 C Users admin working gt npm install g pnpm C Program Files nodejs pnpm gt C Program Files nodejs node modules
  • 高效程序员工作法(一)

    目录 前言 一 高效程序员的思考框架 思考框架 四个思考原则 以终为始 任务分解 沟通反馈 自动化 一句话总结 二 以终为始 如何让你的努力不白费 一句话总结 三 DoD的价值 你完成了工作 为什么他们还不满意 一句话总结 四 接到需求任务
  • java中map的几种常用实现类

    java为数据结构中的映射定义了一个接口java util Map 他实现了四个类 分别是 HashMap HashTable LinkedHash MapTreeMap Map不允许键重复 但允许值重复 1 HashMap 最常用的Map
  • Hbase建表操作--shell语句

    一 介绍 HBase是一个分布式的 面向列的开源数据库 源于google的一篇论文 bigtable 一个结构化数据的分布式存储系统 HBase是Google Bigtable的开源实现 它利用Hadoop HDFS作为其文件存储系统 利用
  • 机器学习之聚类算法:K均值聚类(二、算法案例)

    一 简易数据集的Kmeans实现 数据下载 提取码 quu3 导入库并载入数据 import numpy as np import matplotlib pyplot as plt 载入数据 data np genfromtxt kmean
  • 使用遗传算法解决多变量函数优化问题!

    很多朋友在碰到多变量值优化的问题的时候不能很好的将问题转化 利用有效编码的方法将解的个数 解的编码很好的很合理的进行设计 因此不能利用遗传算法进行问题的求解 其实 简单的来说 就是将多个变量的数值编码编排进去 进行组合 只需要增长基因个体的

随机推荐

  • python 如何合并多个dict

    a a 1 b 1 b a 2 b 2 c c 3 result dict tmp str result result update a print update format tmp a result tmp str result res
  • 06.网页布局

    布局方式 1 固定宽度布局 为网页设置一个固定的宽度 通常以px做为长度单位 常见于PC端网页 2 流式布局 为网页设置一个相对的宽度 通常以百分比做为长度单位 3 栅格化布局 将网页宽度人为的划分成均等的长度 然后排版布局时则以这些均等的
  • Qt中动态增加或移除QButtonGroup(按钮组)中指定子button(按钮)

    首先从QButtonGroup移除全局子button比较容易 直接remove就行 但是如果我们是动态往QButtonGroup中移除指定的子button 则相对比较麻烦 动态往QButtonGroup中增加子button QButtonG
  • zlib包的下载

    zlib包下载地址 http www zlib net 这里注意很多帖子都是直接给了具体的连接 比如 wget http www zlib net zlib 1 2 8 tar gz 然后 所以 这里不宜生搬硬套 直接去官网上看 源码地址
  • SpringBoot整合Zookeeper做分布式锁

    环境准备 zookeeper准备 首先你需要一个zookeeper服务器 或者是一个zookeeper集群 我已经准备好了一个zookeeper集群 如图 当然一个单节点的zookeeper也可以搭建分布式锁 如果你还没有zookeeper
  • cocos compile命令指定Android项目目录

    cocos2d x 3 5 创建项目 会自动添加几个平台的目录 例如 proj android proj ios 编译时执行命令 cocos compile p android s my project m debug 编译命令指定平台为
  • vue实现登录界面

    使用Vue实现简单的用户登录界面 登录成功以后查询账号用户类型进行相应的页面路由跳转 效果如下图所示 HTML部分
  • 如何让Vscode的鼠标滚轮滑动加上ctrl键可以调整字体大小?什么是setting.json?

    打开Vscode 按照以下步骤操作 文件 gt 首选项 gt 设置 gt 文本编辑器 gt 字体 gt 进入setting json中编辑 在setting json中加入代码 editor mouseWheelZoom true 如果你把
  • 计算机网络基础(十四)---传输层-UDP协议详解

    文章内容概览 UDP协议简介 UDP User Datagram Protocol 用户数据报协议 UDP相对于TCP来说 是一个非常简单的协议 数据报 指的就是应用层所传输过来的一个完整的数据 UDP不会对这个完整的数据进行处理 不会进行
  • 图生图—AI图片生成Stable Diffusion参数及使用方式详细介绍

    本文为博主原创文章 未经博主允许不得转载 本文为专栏 Python从零开始进行AIGC大模型训练与推理 系列文章 地址为 https blog csdn net suiyingy article details 130169592 Stab
  • Xshell和Xftp的安装与使用教程

    软件安装环境 windows7 64 下载最新软件官方地址 http www netsarang com download main html 一 下载步骤 1 点击相应要下载软件的链接 2 点击下面链接中的任意一个 3 如图 4 查收对方
  • VirtualBox Pwn x64 ubuntu 22.04

    链接 https pan baidu com s 1zab8YHwnULmEXjYaD ERfw pwd 9999 提取码 9999
  • 计算机程序的构造和解释习题3.33

    计算机程序的构造和解释习题3 33 SICP Exercise 3 33 This is similar as the celsius fahrenheit converter procedure plain view plaincopy
  • 解决u盘中病毒后如何文件被隐藏的问题

    优盘往实验室的打印机电脑上查了一插 结果就中了病毒 原来优盘里面的文件全部不可见 一开始我以为只是隐藏了 所以我就打开优盘以后更改设置 显示隐藏文件和隐藏文件夹 结果仍然不可见 也试过了网上的写脚本 无果 后来突然灵机一动 找到了解决方法
  • sklearn函数汇总

    Python笔记 sklearn函数汇总 Summer Memories 关注他 28 人 赞同了该文章 1 拆分数据集为训练集和测试集 from sklearn model selection import train test spli
  • Python自动化测试框架有哪些?

    常用的Python自动化测试框架有Robot Framework Pytest UnitTest PyUnit Behave Lettuce 软件测试的自动化在预设条件下运行系统或应用程序 评估运行结果 预先条件应包括正常条件和异常条件 自
  • gpu cpu 共享内存 提高传输速度_AMD扩展Infinity Fabric总线技术 CPU与GPU之间终于共享内存了...

    在AMD的锐龙处理器架构中 Infinity Fabric 以下简称IF 总线是个核心技术 有了它才可以让众多CCX模块互联互通 之前IF总线主要用于CPU核心之间连接 现在AMD终于开始用于EPYC CPU与Radeon显卡了 在OGHP
  • windows进程间通信

    摘 要 随着人们对应用程序的要求越来越高 单进程应用在许多场合已不能满足人们的要求 编写多进程 多线程程序成为现代程序设计的一个重要特点 在多进程程序设计中 进程间的通信是不可避免的 Microsoft Win32 API提供了多种进程间通
  • 引发的异常:“System.BadImageFormatException”(位于 halcondotnet.dll 中)

    System BadImageFormatException 类型的未经处理的异常在 halcondotnet dll 中发生 问题描述 解决办法 问题描述 报错信息如下 System BadImageFormatException 试图加
  • 一篇专题让你秒懂GCD死锁问题!

    一篇专题让你秒懂GCD死锁问题 阐述 1 什么是GCD GCD 全称 Grand Central Dispatch 可翻译为 牛逼的中枢调度器 它是纯C语言的 提供了非常多强大的函数 Grand是宏伟的 极重要的意思 GCD是提供了功能强大