Android 消息机制底层原理

一　概述

我们知道 Handler 与 Looper、MessageQueue 共同实现了线程间消息传递。MessageQueue 的底层实现是利用管道和 epoll 机制来实现的。

当我们查看 Looper.loop() 方法时，会发现其中有一个无限循环。那么这其中的原因又是啥呢。当调用 Looper.prepare() 方法时，我们知道会创建一个 Looper 对象，在 Looper 的构造函数中，同时也创建了 MessageQueue，而在 MessageQueue 的构造函数中又调用了 native 函数 nativeInit

static jlong android_os_MessageQueue_nativeInit(JNIEnv* env, jclass clazz) {
    NativeMessageQueue* nativeMessageQueue = new NativeMessageQueue();
    if (!nativeMessageQueue) {
        jniThrowRuntimeException(env, "Unable to allocate native queue");
        return 0;
    }

    nativeMessageQueue->incStrong(env);
    return reinterpret_cast<jlong>(nativeMessageQueue);
}

NativeMessageQueue::NativeMessageQueue() :
        mPollEnv(NULL), mPollObj(NULL), mExceptionObj(NULL) {
    mLooper = Looper::getForThread();
    if (mLooper == NULL) {
        mLooper = new Looper(false);
        Looper::setForThread(mLooper);
    }
}

而在 native 层的 Looper 构造函数中，会创建一个管道，另外还会创建一个 epoll 实例去监听管道的读文件描述符。

当执行 loop 方法时，会调用 epoll_wait 去监听 epoll 实例中所监听的文件描述符有没有对应的事件，如果没有的话，该方法就会堵塞，所以 for 循环就没有无限执行下去。而当有其他线程通过 handler 向 MessageQueue 中发送数据时，就会向管道写数据，那么 epoll_wait 方法堵塞就会唤醒。

然后我们把管道中的数据都读出来。下一次进行 for 循坏的时候又会调用 epoll_wait 方法，如果消息队列没有消息时，就又会堵塞了。

二　什么是管道

管道是一种把两个进程之间的标准输入和标准输出连接起来的机制，从而提供一种让多个进程间通信的方法。通俗一点说就是一个进程向管道写入数据，另外一个进程可以从管道中读取该数据。（ps：不只进程，线程当然也是可以的）

当进程创建管道时，每次都需要提供两个文件描述符来操作管道。其中一个对管道进行写操作，另一个对管道进行读操作。

2.1 创建一个管道

我们可以通过使用 pipe 函数创建一个管道

int pipefd[2];
pipe(pipefd);

当创建管道成功后，pipefd 数组将会被赋值，其中 pipefd[0] 为管道的读端文件描述符，pipedf[1] 为管道的写端文件描述符。

• 使用 pipe 函数创建的是匿名管道，管道是没有名字的，可以使用那俩个文件描述符对管道进行读写操作
• 写管道操作默认是堵塞的，也就是把数据全部写入缓存后 write 函数才返回，如果缓存满了就一直堵塞，直到缓存里的数据被读出，数据被全部写入

三　epoll机制

epoll 机制：可以同时监听多个文件描述符的 IO 读写事件而设计的。

3.1 创建一个epoll实例

int epfd = epoll_create(intsize);  

参数 initsize 为 epoll 实例需要监听的 IO 读写事件的数目大小。epfd 为 epoll 实例的文件描述符。

3.2 使用epoll来监听某个文件描述符上的事件

int epoll_ctl(int epfd, int　op, int fd, struct epoll_event* event); 

１．第一个参数是 epoll_create() 的返回值，也就是一个 epoll 实例

２．第二个参数 op 表示动作，用三个宏来表示：

• EPOLL_CTL_ADD： 注册新的 fd 到 epfd 中
• EPOLL_CTL_MOD： 修改已经注册的 fd 的监听事件
• EPOLL_CTL_DEL： 从 epfd 中删除一个 fd

３．第三个参数是需要监听的 fd

４．第四个参数是告诉内核需要监听什么事件

举例：利用 epoll 来监听管道的读文件描述符

int pipefd[2];
pipe(pipefd);  //创建管道
 
int epfd = epoll_create(intsize); //创建epoll 
struct epoll_event eventItem;
memset(& eventItem,0,sizeof(epoll_event)); // 给eventItem分配内存
eventItem.events = EPOLLIN; //EPOLLIN  表示对应的文件描述符上有可读数据
eventItem.data.fd = pipefd[0];
result = epoll_ctl(epfd,EPOLL_CTL_ADD,pipefd[0],&eventItem);

分析： eventItem 是我们定义的事件，事件的类型为 EPOLLIN。表示事件为对应的文件描述符上有可读数据，eventItem.data.fd 指定了特定文件描述符。调用 epoll_ctl 去监听管道读文件描述符上是否有流到达

3.3 使用epoll_wait来监听注册在epoll实例中的文件描述符的IO读写事件

epoll 实例可以注册多个文件描述符，epoll_wait 监听 epoll 实例，这正是多路复用机制，一个 epoll 监听了多个 IO 事件。

int epoll_wait(int epfd, struct epoll_event * events, int maxevents, int timeout);

• 参数 events 用来从内核得到事件的集合
• maxevents 告之内核这个 events 有多大(数组成员的个数)，这个 maxevents 的值不能大于创建 epoll_create() 时的 size
• 参数 timeout 是超时时间（毫秒，0会立即返回，-1永久等待）

struct epoll_event eventItems[EPOLL_MAX_EVENTS];
int eventCount = epoll_wait(mEpollFd, eventItems, EPOLL_MAX_EVENTS, timeoutMillis)

我们接着利用前面 epoll_ctl 注册管道的读文件描述符。这里我们对 epoll 实例进行监听等待。当管道的读文件描述符没有数据时，这里会被阻塞。当有其他线程或者进程向管道写文件描述符写入数据时，这时 epoll_wait 会将数据放入 eventItems 数组中，通过遍历，我们可以拿到对应的事件。

P.S. ：关于 epoll 机制的详细原理，请参考 https://blog.csdn.net/liuwg1226/article/details/106323558#t5