2019獨角獸企業重金招聘Python工程師標準>>>

聊一聊Android的消息機制

侯 亮

1概述

在Android平臺上，主要用到兩種通信機制，即Binder機制和消息機制，前者用于跨進程通信，后者用于進程內部通信。

從技術實現上來說，消息機制還是比較簡單的。從大的方面講，不光是Android平臺，各種平臺的消息機制的原理基本上都是相近的，其中用到的主要概念大概有：
1）消息發送者；
2）消息隊列；
3）消息處理循環。
示意圖如下：

圖中表達的基本意思是，消息發送者通過某種方式，將消息發送到某個消息隊列里，同時還有一個消息處理循環，不斷從消息隊列里摘取消息，并進一步解析處理。

?在Android平臺上，把上圖的右邊部分包裝成了一個Looper類，這個類的內部具有對應的消息隊列（MessageQueue? mQueue）和loop函數。
?
但是Looper只是個簡單的類而已，它雖然提供了循環處理方面的成員函數loop()，卻不能自己憑空地運行起來，而只能寄身于某個真實的線程。而且，每個線程最多只能運作一個Looper對象，這一點應該很容易理解。

Android平臺上另一個關鍵類是Handler。當消息循環在其寄身的線程里正式運作后，外界就是通過Handler向消息循環發出事件的。我們再畫一張示意圖如下：

當然，系統也允許多個Handler向同一個消息隊列發送消息：

?

整個消息機制的輪廓也就是這些啦，下面我們來詳細闡述。

2先說一下Looper部分

Looper類的定義截選如下：
【frameworks/base/core/java/android/os/Looper.java】

public final class Looper {private static final String TAG = "Looper";// sThreadLocal.get() will return null unless you've called prepare().static final ThreadLocal<Looper> sThreadLocal = new ThreadLocal<Looper>();private static Looper sMainLooper; // guarded by Looper.classfinal MessageQueue mQueue;final Thread mThread;private Printer mLogging;. . . . . .. . . . . .

當一個線程運行到某處，準備運作一個Looper時，它必須先調用Looper類的靜態函數prepare()，做一些準備工作。說穿了就是創建一個Looper對象，并把它設置進線程的本地存儲區（TLS）里。然后線程才能繼續調用Looper類的另一個靜態函數loop()，從而建立起消息處理循環。示意圖如下：

prepare()函數的代碼如下：

public static void prepare() {prepare(true); }private static void prepare(boolean quitAllowed) {if (sThreadLocal.get() != null) {throw new RuntimeException("Only one Looper may be created per thread");}sThreadLocal.set(new Looper(quitAllowed)); // 創建Looper對象，并設置進TLS }

可以看到，sThreadLocal.set()一句所完成的工作，正是把新創建的Looper對象設置進線程本地存儲區里。在Looper.prepare()之后，線程的主運作函數就可以調用Looper.loop()了。

為了便于大家理解，我們多說兩句關于sThreadLocal的細節，這會牽扯一點兒本地存儲的技術。簡單地說，每個線程對象內部會記錄一張邏輯上的key-value表，當然，這張表在具體實現時不一定會被實現成HashMap，以我們目前的代碼來說，它被記錄成一個數組，其中每兩個數組項作為一個key-value單元。反正大家從邏輯上理解概念即可，不必拘泥于具體實現。很明顯，一個線程內部是可以記錄多個本地存儲單元的，我們關心的sThreadLocal只是其中一個本地存儲單元的key而已。

當我們在不同Thread里調用Looper.prepare()時，其實是向Thread對應的那張表里添加一個key-value項，其中的key部分，指向的是同一個對象，即Looper.sThreadLocal靜態對象，而value部分，則彼此不同，我們可以畫出如下示意圖：

看到了吧，不同Thread會對應不同Object[]數組，該數組以每2個元素為一個key-value對。請注意不同Thread雖然使用同一個靜態對象作為key值，最終卻會對應不同的Looper對象，這一點系統是不會弄錯的。

為了由淺入深地闡述問題，我們暫時先不看Looper.loop()內部的代碼，這個后文還會再講?，F在我們接著說說Handler。

3接著說一下Handler部分

一般而言，運作Looper的線程會負責構造自己的Handler對象，當然，其他線程也可以針對某個Looper構造Handler對象。

Handler對象在構造時，不但會把Looper對象記錄在它內部的mLooper成員變量中，還會把Looper對象的消息隊列也一并記錄，代碼截選如下：

public Handler(Callback callback, boolean async) {. . . . . .mLooper = Looper.myLooper(); // 記錄下Looper對象. . . . . .mQueue = mLooper.mQueue; // 也記錄下Looper對象的消息隊列mCallback = callback;mAsynchronous = async; }

我們也可以直接傳入Looper對象，此時可以使用另一個構造函數：

public Handler(Looper looper, Callback callback, boolean async) {mLooper = looper; // 記錄下Looper對象mQueue = looper.mQueue; // 也記錄下Looper對象的消息隊列mCallback = callback;mAsynchronous = async; }

以后，每當線程需要向消息隊列發送消息時，只需調用Handler對象的sendMessage()等成員函數就可以了。

簡單說來，只要一個線程可以獲取另一個目標線程的某個Handler對象，它就具有了向目標線程發送消息的能力。不過，也只是發送消息而已，消息的真正處理卻是在目標線程的消息循環里完成的。

前文已經說過，在Looper準備停當后，我們的線程會調用Looper.loop()，從而進入真正的循環機制。loop()函數的代碼流程非常簡單，只不過是在一個for循環里不停從消息隊列中摘取消息，而后調用msg.target.dispatchMessage()對消息進行派發處理而已。

這么看來，msg.target域就顯得比較重要了，說穿了，這個域記錄的其實就是當初向消息隊列發送消息的那個handler啦。當我們調用handler的send函數時，最終基本上都會走到sendMessageAtTime()，其代碼如下：
【frameworks/base/core/java/android/os/Handler.java】

public boolean sendMessageAtTime(Message msg, long uptimeMillis) {MessageQueue queue = mQueue;if (queue == null) {RuntimeException e = new RuntimeException(this + " sendMessageAtTime() called with no mQueue");Log.w("Looper", e.getMessage(), e);return false;}return enqueueMessage(queue, msg, uptimeMillis); }

?

private boolean enqueueMessage(MessageQueue queue, Message msg, long uptimeMillis) {// 注意這一句，消息的target就是handler對象啦！日后msg.target.dispatchMessage()時會使用。msg.target = this; if (mAsynchronous) {msg.setAsynchronous(true);}return queue.enqueueMessage(msg, uptimeMillis); }

請大家注意msg.target = this;一句，記錄的就是handler對象。

當Looper的消息循環最終調用到msg.target.dispatchMessage()時，會間接調用到handler的handleMessage()函數，從而對消息進行實際處理。

在實際運用handler時，大體有兩種方式。一種方式是寫一個繼承于Handler的新類，并在新類里實現自己的handleMessage()成員函數；另一種方式是在創建匿名Handler對象時，直接修改handleMessage()成員函數。

4消息隊列MessageQueue

在剛剛介紹Handler的sendMessageAtTime()時，我們已經看到最終會調用queue.enqueueMessage()來向消息隊列打入消息。queue對應的類是MessageQueue，其定義截選如下：
【frameworks/base/core/java/android/os/MessageQueue.java】

public final class MessageQueue {// True if the message queue can be quit.private final boolean mQuitAllowed;@SuppressWarnings("unused")private int mPtr; // used by native codeMessage mMessages; // 消息隊列！private final ArrayList<IdleHandler> mIdleHandlers = new ArrayList<IdleHandler>();private IdleHandler[] mPendingIdleHandlers;private boolean mQuitting;// Indicates whether next() is blocked waiting in pollOnce() with a non-zero timeout.private boolean mBlocked;// The next barrier token.// Barriers are indicated by messages with a null target whose arg1 field carries the token.private int mNextBarrierToken;private native static int nativeInit();private native static void nativeDestroy(int ptr);private native static void nativePollOnce(int ptr, int timeoutMillis);private native static void nativeWake(int ptr);private native static boolean nativeIsIdling(int ptr);. . . . . .

其中Message mMessages記錄的就是一條消息鏈表。另外還有幾個native函數，這就說明MessageQueue會通過JNI技術調用到底層代碼。mMessages域記錄著消息隊列中所有Java層的實質消息。請大家注意，記錄的只是Java層的消息，不包括C++層的。MessageQueue的示意圖如下：

4.1打入消息

4.1.1enqueueMessage()

很明顯，enqueueMessage()就是在向MessageQueue的消息鏈表里插入Message。其代碼截選如下：
【frameworks/base/core/java/android/os/MessageQueue.java】

boolean enqueueMessage(Message msg, long when) {. . . . . .. . . . . .msg.when = when;Message p = mMessages;boolean needWake;if (p == null || when == 0 || when < p.when) {// 此時，新消息會插入到鏈表的表頭，這意味著隊列需要調整喚醒時間啦。msg.next = p;mMessages = msg;needWake = mBlocked;} else {// 此時，新消息會插入到鏈表的內部，一般情況下，這不需要調整喚醒時間。// 但還必須考慮到當表頭為“同步分割欄”的情況needWake = mBlocked && p.target == null && msg.isAsynchronous();Message prev;for (;;) {prev = p;p = p.next;if (p == null || when < p.when) {break;}if (needWake && p.isAsynchronous()) {// 說明即便msg是異步的，也不是鏈表中第一個異步消息，所以沒必要喚醒了needWake = false; }}msg.next = p;prev.next = msg;}if (needWake) {nativeWake(mPtr);}. . . . . . }

打入消息的動作并不復雜，無非是在消息鏈表中找到合適的位置，插入Message節點而已。因為消息鏈表是按時間進行排序的，所以主要是在比對Message攜帶的when信息。消息鏈表的首個節點對應著最先將被處理的消息，如果Message被插到鏈表的頭部了，就意味著隊列的最近喚醒時間也應該被調整了，因此needWake會被設為true，以便代碼下方可以走進nativeWake()。

4.1.2說說“同步分割欄”

上面的代碼中還有一個“同步分割欄”的概念需要提一下。所謂“同步分割欄”，可以被理解為一個特殊Message，它的target域為null。它不能通過sendMessageAtTime()等函數打入到消息隊列里，而只能通過調用Looper的postSyncBarrier()來打入。

“同步分割欄”是起什么作用的呢？它就像一個卡子，卡在消息鏈表中的某個位置，當消息循環不斷從消息鏈表中摘取消息并進行處理時，一旦遇到這種“同步分割欄”，那么即使在分割欄之后還有若干已經到時的普通Message，也不會摘取這些消息了。請注意，此時只是不會摘取“普通Message”了，如果隊列中還設置有“異步Message”，那么還是會摘取已到時的“異步Message”的。

在Android的消息機制里，“普通Message”和“異步Message”也就是這點兒區別啦，也就是說，如果消息列表中根本沒有設置“同步分割欄”的話，那么“普通Message”和“異步Message”的處理就沒什么大的不同了。

打入“同步分割欄”的postSyncBarrier()函數的代碼如下：
【frameworks/base/core/java/android/os/Looper.java】

public int postSyncBarrier() {return mQueue.enqueueSyncBarrier(SystemClock.uptimeMillis()); }

【frameworks/base/core/java/android/os/MessageQueue.java】

int enqueueSyncBarrier(long when) {synchronized (this) {final int token = mNextBarrierToken++;final Message msg = Message.obtain();msg.when = when;msg.arg1 = token;Message prev = null;Message p = mMessages;if (when != 0) {while (p != null && p.when <= when) {prev = p;p = p.next;}}if (prev != null) { msg.next = p;prev.next = msg;} else {msg.next = p;mMessages = msg;}return token;} }

要得到“異步Message”，只需調用一下Message的setAsynchronous()即可：
【frameworks/base/core/java/android/os/Message.java】

public void setAsynchronous(boolean async) {if (async) {flags |= FLAG_ASYNCHRONOUS;} else {flags &= ~FLAG_ASYNCHRONOUS;} }

一般，我們是通過“異步Handler”向消息隊列打入“異步Message”的。異步Handler的mAsynchronous域為true，因此它在調用enqueueMessage()時，可以走入：

if (mAsynchronous) {msg.setAsynchronous(true);}

現在我們畫一張關于“同步分割欄”的示意圖：

圖中的消息隊列中有一個“同步分割欄”，因此它后面的“2”號Message即使到時了，也不會摘取下來。而“3”號Message因為是個異步Message，所以當它到時后，是可以進行處理的。

“同步分割欄”這種卡子會一直卡在消息隊列中，除非我們調用removeSyncBarrier()刪除這個卡子。
【frameworks/base/core/java/android/os/Looper.java】

public void removeSyncBarrier(int token) {mQueue.removeSyncBarrier(token); }

【frameworks/base/core/java/android/os/MessageQueue.java】

void removeSyncBarrier(int token) {// Remove a sync barrier token from the queue.// If the queue is no longer stalled by a barrier then wake it.synchronized (this) {Message prev = null;Message p = mMessages;while (p != null && (p.target != null || p.arg1 != token)) {prev = p;p = p.next;}if (p == null) {throw new IllegalStateException("The specified message queue synchronization "+ " barrier token has not been posted or has already been removed.");}final boolean needWake;if (prev != null) {prev.next = p.next;needWake = false;} else {mMessages = p.next;needWake = mMessages == null || mMessages.target != null;}p.recycle();// If the loop is quitting then it is already awake.// We can assume mPtr != 0 when mQuitting is false.if (needWake && !mQuitting) {nativeWake(mPtr);}} }

和插入消息類似，如果刪除動作改變了鏈表的頭部，也意味著隊列的最近喚醒時間應該被調整了，因此needWake會被設為true，以便代碼下方可以走進nativeWake()。

4.1.3nativeWake()

nativeWake()對應的C++層函數如下：
【frameworks/base/core/jni/android_os_MessageQueue.cpp】

static void android_os_MessageQueue_nativeWake(JNIEnv* env, jclass clazz, jint ptr) {NativeMessageQueue* nativeMessageQueue = reinterpret_cast<NativeMessageQueue*>(ptr);return nativeMessageQueue->wake(); } void NativeMessageQueue::wake() {mLooper->wake(); }

【system/core/libutils/Looper.cpp】

void Looper::wake() {. . . . . .ssize_t nWrite;do {nWrite = write(mWakeWritePipeFd, "W", 1);} while (nWrite == -1 && errno == EINTR);if (nWrite != 1) {if (errno != EAGAIN) {ALOGW("Could not write wake signal, errno=%d", errno);}} }

wake()動作主要是向一個管道的“寫入端”寫入了“W”。有關這個管道的細節，我們會在后文再細說，這里先放下。

4.2消息循環

接下來我們來看看消息循環。我們從Looper的Loop()函數開始講起。下面是loop()函數的簡略代碼，我們只保留了其中最關鍵的部分：
【frameworks/base/core/java/android/os/Looper.java】

public static void loop() {final Looper me = myLooper();. . . . . .final MessageQueue queue = me.mQueue;Binder.clearCallingIdentity();final long ident = Binder.clearCallingIdentity();for (;;) {Message msg = queue.next(); // might block. . . . . .msg.target.dispatchMessage(msg); // 派發消息. . . . . .final long newIdent = Binder.clearCallingIdentity();. . . . . .msg.recycle();} }

無非是在一個for循環里不斷摘取隊列里的下一條消息，而后dispatchMessage()消息。呃，至少邏輯上就是這么簡單，但如果我們希望再探索得更深一點的話，就得詳細研究MessageQueue以及其next()函數了。

?對于Looper而言，它主要關心的是從消息隊列里摘取消息，而后分派消息。然而對消息隊列而言，在摘取消息時還要考慮更多技術細節。它關心的細節有：
1）如果消息隊列里目前沒有合適的消息可以摘取，那么不能讓它所屬的線程“傻轉”，而應該使之阻塞；
2）隊列里的消息應該按其“到時”的順序進行排列，最先到時的消息會放在隊頭，也就是mMessages域所指向的消息，其后的消息依次排開；
3）阻塞的時間最好能精確一點兒，所以如果暫時沒有合適的消息節點可摘時，要考慮鏈表首個消息節點將在什么時候到時，所以這個消息節點距離當前時刻的時間差，就是我們要阻塞的時長。
4）有時候外界希望隊列能在即將進入阻塞狀態之前做一些動作，這些動作可以稱為idle動作，我們需要兼顧處理這些idle動作。一個典型的例子是外界希望隊列在進入阻塞之前做一次垃圾收集。

以上所述的細節，基本上都體現在MessageQueue的next()函數里了，現在我們就來看這個函數的主要流程。

4.2.1MessageQueue的next()成員函數

MessageQueue的next()函數的代碼截選如下：

Message next() {int pendingIdleHandlerCount = -1; // -1 only during first iterationint nextPollTimeoutMillis = 0;for (;;) {. . . . . .nativePollOnce(mPtr, nextPollTimeoutMillis); // 阻塞于此. . . . . .// 獲取next消息，如能得到就返回之。final long now = SystemClock.uptimeMillis();Message prevMsg = null;Message msg = mMessages; // 先嘗試拿消息隊列里當前第一個消息if (msg != null && msg.target == null) {// 如果從隊列里拿到的msg是個“同步分割欄”，那么就尋找其后第一個“異步消息”do {prevMsg = msg;msg = msg.next;} while (msg != null && !msg.isAsynchronous());}if (msg != null) {if (now < msg.when) {// Next message is not ready. Set a timeout to wake up when it is ready.nextPollTimeoutMillis = (int) Math.min(msg.when - now, Integer.MAX_VALUE);} else {// Got a message.mBlocked = false;if (prevMsg != null) {prevMsg.next = msg.next;} else {mMessages = msg.next; // 重新設置一下消息隊列的頭部}msg.next = null;if (false) Log.v("MessageQueue", "Returning message: " + msg);msg.markInUse();return msg; // 返回得到的消息對象}} else {// No more messages.nextPollTimeoutMillis = -1;}// Process the quit message now that all pending messages have been handled.if (mQuitting) {dispose();return null;}if (pendingIdleHandlerCount < 0&& (mMessages == null || now < mMessages.when)) {pendingIdleHandlerCount = mIdleHandlers.size();}if (pendingIdleHandlerCount <= 0) {// No idle handlers to run. Loop and wait some more.mBlocked = true;continue;}. . . . . .// 處理idle handlers部分for (int i = 0; i < pendingIdleHandlerCount; i++) {final IdleHandler idler = mPendingIdleHandlers[i];mPendingIdleHandlers[i] = null; // release the reference to the handlerboolean keep = false;try {keep = idler.queueIdle();} catch (Throwable t) {Log.wtf("MessageQueue", "IdleHandler threw exception", t);}if (!keep) {synchronized (this) {mIdleHandlers.remove(idler);}}}pendingIdleHandlerCount = 0;nextPollTimeoutMillis = 0;} }

這個函數里的for循環并不是起循環摘取消息節點的作用，而是為了連貫“當前時間點”和“處理下一條消息的時間點”。簡單地說，當“定時機制”觸發“摘取一條消息”的動作時，會判斷事件隊列的首條消息是否真的到時了，如果已經到時了，就直接返回這個msg，而如果尚未到時，則會努力計算一個較精確的等待時間（nextPollTimeoutMillis），計算完后，那個for循環會掉過頭再次調用到nativePollOnce(mPtr, nextPollTimeoutMillis)，進入阻塞狀態，從而等待合適的時長。

上面代碼中也處理了“同步分割欄”的情況。如果從隊列里獲取的消息是個“同步分割欄”的話，可千萬不能把“同步分割欄”給返回了，此時會嘗試找尋其后第一個“異步消息”。

next()里另一個要說的是那些Idle Handler，當消息隊列中沒有消息需要馬上處理時，會判斷用戶是否設置了Idle Handler，如果有的話，則會嘗試處理mIdleHandlers中所記錄的所有Idle Handler，此時會逐個調用這些Idle Handler的queueIdle()成員函數。我們舉一個例子，在ActivityThread中，在某種情況下會在消息隊列中設置GcIdler，進行垃圾收集，其定義如下：

final class GcIdler implements MessageQueue.IdleHandler {@Overridepublic final boolean queueIdle() {doGcIfNeeded();return false;} }

一旦隊列里設置了這個Idle Handler，那么當隊列中沒有馬上需處理的消息時，就會進行垃圾收集。

4.2.1.1nativePollOnce()

前文我們已經說過，next()中調用的nativePollOnce()起到了阻塞作用，保證消息循環不會在無消息處理時一直在那里“傻轉”。那么，nativePollOnce()函數究竟是如何實現阻塞功能的呢？我們來探索一下。首先，MessageQueue類里聲明的幾個native函數，對應的JNI實現位于android_os_MessageQueue.cpp文件中：
【frameworks/base/core/jni/android_os_MessageQueue.cpp】

static JNINativeMethod gMessageQueueMethods[] = {/* name, signature, funcPtr */{ "nativeInit", "()I", (void*)android_os_MessageQueue_nativeInit },{ "nativeDestroy", "(I)V", (void*)android_os_MessageQueue_nativeDestroy },{ "nativePollOnce", "(II)V", (void*)android_os_MessageQueue_nativePollOnce },{ "nativeWake", "(I)V", (void*)android_os_MessageQueue_nativeWake },{ "nativeIsIdling", "(I)Z", (void*)android_os_MessageQueue_nativeIsIdling } };

而且在MessageQueue構造之時，就會調用nativeInit()函數。

目前我們只關心nativePollOnce對應的android_os_MessageQueue_nativePollOnce()。其代碼如下：

static void android_os_MessageQueue_nativePollOnce(JNIEnv* env, jclass clazz,jint ptr, jint timeoutMillis) {NativeMessageQueue* nativeMessageQueue = reinterpret_cast<NativeMessageQueue*>(ptr);nativeMessageQueue->pollOnce(env, timeoutMillis); }

看到了吧，ptr參數會被強制轉換成NativeMessageQueue*。

NativeMessageQueue的pollOnce()如下：
【frameworks/base/core/jni/android_os_MessageQueue.cpp】

void NativeMessageQueue::pollOnce(JNIEnv* env, int timeoutMillis) {mInCallback = true;mLooper->pollOnce(timeoutMillis); // 用到C++層的Looper對象mInCallback = false;if (mExceptionObj) {env->Throw(mExceptionObj);env->DeleteLocalRef(mExceptionObj);mExceptionObj = NULL;} }

這里會用到C++層的Looper類，它和Java層的Looper類可是不一樣的哩。C++層的Looper類的定義截選如下：
【system/core/include/utils/Looper.h】

class Looper : public ALooper, public RefBase { protected:virtual ~Looper();public:Looper(bool allowNonCallbacks);bool getAllowNonCallbacks() const;int pollOnce(int timeoutMillis, int* outFd, int* outEvents, void** outData);. . . . . .int pollAll(int timeoutMillis, int* outFd, int* outEvents, void** outData);. . . . . .void wake();int addFd(int fd, int ident, int events, ALooper_callbackFunc callback, void* data);int addFd(int fd, int ident, int events, const sp<LooperCallback>& callback, void* data);int removeFd(int fd);void sendMessage(const sp<MessageHandler>& handler, const Message& message);void sendMessageDelayed(nsecs_t uptimeDelay, const sp<MessageHandler>& handler,const Message& message);void sendMessageAtTime(nsecs_t uptime, const sp<MessageHandler>& handler,const Message& message);void removeMessages(const sp<MessageHandler>& handler);void removeMessages(const sp<MessageHandler>& handler, int what);bool isIdling() const;static sp<Looper> prepare(int opts);static void setForThread(const sp<Looper>& looper);static sp<Looper> getForThread();. . . . . .. . . . . . };

我們把C++層的NativeMessageQueue和Looper融入前文的示意圖，可以得到一張新的示意圖，如下所示：

?

C++層的Looper的構造函數如下：

Looper::Looper(bool allowNonCallbacks) :mAllowNonCallbacks(allowNonCallbacks), mSendingMessage(false),mResponseIndex(0), mNextMessageUptime(LLONG_MAX) {int wakeFds[2];int result = pipe(wakeFds); // 創建一個管道LOG_ALWAYS_FATAL_IF(result != 0, "Could not create wake pipe. errno=%d", errno);mWakeReadPipeFd = wakeFds[0]; // 管道的“讀取端”mWakeWritePipeFd = wakeFds[1]; // 管道的“寫入端”result = fcntl(mWakeReadPipeFd, F_SETFL, O_NONBLOCK);LOG_ALWAYS_FATAL_IF(result != 0, "Could not make wake read pipe non-blocking. errno=%d", errno);result = fcntl(mWakeWritePipeFd, F_SETFL, O_NONBLOCK);LOG_ALWAYS_FATAL_IF(result != 0, "Could not make wake write pipe non-blocking. errno=%d", errno);mIdling = false;// 創建一個epollmEpollFd = epoll_create(EPOLL_SIZE_HINT);LOG_ALWAYS_FATAL_IF(mEpollFd < 0, "Could not create epoll instance. errno=%d", errno);struct epoll_event eventItem;memset(& eventItem, 0, sizeof(epoll_event)); eventItem.events = EPOLLIN;eventItem.data.fd = mWakeReadPipeFd; // 監聽管道的read端result = epoll_ctl(mEpollFd, EPOLL_CTL_ADD, mWakeReadPipeFd, & eventItem);LOG_ALWAYS_FATAL_IF(result != 0, "Could not add wake read pipe to epoll instance. errno=%d", errno); }

可以看到在構造Looper對象時，其內部除了創建了一個管道以外，還創建了一個epoll來監聽管道的“讀取端”。也就是說，是利用epoll機制來完成阻塞動作的。每當我們向消息隊列發送事件時，最終會間接向管道的“寫入端”寫入數據，這個前文已有敘述，于是epoll通過管道的“讀取端”立即就感知到了風吹草動，epoll_wait()在等到事件后，隨即進行相應的事件處理。這就是消息循環阻塞并處理的大體流程。當然，因為向管道寫數據只是為了通知風吹草動，所以寫入的數據是非常簡單的“W”字符串?，F在大家不妨再看看前文闡述“nativeWake()”的小節，應該能明白了吧。

我們還是繼續說消息循環。Looper的pollOnce()函數如下：
【system/core/libutils/Looper.cpp】

int Looper::pollOnce(int timeoutMillis, int* outFd, int* outEvents, void** outData) {int result = 0;for (;;) {. . . . . .if (result != 0) {. . . . . .if (outFd != NULL) *outFd = 0;if (outEvents != NULL) *outEvents = 0;if (outData != NULL) *outData = NULL;return result;}result = pollInner(timeoutMillis);} }

int Looper::pollInner(int timeoutMillis) { . . . . . .// 阻塞、等待 int eventCount = epoll_wait( mEpollFd, eventItems, EPOLL_MAX_EVENTS, timeoutMillis);. . . . . .. . . . . .// 處理所有epoll事件for (int i = 0; i < eventCount; i++) {int fd = eventItems[i].data.fd;uint32_t epollEvents = eventItems[i].events;if (fd == mWakeReadPipeFd) {if (epollEvents & EPOLLIN) {awoken(); // 從管道中感知到EPOLLIN，于是調用awoken()} . . . . . .} else {// 如果是除管道以外的其他fd發生了變動，那么根據其對應的request，// 將response先記錄進mResponsesssize_t requestIndex = mRequests.indexOfKey(fd);if (requestIndex >= 0) {int events = 0;if (epollEvents & EPOLLIN ) events |= ALOOPER_EVENT_INPUT;if (epollEvents & EPOLLOUT) events |= ALOOPER_EVENT_OUTPUT;if (epollEvents & EPOLLERR) events |= ALOOPER_EVENT_ERROR;if (epollEvents & EPOLLHUP) events |= ALOOPER_EVENT_HANGUP;// 內部會調用 mResponses.push(response);pushResponse(events, mRequests.valueAt(requestIndex));} . . . . . .}}Done: ;. . . . . .// 調用尚未處理的事件的回調while (mMessageEnvelopes.size() != 0) {nsecs_t now = systemTime(SYSTEM_TIME_MONOTONIC);const MessageEnvelope& messageEnvelope = mMessageEnvelopes.itemAt(0);if (messageEnvelope.uptime <= now) {{ sp<MessageHandler> handler = messageEnvelope.handler;Message message = messageEnvelope.message;mMessageEnvelopes.removeAt(0);. . . . . .handler->handleMessage(message);}. . . . . .} else {mNextMessageUptime = messageEnvelope.uptime;break;}}. . . . . .// 調用所有response記錄的回調for (size_t i = 0; i < mResponses.size(); i++) {Response& response = mResponses.editItemAt(i);if (response.request.ident == ALOOPER_POLL_CALLBACK) {. . . . . .int callbackResult = response.request.callback->handleEvent(fd, events, data);if (callbackResult == 0) {removeFd(fd);}. . . . . .}}return result; }

現在我們可以畫一張調用示意圖，理一下loop()函數的調用關系，如下：

pollInner()調用epoll_wait()時傳入的timeoutMillis參數，其實來自于前文所說的MessageQueue的next()函數里的nextPollTimeoutMillis，next()函數里在以下3種情況下，會給nextPollTimeoutMillis賦不同的值：
1）如果消息隊列中的下一條消息還要等一段時間才到時的話，那么nextPollTimeoutMillis賦值為Math.min(msg.when - now, Integer.MAX_VALUE)，即時間差；
2）如果消息隊列已經是空隊列了，那么nextPollTimeoutMillis賦值為-1；
3）不管前兩種情況下是否已給nextPollTimeoutMillis賦過值了，只要隊列中有Idle Handler需要處理，那么在處理完所有Idle Handler之后，會強制將nextPollTimeoutMillis賦值為0。這主要是考慮到在處理Idle Handler時，不知道會耗時多少，而在此期間消息隊列的“到時情況”有可能已發生改變。

不管epoll_wait()的超時閥值被設置成什么，只要程序從epoll_wait()中返回，就會嘗試處理等到的epoll事件。目前我們的主要關心點是事件機制，所以主要討論當fd 等于mWakeReadPipeFd時的情況，此時會調用一下awoken()函數。該函數很簡單，只是在讀取mWakeReadPipeFd而已：

void Looper::awoken() { #if DEBUG_POLL_AND_WAKEALOGD("%p ~ awoken", this); #endifchar buffer[16];ssize_t nRead;do {nRead = read(mWakeReadPipeFd, buffer, sizeof(buffer));} while ((nRead == -1 && errno == EINTR) || nRead == sizeof(buffer)); }

為什么要起個名字叫awoken()呢？這是因為當初發送事件時，最終是調用一個wake()函數來通知消息隊列的，現在epoll_wait()既然已經感應到了，自然相當于“被喚醒”（awoken）了。

除了感知mWakeReadPipeFd管道的情況以外，epoll還會感知其他一些fd對應的事件。在Looper中有一個mRequests鍵值向量表（KeyedVector<int, Request> mRequests），其鍵值就是感興趣的fd。如果收到的epoll事件所攜帶的fd可以在這張表里查到，那么就將該fd對應的Request整理進Response對象，并將該Response對象記入mResponses表。在pollInner()的最后，會用一個for循環遍歷mResponses表，分析每個Response表項對應的Request是不是需要callback，如果需要的話，執行對應的回調函數：

int callbackResult = response.request.callback->handleEvent(fd, events, data); if (callbackResult == 0) {removeFd(fd); }

可以看到，handleEvent()的返回值將決定那個Request表項是否繼續保留在mRequests表中，如果返回值為0，說明不必保留了，所以刪除之。刪除時會同時從epoll中注銷這個Request對應的fd，表示不再對這個fd感興趣了。

pollInner()內部還會集中處理所記錄的所有C++層的Message。在一個while循環中，不斷摘取mMessageEnvelopes向量表的第0個MessageEnvelope，如果消息已經到時，則回調handleMessage()。

sp<MessageHandler> handler = messageEnvelope.handler; Message message = messageEnvelope.message; mMessageEnvelopes.removeAt(0); . . . . . .handler->handleMessage(message); 而如果消息未到時，說明while循環可以break了。

C++層的Looper及這個層次的消息鏈表，再加上對應其他fd的Request和Response，可以形成下面這張示意圖：

?從我們的分析中可以知道，在Android中，不光是Java層可以發送Message，C++層也可以發送，當然，不同層次的Message是放在不同層次的消息鏈中的。在Java層，每次嘗試從隊列中獲取一個Message，而后dispatch它。而C++層的消息則盡量在一次pollOnce中集中處理完畢，這是它們的一點不同。

5尾聲

關于Android的消息機制，我們就先說這么多。總體上的而言還是比較簡單的，無非是通過Handler向Looper的消息隊列中插入Message，而后再由Looper在消息循環里具體處理。因為消息隊列本身不具有鏈表一變動就能馬上感知的功能，所以它需要借助管道和epoll機制來監聽變動。當外界向消息隊列中打入新消息后，就向管道的“寫入端”寫入簡單數據，于是epoll可以立即感知到管道的變動，從何激發從消息隊列中摘取消息的動作。這就是Android消息機制的大體情況。

?

?

?

轉載于:https://my.oschina.net/youranhongcha/blog/492591

總結

以上是生活随笔為你收集整理的聊一聊Android的消息机制的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。