一 概述
我们知道 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);
1.第一个参数是 epoll_create() 的返回值,也就是一个 epoll 实例
2.第二个参数 op 表示动作,用三个宏来表示:
- EPOLL_CTL_ADD: 注册新的 fd 到 epfd 中
- EPOLL_CTL_MOD: 修改已经注册的 fd 的监听事件
- EPOLL_CTL_DEL: 从 epfd 中删除一个 fd
3.第三个参数是需要监听的 fd
4.第四个参数是告诉内核需要监听什么事件
举例:利用 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