dispatch_block_t学习

最新推荐文章于 2023-07-29 11:20:05 发布
最新推荐文章于 2023-07-29 11:20:05 发布
阅读量1.8k 收藏
点赞数
CC 4.0 BY-SA版权
分类专栏： Object-C学习
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/weichuang_1/article/details/50223691
本文深入探讨了dispatch_block_t作为无参无返回值的代码块原型，在调度队列中的应用与实现机制，揭示其在异步编程中的关键角色。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

dispatch_block_t是被提交到调度队列的代码块的原型，而该代码块没有参数和返回值，声明如下：

typedef void (^dispatch_block_t)(void);
VLC的block_t
突围
02-08 1226
0 VLC的block_t1 发现问题payload 数据内存起始位置是p_buffer, 大小是i_buffer , block本身也有个内存起始位置 p_start ， 大小i_size ， 令人疑惑。struct block_t { block_t *p_next; uint8_t *p_buffer; /**< Payload start */ s
GCD学习之dispatch_apply
甫式人生
06-03 1608
dispatch_apply dispatch_apply函数是dispatch_sync函数和Dispatch Group的关联API.该函数按指定的次数将指定的Block追加到指定的Dispatch Queue中，并等待全部处理执行结束。dispatch_queue_t queue = dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEF
iOS开发 dispatch_block_t 简单的实现不带参数的回调函数
weixin_33861800的博客
04-27 280
通常写一个不带参数的块回调函数是这样写的在 .h 头文件中定义类型 typedef void (^leftBlockAction)(); 再定义一个回调函数 - (void)leftButtonAction:(leftBlockAction)leftBlock; 在 .m 文件中实现 - (void)leftButtonAction:(leftBlockAction)left...
dispatch_block_t 简单的实现不带参数的回调函数
热门推荐
冷胜任 的专栏
02-02 1万+
通常我写一个不带参数的块回调函数是这样写的 在 . h 头文件中 定义类型 typedef void (^leftBlockAction)(); 在定义一个回调函数 -(void)leftButtonAction:(leftBlockAction)leftBlock; 在.m 文件中 -(void)leftButtonAction:(leftBlockAction)leftB
dispatch_block_t
deyoudui5871的博客
09-08 201
通常我写一个不带参数的块回调函数是这样写的 在 . h 头文件中 定义类型 typedef void (^leftBlockAction)(); 在定义一个回调函数 -(void)leftButtonAction:(leftBlockAction)leftBlock; 在.m 文件中 -(void)leftButtonAction:(leftBlock...
iOS GCD(二) dispatch_group 队列组
春风酿酒的博客
04-12 1178
有时候我们会有这样的需求：分别异步执行2个耗时任务，然后当2个耗时任务都执行完毕后再回到主线程执行任务。这时候我们可以用到 GCD 的队列组。 使用场景： 同时上传多个图片，所有图片上传完成之后去请求服务器上传图片地址。 dispatch_group_notify 原理：使用函数dispatch_group_create创建dispatch group,然后使用函数dispatch_group_a...
GCD全解-08-dispatch_group-调度组/多异步操作控制
zhuge1127的博客
09-06 538
dispatch_group是干什么的？ 在处理并发操作的时候，如果是几个block同时并发，我们无法知道最后执行完毕的时候是在哪一个Block中，那么就无法知道在哪一个位置写上结束时的代码？ dispatch_group_async 和 dispatch_group_notify可以实现这个功能。 dispatch_group dispatch_group将提交到这个group的bl...
iOS 多线程知识体系构建(八)：GCD 源码：队列创建（自定义、根队列、主队列）
henry_lei的博客
12-01 870
在 GCD 中使用最多的三种队列：主队列（dispatch_get_main_queue()）、全局并发队列（dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0)）、自定义队列（dispatch_queue_create），那么我们就先由创建自定义队列开始学习。 dispatch_queue_create（创建自定义队列） 下面就沿着源码一路看队列的创建过程。 // 创建一个并发队列 dispatch_queue_t concurrent
GCD学习之dispatch_sync
甫式人生
06-03 1105
dispatch_sync dispatch_async函数的”async”意味着”非同步”（asynchronous），就是将指定的Block”非同步”地追加到指定的Dispatch Queue中。dispatch_async不做任何等待。 dispatch_sync函数的”sync”意味着”同步”（synchronous），就是将指定的Block”同步”地追加到指定的Dispatch Que
不带参数的block 与 dispatch_block_t 高效使用方法
timtian008的博客
12-25 3021
不带参数的block 与 dispatch_block_t 使用 一个不带参数的块回调函数： typedef void(^ReduceBlock)(void); @property (nonatomic, copy) ReduceBlock reduceBlock; -(void)reduceGoods{ if (self.reduceBlock) { self.r...
GCD系列:代码块(dispatch_block)
anpengji9081的博客
02-27 351
dispatch_block 最显著的功能就是可以取消执行的代码块 基本函数 dispatch_block_t dispatch_block_create(dispatch_block_flags_t flags, dispatch_block_t block); void dispatch_block_perform(dispatch_block_flags_t flags,DISP...
GCD运行dispatch_block,并取消(dispatch_block_flags_t flags)
Jerry’s Blog
12-07 1081
dispatch_block_t block = dispatch_block_create(DISPATCH_BLOCK_BARRIER, ^{ NSLog(@"do something"); }); dispatch_async(_queue,block); dispatch_block_cancel(block);DISPATCH_ENUM(dispat
Blocks与Dispatch Queue的使用
孙启超
10-31 1212
block是什么 block是一个C level的语法以及运行时的一个特性，和标准C中的函数（函数指针）类似。用于回调函数的地方。两个对象间的通讯。实现轻量级的“代理”。 blocks和C语言函数指针的区别   如何调用blocks 调用block和C语言函数指针的调用一模一样     如何在 block 中修改外部变量????? 考虑到 bl
Objective-C 之 block
编程新一的blog
03-09 543
前言 作为iOS开发，我们平日里会高频使用block，block非常重要，在学习Swift闭包时，我突然觉得可以将 Objective-C block 和 Swift闭包 一起对比学习。 如果你针对下面的问题已经有了比较深的理解，那么可以略过本篇文章： block 的数据结构 block 的内存机制 block 和 weakify/strongify 的关联 Swift闭包和 Objective-C block的区别 dispatch_block_t 的应用场景 一、block的数据结构 （一）bloc
GCD 之任务操作（Dispatch Block）
gaoyuqiang30的博客
03-01 639
在向队列中添加任务时，可以直接在对应的函数中添加 block。但是如果想对任务进行操作，比如监听任务、取消任务，就需要获取对应的 block。 创建block object-c 创建 block 有两种方式，第一种方式如下： dispatch_block_t dispatch_block_create(dispatch_block_flags_t flags, disp
多线程之GCD应用
weixin_61196797的博客
07-29 470
执行\队列串行队列并发队列主队列全局队列同步执行按序执行，不开辟线程按序执行，不开辟线程死锁按序执行，不开辟线程异步执行按序执行，开辟线程乱序执行，开辟线程按序执行，不开辟线程乱序执行，开辟线程是一种基本的数据类型，可以用来监听一些底层的系统事件：定时器事件源，用来生成周期性的通知或回调：监听信号事件源，当有UNIX信号发生时会通知：监听文件或socket事件源，当文件或socket数据发生变化时会通知：监听进程事件源，与进程相关的事件通知：监听Mach端口事件源。
GCD block(一)
MikeDev的专栏
07-02 920
一.块回调 定义属性方法@interface TKClient : NSObject @property (nonatomic,strong) dispatch_block_t successBlock; - (void)doTest; @end在.m文件实现@implementation TKClient- (void)doTest{ dispatch_async(dispatch_ge
static void glue(address_space_stq_internal, SUFFIX)(ARG1_DECL, hwaddr addr, uint64_t val, MemTxAttrs attrs, MemTxResult *result, enum device_endian endian) { uint8_t *ptr; MemoryRegion *mr; hwaddr l = 8; hwaddr addr1; MemTxResult r; bool release_lock = false; RCU_READ_LOCK(); mr = TRANSLATE(addr, &addr1, &l, true, attrs); if (l < 8 || !memory_access_is_direct(mr, true)) { release_lock |= prepare_mmio_access(mr); r = memory_region_dispatch_write(mr, addr1, val, MO_64 | devend_memop(endian), attrs); } else { /* RAM case */ ptr = qemu_map_ram_ptr(mr->ram_block, addr1); switch (endian) { case DEVICE_LITTLE_ENDIAN: stq_le_p(ptr, val); break; case DEVICE_BIG_ENDIAN: stq_be_p(ptr, val); break; default: stq_p(ptr, val); break; } invalidate_and_set_dirty(mr, addr1, 8); r = MEMTX_OK; } if (result) { *result = r; } if (release_lock) { qemu_mutex_unlock_iothread(); } RCU_READ_UNLOCK(); }
最新发布
03-22
<think>好的，用户让我分析这个函数`static void glue(address_space_stq_internal, SUFFIX)(ARG1_DECL, hwaddr addr, uint64_t val, MemTxAttrs attrs, MemTxResult *result, enum device_endian endian)`。首先，我需要理解这个函数的作用。看起来像是QEMU中处理内存写入的函数，尤其是处理64位整数的存储。用户可能是在学习QEMU的内存管理机制，或者遇到了相关问题需要调试。 首先，函数名中的`glue`和`SUFFIX`让我想到这是QEMU中的宏生成的函数，可能用于不同架构或配置的适配。`address_space_stq_internal`中的`stq`应该是store quadword（64位）的意思，说明这是写入64位数据的函数。 参数部分，`ARG1_DECL`可能是特定于宏的参数声明，比如地址空间的结构体。`addr`是要写入的地址，`val`是64位的值，`attrs`是内存事务属性，`result`返回操作结果，`endian`指定字节序。 函数内部，首先通过`RCU_READ_LOCK()`进行读锁，保证在RCU（Read-Copy-Update）机制下的安全访问。然后调用`TRANSLATE`函数，将虚拟地址转换为内存区域`mr`和对应的物理地址`addr1`，同时检查长度`l`是否为8字节。如果转换后的长度不足8字节，或者内存区域不支持直接访问（比如是MMIO），则进入MMIO处理分支，调用`memory_region_dispatch_write`进行设备模拟写入。这里会处理字节序转换，并通过`prepare_mmio_access`可能需要释放锁，避免死锁。 如果是RAM的情况，直接通过`qemu_map_ram_ptr`获取指向物理内存的指针，根据字节序调用对应的存储函数（`stq_le_p`、`stq_be_p`或`stq_p`），然后标记内存为脏页，以便后续处理如虚拟机的脏页跟踪。最后根据是否持有锁来释放，并结束RCU读锁。 用户可能需要了解这个函数在QEMU中的作用，或者调试相关的问题，比如内存写入不正确、字节序处理错误等。需要解释各个部分的功能，尤其是地址转换、MMIO与RAM的不同处理路径，以及字节序的处理方式。同时，用户可能对宏生成的函数结构感到困惑，需要说明QEMU中如何利用宏来生成不同配置的函数，减少重复代码。</think>### 分步解析：`address_space_stq_internal` 函数 （注：此函数属于 QEMU 的内存子系统，用于向虚拟地址空间写入 64 位整型值，支持 RAM/MMIO 透明访问） --- #### **1. 函数定义与参数** ```c static void glue(address_space_stq_internal, SUFFIX)(ARG1_DECL, hwaddr addr, uint64_t val, MemTxAttrs attrs, MemTxResult *result, enum device_endian endian) ``` - **核心作用**：向虚拟地址空间的指定地址 `addr` 写入 64 位值 `val`，自动处理内存类型（RAM/MMIO）和字节序。 - **关键宏**： - `glue()`：QEMU 的宏拼接工具，用于生成不同变体函数（如不同地址空间类型）。 - `SUFFIX`：标识地址空间特性（如 `_cached` 或 `_uncached`）。 - `ARG1_DECL`：宏扩展为具体的地址空间参数（如 `AddressSpace *as`）。 --- #### **2. 地址转换与内存区域查找** ```c RCU_READ_LOCK(); mr = TRANSLATE(addr, &addr1, &l, true, attrs); ``` - **RCU 锁**：`RCU_READ_LOCK()` 确保在地址转换过程中内存拓扑结构不被修改。 - **TRANSLATE**：将逻辑地址 `addr` 转换为对应的 `MemoryRegion *mr` 和区域内的偏移量 `addr1`，同时获取可操作长度 `l`。 - 若 `l < 8`：说明地址跨越多个 MemoryRegion，需分段处理（此处简化为错误分支）。 --- #### **3. 分支处理：MMIO 与 RAM** ##### **3.1 MMIO 设备访问** ```c if (l < 8 || !memory_access_is_direct(mr, true)) { release_lock |= prepare_mmio_access(mr); r = memory_region_dispatch_write(mr, addr1, val, MO_64 | devend_memop(endian), attrs); } ``` - **条件判断**：若目标区域非直接访问（如设备寄存器），需通过 MMIO 路径。 - **prepare_mmio_access**：可能释放全局锁（避免死锁，如设备模拟需要回调）。 - **dispatch_write**：触发设备的写回调函数，处理字节序转换（`devend_memop` 将设备字节序转换为内存操作符）。 ##### **3.2 RAM 直接写入** ```c else { ptr = qemu_map_ram_ptr(mr->ram_block, addr1); switch (endian) { case DEVICE_LITTLE_ENDIAN: stq_le_p(ptr, val); break; case DEVICE_BIG_ENDIAN: stq_be_p(ptr, val); break; default: stq_p(ptr, val); break; } invalidate_and_set_dirty(mr, addr1, 8); r = MEMTX_OK; } ``` - **qemu_map_ram_ptr**：获取 RAM 块的直接指针（避免重复查找）。 - **字节序处理**： - `stq_le_p`：小端模式写入 64 位值。 - `stq_be_p`：大端模式写入。 - `stq_p`：按主机原生字节序写入（需谨慎使用）。 - **脏页标记**：`invalidate_and_set_dirty` 通知 KVM/VMM 该页已被修改（用于内存同步或迁移）。 --- #### **4. 后处理与资源释放** ```c if (result) *result = r; if (release_lock) qemu_mutex_unlock_iothread(); RCU_READ_UNLOCK(); ``` - **结果传递**：若调用方提供 `result` 指针，返回操作状态（成功/错误类型）。 - **锁释放**：若在 MMIO 路径中释放了全局锁，此处重新加锁。 - **RCU 解锁**：结束 RCU 读临界区。 --- ### **关键设计思想** 1. **透明访问**： 对调用方隐藏 RAM/MMIO 差异，通过 `MemoryRegion` 抽象统一接口。 - 示例：虚拟机执行 `MOV [0x1000], RAX` 时，由该函数自动路由到物理内存或设备模拟。 2. **性能优化**： - **快速路径**：对 RAM 直接操作指针，避免间接调用开销。 - **慢速路径**：对 MMIO 使用动态派发（适应不同设备模型）。 3. **字节序抽象**： 通过 `devend_memop()` 将设备端序转换为 `MO_LE`/`MO_BE` 标志，统一后续处理。 --- ### **典型应用场景** 1. **虚拟机内存访问**： - 当 Guest OS 执行存储指令时，QEMU 的 TCG 或 KVM 模块会调用此函数。 - 示例：KVM 处理 VM_EXIT 的 EPT 写异常时，需模拟设备访问。 2. **设备模拟**： - 设备模型（如 PCI 设备）通过注册 `MemoryRegion` 的 `write` 回调，响应此函数触发的写入。 --- ### **调试与问题定位** - **日志跟踪**： 在 QEMU 启动时添加 `-d mmu,unimp`，可观察具体内存访问路径。 - **常见错误**： - **对齐问题**：若 `addr` 未按 8 字节对齐，某些架构会触发异常。 - **字节序混淆**：设备端序与主机端序不匹配导致数据错误（如网络设备数据包解析）。 --- ### **延伸对比：其他内存操作函数** | 函数名 | 位宽 | 用途 | |---------------------------|------|-----------------------------------| | `address_space_stb` | 8-bit| 写入字节，用于 PCI 配置空间等小数据操作 | | `address_space_stl_le` | 32-bit| 小端模式写 32 位值，常见于 x86 设备 | | `address_space_stq_be` | 64-bit| 大端模式写 64 位值，用于网络设备（如 MAC 地址） | --- ### **总结** 此函数是 QEMU 内存虚拟化的核心组件之一，通过统一的接口实现了对异构内存访问的透明处理。理解其分支逻辑和性能优化手段，对调试设备模拟问题或开发新设备模型至关重要。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值