深刻理解RunLoop

[http://blog.ibireme.com/2015/05/18/runloop/]php

RunLoop 是 iOS 和 OSX 開發中很是基礎的一個概念,這篇文章將從 CFRunLoop 的源碼入手,介紹 RunLoop 的概念以及底層實現原理。以後會介紹一下在 iOS 中,蘋果是如何利用 RunLoop 實現自動釋放池、延遲迴調、觸摸事件、屏幕刷新等功能的。html

Index
RunLoop 的概念
RunLoop 與線程的關係
RunLoop 對外的接口
RunLoop 的 Mode
RunLoop 的內部邏輯
RunLoop 的底層實現
蘋果用 RunLoop 實現的功能
AutoreleasePool
事件響應
手勢識別
界面更新
定時器
PerformSelecter
關於GCD
關於網絡請求
RunLoop 的實際應用舉例
AFNetworking
AsyncDisplayKit前端

RunLoop 的概念

通常來說,一個線程一次只能執行一個任務,執行完成後線程就會退出。若是咱們須要一個機制,讓線程能隨時處理事件但並不退出,一般的代碼邏輯是這樣的:node

這種模型一般被稱做 Event Loop。 Event Loop 在不少系統和框架裏都有實現,好比 Node.js 的事件處理,好比 Windows 程序的消息循環,再好比 OSX/iOS 裏的 RunLoop。實現這種模型的關鍵點在於:如何管理事件/消息,如何讓線程在沒有處理消息時休眠以免資源佔用、在有消息到來時馬上被喚醒。git

因此,RunLoop 實際上就是一個對象,這個對象管理了其須要處理的事件和消息,並提供了一個入口函數來執行上面 Event Loop 的邏輯。線程執行了這個函數後,就會一直處於這個函數內部 "接受消息->等待->處理" 的循環中,直到這個循環結束(好比傳入 quit 的消息),函數返回。github

OSX/iOS 系統中,提供了兩個這樣的對象:NSRunLoop 和 CFRunLoopRef。
CFRunLoopRef 是在 CoreFoundation 框架內的,它提供了純 C 函數的 API,全部這些 API 都是線程安全的。
NSRunLoop 是基於 CFRunLoopRef 的封裝,提供了面向對象的 API,可是這些 API 不是線程安全的。swift

CFRunLoopRef 的代碼是開源的,你能夠在這裏 http://opensource.apple.com/tarballs/CF/ 下載到整個 CoreFoundation 的源碼來查看。segmentfault

(Update: Swift 開源後,蘋果又維護了一個跨平臺的 CoreFoundation 版本:https://github.com/apple/swift-corelibs-foundation/,這個版本的源碼可能和現有 iOS 系統中的實現略不同,但更容易編譯,並且已經適配了 Linux/Windows。)api

RunLoop 與線程的關係

首先,iOS 開發中能遇到兩個線程對象: pthread_t 和 NSThread。過去蘋果有份文檔標明瞭 NSThread 只是 pthread_t 的封裝,但那份文檔已經失效了,如今它們也有可能都是直接包裝自最底層的 mach thread。蘋果並無提供這兩個對象相互轉換的接口,但無論怎麼樣,能夠確定的是 pthread_t 和 NSThread 是一一對應的。好比,你能夠經過 pthread_main_thread_np() 或 [NSThread mainThread] 來獲取主線程;也能夠經過 pthread_self() 或 [NSThread currentThread] 來獲取當前線程。CFRunLoop 是基於 pthread 來管理的。安全

蘋果不容許直接建立 RunLoop,它只提供了兩個自動獲取的函數:CFRunLoopGetMain() 和 CFRunLoopGetCurrent()。 這兩個函數內部的邏輯大概是下面這樣:

從上面的代碼能夠看出,線程和 RunLoop 之間是一一對應的,其關係是保存在一個全局的 Dictionary 裏。線程剛建立時並無 RunLoop,若是你不主動獲取,那它一直都不會有。RunLoop 的建立是發生在第一次獲取時,RunLoop 的銷燬是發生在線程結束時。你只能在一個線程的內部獲取其 RunLoop(主線程除外)。

RunLoop 對外的接口

在 CoreFoundation 裏面關於 RunLoop 有5個類:

CFRunLoopRef
CFRunLoopModeRef
CFRunLoopSourceRef
CFRunLoopTimerRef
CFRunLoopObserverRef

其中 CFRunLoopModeRef 類並無對外暴露,只是經過 CFRunLoopRef 的接口進行了封裝。他們的關係以下:
RunLoop_0

一個 RunLoop 包含若干個 Mode,每一個 Mode 又包含若干個 Source/Timer/Observer。每次調用 RunLoop 的主函數時,只能指定其中一個 Mode,這個Mode被稱做 CurrentMode。若是須要切換 Mode,只能退出 Loop,再從新指定一個 Mode 進入。這樣作主要是爲了分隔開不一樣組的 Source/Timer/Observer,讓其互不影響。

CFRunLoopSourceRef 是事件產生的地方。Source有兩個版本:Source0 和 Source1。
• Source0 只包含了一個回調(函數指針),它並不能主動觸發事件。使用時,你須要先調用 CFRunLoopSourceSignal(source),將這個 Source 標記爲待處理,而後手動調用 CFRunLoopWakeUp(runloop) 來喚醒 RunLoop,讓其處理這個事件。
• Source1 包含了一個 mach_port 和一個回調(函數指針),被用於經過內核和其餘線程相互發送消息。這種 Source 能主動喚醒 RunLoop 的線程,其原理在下面會講到。

CFRunLoopTimerRef 是基於時間的觸發器,它和 NSTimer 是toll-free bridged 的,能夠混用。其包含一個時間長度和一個回調(函數指針)。當其加入到 RunLoop 時,RunLoop會註冊對應的時間點,當時間點到時,RunLoop會被喚醒以執行那個回調。

CFRunLoopObserverRef 是觀察者,每一個 Observer 都包含了一個回調(函數指針),當 RunLoop 的狀態發生變化時,觀察者就能經過回調接受到這個變化。能夠觀測的時間點有如下幾個:

上面的 Source/Timer/Observer 被統稱爲 mode item,一個 item 能夠被同時加入多個 mode。但一個 item 被重複加入同一個 mode 時是不會有效果的。若是一個 mode 中一個 item 都沒有,則 RunLoop 會直接退出,不進入循環。

RunLoop 的 Mode

CFRunLoopMode 和 CFRunLoop 的結構大體以下:

這裏有個概念叫 "CommonModes":一個 Mode 能夠將本身標記爲"Common"屬性(經過將其 ModeName 添加到 RunLoop 的 "commonModes" 中)。每當 RunLoop 的內容發生變化時,RunLoop 都會自動將 _commonModeItems 裏的 Source/Observer/Timer 同步到具備 "Common" 標記的全部Mode裏。

應用場景舉例:主線程的 RunLoop 裏有兩個預置的 Mode:kCFRunLoopDefaultMode 和 UITrackingRunLoopMode。這兩個 Mode 都已經被標記爲"Common"屬性。DefaultMode 是 App 平時所處的狀態,TrackingRunLoopMode 是追蹤 ScrollView 滑動時的狀態。當你建立一個 Timer 並加到 DefaultMode 時,Timer 會獲得重複回調,但此時滑動一個TableView時,RunLoop 會將 mode 切換爲 TrackingRunLoopMode,這時 Timer 就不會被回調,而且也不會影響到滑動操做。

有時你須要一個 Timer,在兩個 Mode 中都能獲得回調,一種辦法就是將這個 Timer 分別加入這兩個 Mode。還有一種方式,就是將 Timer 加入到頂層的 RunLoop 的 "commonModeItems" 中。"commonModeItems" 被 RunLoop 自動更新到全部具備"Common"屬性的 Mode 裏去。

CFRunLoop對外暴露的管理 Mode 接口只有下面2個:

Mode 暴露的管理 mode item 的接口有下面幾個:

你只能經過 mode name 來操做內部的 mode,當你傳入一個新的 mode name 但 RunLoop 內部沒有對應 mode 時,RunLoop會自動幫你建立對應的 CFRunLoopModeRef。對於一個 RunLoop 來講,其內部的 mode 只能增長不能刪除。

蘋果公開提供的 Mode 有兩個:kCFRunLoopDefaultMode (NSDefaultRunLoopMode) 和 UITrackingRunLoopMode,你能夠用這兩個 Mode Name 來操做其對應的 Mode。

同時蘋果還提供了一個操做 Common 標記的字符串:kCFRunLoopCommonModes (NSRunLoopCommonModes),你能夠用這個字符串來操做 Common Items,或標記一個 Mode 爲 "Common"。使用時注意區分這個字符串和其餘 mode name。

RunLoop 的內部邏輯

根據蘋果在文檔裏的說明,RunLoop 內部的邏輯大體以下:

RunLoop_1

其內部代碼整理以下 (太長了不想看能夠直接跳過去,後面會有說明):

能夠看到,實際上 RunLoop 就是這樣一個函數,其內部是一個 do-while 循環。當你調用 CFRunLoopRun() 時,線程就會一直停留在這個循環裏;直到超時或被手動中止,該函數纔會返回。

RunLoop 的底層實現

從上面代碼能夠看到,RunLoop 的核心是基於 mach port 的,其進入休眠時調用的函數是 mach_msg()。爲了解釋這個邏輯,下面稍微介紹一下 OSX/iOS 的系統架構。
RunLoop_3

蘋果官方將整個系統大體劃分爲上述4個層次:
應用層包括用戶能接觸到的圖形應用,例如 Spotlight、Aqua、SpringBoard 等。
應用框架層即開發人員接觸到的 Cocoa 等框架。
核心框架層包括各類核心框架、OpenGL 等內容。
Darwin 即操做系統的核心,包括系統內核、驅動、Shell 等內容,這一層是開源的,其全部源碼均可以在 opensource.apple.com 裏找到。

咱們在深刻看一下 Darwin 這個核心的架構:
RunLoop_4

其中,在硬件層上面的三個組成部分:Mach、BSD、IOKit (還包括一些上面沒標註的內容),共同組成了 XNU 內核。
XNU 內核的內環被稱做 Mach,其做爲一個微內核,僅提供了諸如處理器調度、IPC (進程間通訊)等很是少許的基礎服務。
BSD 層能夠看做圍繞 Mach 層的一個外環,其提供了諸如進程管理、文件系統和網絡等功能。
IOKit 層是爲設備驅動提供了一個面向對象(C++)的一個框架。

Mach 自己提供的 API 很是有限,並且蘋果也不鼓勵使用 Mach 的 API,可是這些API很是基礎,若是沒有這些API的話,其餘任何工做都沒法實施。在 Mach 中,全部的東西都是經過本身的對象實現的,進程、線程和虛擬內存都被稱爲"對象"。和其餘架構不一樣, Mach 的對象間不能直接調用,只能經過消息傳遞的方式實現對象間的通訊。"消息"是 Mach 中最基礎的概念,消息在兩個端口 (port) 之間傳遞,這就是 Mach 的 IPC (進程間通訊) 的核心。

Mach 的消息定義是在 <mach/message.h> 頭文件的,很簡單:

一條 Mach 消息實際上就是一個二進制數據包 (BLOB),其頭部定義了當前端口 local_port 和目標端口 remote_port,
發送和接受消息是經過同一個 API 進行的,其 option 標記了消息傳遞的方向:

爲了實現消息的發送和接收,mach_msg() 函數其實是調用了一個 Mach 陷阱 (trap),即函數mach_msg_trap(),陷阱這個概念在 Mach 中等同於系統調用。當你在用戶態調用 mach_msg_trap() 時會觸發陷阱機制,切換到內核態;內核態中內核實現的 mach_msg() 函數會完成實際的工做,以下圖:
RunLoop_5

這些概念能夠參考維基百科: System_callTrap_(computing)

RunLoop 的核心就是一個 mach_msg() (見上面代碼的第7步),RunLoop 調用這個函數去接收消息,若是沒有別人發送 port 消息過來,內核會將線程置於等待狀態。例如你在模擬器裏跑起一個 iOS 的 App,而後在 App 靜止時點擊暫停,你會看到主線程調用棧是停留在 mach_msg_trap() 這個地方。

關於具體的如何利用 mach port 發送信息,能夠看看 NSHipster 這一篇文章,或者這裏的中文翻譯 。

關於Mach的歷史能夠看看這篇頗有趣的文章:Mac OS X 背後的故事(三)Mach 之父 Avie Tevanian

蘋果用 RunLoop 實現的功能

首先咱們能夠看一下 App 啓動後 RunLoop 的狀態:

能夠看到,系統默認註冊了5個Mode:
1. kCFRunLoopDefaultMode: App的默認 Mode,一般主線程是在這個 Mode 下運行的。
2. UITrackingRunLoopMode: 界面跟蹤 Mode,用於 ScrollView 追蹤觸摸滑動,保證界面滑動時不受其餘 Mode 影響。
3. UIInitializationRunLoopMode: 在剛啓動 App 時第進入的第一個 Mode,啓動完成後就再也不使用。
4: GSEventReceiveRunLoopMode: 接受系統事件的內部 Mode,一般用不到。
5: kCFRunLoopCommonModes: 這是一個佔位的 Mode,沒有實際做用。

你能夠在這裏看到更多的蘋果內部的 Mode,但那些 Mode 在開發中就很難遇到了。

當 RunLoop 進行回調時,通常都是經過一個很長的函數調用出去 (call out), 當你在你的代碼中下斷點調試時,一般能在調用棧上看到這些函數。下面是這幾個函數的整理版本,若是你在調用棧中看到這些長函數名,在這裏查找一下就能定位到具體的調用地點了:

相關文章
相關標籤/搜索