OC底层知识点之-多线程（三）GCD中篇

2024-02-10 20:01:46

异步函数

先看下dispatch_async的底层实现

上图我们发现有两个主要方法：

1._dispatch_continuation_init这个方法上篇最后讲了用处：就是任务包装，将work（任务执行）绑定到dc的dc_ctxt中，将方法绑定到dc的dc_func中。
2._dispatch_continuation_async是并发处理函数，主要执行block回调。

_dispatch_continuation_init方法上篇讲了，这里不再过多陈述。我们看下_dispatch_continuation_async方法。

_dispatch_continuation_async

我们进入_dispatch_continuation_async的方法实现

方法中的关键代码为2659行：dx_push(dqu._dq, dc,
qos);（原因：这个方法的结果作为返回值返回，前面只是对dqu进行处理）。

dx_push

dx_push是个宏定义，如下图所示：

我们看到dx_push最后会执行dq_push方法，而dq_push方法进行搜索时发现有很多。

通过上图我们可以看到，.dq_push会根据队列的不同类型，执行不同的函数。我们注意下673-682行，662-671行，我们看到.do_type分别为DISPATCH_QUEUE_CONCURRENT_TYPE和DISPATCH_QUEUE_SERIAL_TYPE，类似并发队列和串行队列。我们通过发号断点看看并发队列是不是走_dispatch_lane_concurrent_push，串行队列是不是走_dispatch_lane_push。

先打断点：

dispatch_queue_t conque = dispatch_queue_create("Lj", DISPATCH_QUEUE_CONCURRENT);
    dispatch_async(conque, ^{
        NSLog(@"12334");
    });

运行代码，在dispatch_async处打断点，运行到断点处，在讲符号断点打开，下一步，发现确实走到了_dispatch_lane_concurrent_push方法。

下面我们看下串行队列。

	dispatch_queue_t serial = dispatch_queue_create("Lj", DISPATCH_QUEUE_SERIAL);
   dispatch_async(serial, ^{
       NSLog(@"12334");
   });

和验并行一样，发现确实执行了_dispatch_lane_push方法。

上面验证说明了.dq_push确实会根据队列的不同类型，执行不同的函数。

_dispatch_lane_concurrent_push

下面我们看下_dispatch_lane_concurrent_push方法，源码实现

我们看到_dispatch_lane_concurrent_push源码分两步实现：

1._dispatch_continuation_redirect_push
2._dispatch_lane_push

通过符号断点运行，发现并发队列会执行_dispatch_continuation_redirect_push方法

源码中搜索_dispatch_continuation_redirect_push

我们发现这个_dispatch_continuation_redirect_push也执行的dx_push。上面我们分析_dispatch_continuation_async就会调用dx_push，此处也调用，会形成递归吗？答案肯定是不会！原因在前面队列创建时可知，队列也是一个对象，有父类，根类。所以此时调用dx_push是调用的父类或者根类方法。

上面说了dx_push会调用父类或者根类方法，上面说了dx_push会调用dq_push，上面我们罗列了dq_push会调用哪些方法，根类方法在684-705行，此时调用的方法为_dispatch_root_queue_push，我们打断点，看看是不是会走这个方法

通过上面图我们知道并发队列会调用_dispatch_root_queue_push方法，所以我们上面说的dx_push调用会调用父类或者根类是对的。

我们来看下_dispatch_root_queue_push源码，已将将无关紧要的隐藏了

我们通过_dispatch_root_queue_push看到执行顺序：_dispatch_root_queue_push->_dispatch_root_queue_push_inline->_dispatch_root_queue_poke->_dispatch_root_queue_poke_slow，我们主要看下_dispatch_root_queue_poke_slow的源码

这个方法我们把不主要的方法给隐藏了，我们说下主要方法：

1.通过do-while循环创建线程，使用pthread_create方法创建（第6223行）
2.通过_dispatch_root_queues_init方法注册回调（第6233行）

下面我们看下_dispatch_root_queues_init源码：

我们看到调用了dispatch_once_f，这个是个单例（后续会做个单例的底层分析，这里不做说明），其中传入的func是_dispatch_root_queues_init_once，下面我们再查看下_dispatch_root_queues_init_once源码实现，我们看主要的。

上图我们看到进入_dispatch_root_queues_init_once的源码，其内部不同事务的调用句柄是_dispatch_worker_thread2（第7641行，第7650行，7666行）。

通过上面可以知道，其block回调执行的调用路径为：_dispatch_root_queues_init_once -> _dispatch_worker_thread2 -> _dispatch_root_queue_drain -> _dispatch_continuation_pop_inline -> _dispatch_continuation_invoke_inline -> _dispatch_client_callout -> dispatch_call_block_and_release
下面我们通过打印堆栈信息来验证一下