在说RunLoop之前，先来了解一下iOS的系统架构，苹果官方将整个系统大致分为四个层次---应用层，应用架构层，核心架构层和Darwin。Mach是Darwin的组成部分，Mach提供的API非常的少，但这些API非常的基础，如果没有这些API的话，其他的任何工作是无法实施的。（废话吗，写在操作系统核心的东西能不基础么）。而RunLoop的核心其实就是mach_msg(),如果没有别人发送 port 消息过来，内核会将线程置于等待状态。
一般来说，一个线程一次只能执行一个任务，执行完成后线程就会退出，那么加入我们点开一个应用，执行一次后就不能再执行了，而我们需要的是，当我们再次点击时，程序仍然可以相应我们的操作，这就需要一个机制，让线程可以随时处理事件而且不退出。逻辑很简单，只是一个循环就可以了，实现这种模型的关键点在于：如何管理事件/消息，如何让线程在没有处理消息时休眠以避免资源占用、在有消息到来时立刻被唤醒。
RunLoop实际上是一个对象，这个对象管理了其需要处理的消息。并提供了一个入口函数来执行它的逻辑。线程执行了这个函数后，就会一直处于这个函数内部 "接受消息->等待->处理" 的循环中，直到这个循环结束（比如传入 quit 的消息），函数返回。
苹果是不允许我们直接创建RunLoop的，它给我们提供了两个函数，CFRunLoopGetMain() 和 CFRunLoopGetCurrent()。从字面意思就可以看出，一个是获取主RunLoop，一个是获取当前的RunLoop。线程和 RunLoop 之间是一一对应的，其关系是保存在一个全局的 Dictionary 里。线程作为Key，RunLoop作为value，线程刚创建时并没有 RunLoop，如果你不主动获取，那它一直都不会有。RunLoop 的创建是发生在第一次获取时，RunLoop 的销毁是发生在线程结束时。你只能在一个线程的内部获取其 RunLoop。
RunLoop有一个类叫CFRunLoopModeRef，苹果为我们提供了这个类的API，一个RunLoop可以有很多个Mode，每次调用 RunLoop 的主函数时，只能指定其中一个 Mode，这个Mode被称作 CurrentMode。我们最常见的是kCFRunLoopDefaultMode 和 UITrackingRunLoopMode。DefaultMode 是默认状态的，TrackingRunLoopMode 是追踪 ScrollView 滑动时的状态。我们非常常见的一种状态有创建一个Timer，把这个Timer加入到DefaultMode里，当Scrollview或者其子类进行滑动时，Timer就会停止，就是因为Scrollview在滑动时，RunLoop 将 mode 切换为了 TrackingRunLoopMode。
再来谈一下我对AutoReleasepool和RunLoop的一些关系。在App启动以后，苹果在主线程RunLoop里会注册两个Observe，一个Observe监视的事件是即将进入Loop，另一个observe监视的是即将进入休眠和退出Loop，在第一个observe在回调内会调用 _objc_autoreleasePoolPush() 创建自动释放池。其 order 是-2147483647，优先级最高，保证创建释放池发生在其他所有回调之前。第二个 Observer在 BeforeWaiting(准备进入休眠) 时调用_objc_autoreleasePoolPop() 和 _objc_autoreleasePoolPush() 释放旧的池并创建新池；在Exit(即将退出Loop) 时调用 _objc_autoreleasePoolPop() 来释放自动释放池。这个 Observer 的 order 是 2147483647，优先级最低，保证其释放池子发生在其他所有回调之后。这也就保证了我们在主线程里写的一些代码会永远被RunLoop创建好的Autoreleasepool包围着，避免的内存的泄露，同时也方便了我们开发者。实际上 RunLoop 底层也会用到 GCD 的东西，比如 RunLoop 是用 dispatch_source_t 实现的 Timer。但同时 GCD 提供的某些接口也用到了 RunLoop， 例如 dispatch_async()。
参考文章：http://www.cocoachina.com/cms/wap.php?action=article&id=11970