一，Dispatch Queue的实现：

1，用于管理追加的Block的C语言层实现的FIFO队列。

2，Atomic函数中实现的用于排他控制的轻量级信号。

3，用于管理线程的C语言层实现的一些容器。

二，CGD的好处。

无论编程人员如何努力编写管理线程的代码，在性能方面也不可能胜过XNU内核级所实现的GCD。

使用GCD要比使用pthreads和NSThread这些一般的多线程编程API更好。并且，如果使用GCD就不必编写为操作线程反复出现的类似的源代码（这被称为固定源代码片断），而可以在线程中集中实现处理内容，真的是好处多多。我们尽量多使用GCD或者使用了Cocoa框架GCD的NSOperationQueue类等API。

三，编程人员所使用的GCD的API全部为包含在libdispatch库中的C语言函数。Dispatch Queue通过结构体和链表，被实现为FIFO队列。FIFO队列管理是通过dispatch_async等函数所追加的Block.

Block并不是直接加入到FIFI队列，而是先加入Dispatch Continuation这一dispatch_continuation_t类型结构体中，然后再加入FIFO队列。该Dispatch Continuation用于记忆Bloc所属的Dispatch Group和其他一些信息，相当于一般常说的执行上下文。

参考资料：《Objective-C高级编程 iOS与OS X多线程和内存管理》