【从源码看Android】02MessageQueue的epoll原型

1 开头

上一讲讲到Looper，大家对Looper有了大概的了结（好几个月过去了…）

大家都知道一个Handler对应有一个MessageQueue，

在哪个线程上new Handler（如果不指定looper对象），那么这个handler就默认对应于这个线程上的prepare过的Looper

如下图Handler.java代码所示，mLooper由Looper.myLooper()指定，

public Handler(Callback callback, boolean async) {
        if (FIND_POTENTIAL_LEAKS) {
            final Class klass = getClass();
            if ((klass.isAnonymousClass() || klass.isMemberClass() || klass.isLocalClass()) &&
                    (klass.getModifiers() & Modifier.STATIC) == 0) {
                Log.w(TAG, "The following Handler class should be static or leaks might occur: " +
                    klass.getCanonicalName());
            }
        }

        mLooper = Looper.myLooper();
        if (mLooper == null) {
            throw new RuntimeException(
                "Can't create handler inside thread that has not called Looper.prepare()");
        }
        mQueue = mLooper.mQueue;
        mCallback = callback;
        mAsynchronous = async;
    }

而Looper.myLooper()来自此线程里保存的looper对象（在looper.prepare时存入）

public static Looper myLooper() {
        return sThreadLocal.get();
    }

so，一个handler，对应了一套MessageQueue、Thread、Looper

这些都是 【从源码看Android】01从Looper说起 讲过的东西，那么下面来些硬货

2 一个问题引入

从一个问题引入，如果在子线程12上创建了一个handler，

现在在主线程上调用handler.sendEmptyMessage，

handler如何在主线程上处理这个msg，

然后从子线程12让handler的handleMessage函数处理呢？

那么这个时候就要引入一个跨线程的事件模型--epoll，

这一讲先把cpp epoll模型讲清楚，

下一讲再讲android里如何利用这个模型的

3 epoll模型

epolldemo.cpp

#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 

#define NUM_THREAD 4
#define NUM_LENGTH 200
#define MAX_EVENTS 20

#define USES_EPOLL

#ifdef USES_EPOLL
/****

（1）.创建一个epoll描述符，调用epoll_create()来完成，epoll_create()有一个整型的参数size，用来告诉内核，要创建一个有size个描述符的事件列表（集合）
int epoll_create(int size)

（2）.给描述符设置所关注的事件，并把它添加到内核的事件列表中去，这里需要调用epoll_ctl()来完成。
int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event)
这里op参数有三种，分别代表三种操作：
a. EPOLL_CTL_ADD, 把要关注的描述符和对其关注的事件的结构，添加到内核的事件列表中去
b. EPOLL_CTL_DEL，把先前添加的描述符和对其关注的事件的结构，从内核的事件列表中去除
c. EPOLL_CTL_MOD，修改先前添加到内核的事件列表中的描述符的关注的事件

（3）. 等待内核通知事件发生，得到发生事件的描述符的结构列表，该过程由epoll_wait()完成。得到事件列表后，就可以进行事件处理了。
int epoll_wait(int epfd, struct epoll_event * events, int maxevents, int timeout)


– EPOLLIN，读事件
– EPOLLOUT，写事件
– EPOLLPRI，带外数据，与select的异常事件集合对应
– EPOLLRDHUP，TCP连接对端至少写写半关闭
– EPOLLERR，错误事件
– EPOLLET，设置事件为边沿触发
– EPOLLONESHOT，只触发一次，事件自动被删除


*/
int g_epollfd;
int g_wakeFds[2];
#endif


void awake()
{
    ssize_t nWrite;
    do 
    {
        nWrite = write(g_wakeFds[1], "W", 1);
    } 
    while (nWrite == -1);
}

void awoken() 
{

    char buffer[16];
    ssize_t nRead;
    do {
        nRead = read(g_wakeFds[0], buffer, sizeof(buffer));
    } while ((nRead == -1 ) || nRead == sizeof(buffer));
}

using namespace std;
void* threadRead(void* userdata)
{
    queue* q = (queue*)userdata;

    struct epoll_event events[MAX_EVENTS];
    while( true )
    {
        int fds = epoll_wait(g_epollfd, events, MAX_EVENTS, 1000);
        if(fds < 0){
            printf("epoll_wait error, exit\n");
            break;
        }

        for(int i = 0; i < fds; i++){
            if( events[i].events & EPOLLIN ) // read event
            {
                printf("%s,%d/%d\n", "EPOLLIN",i,fds);
                while( !q->empty() )
                {
                    q->pop();
                    printf("removed! \n" );
                }
            }
        }
        awoken();
    }
    return userdata;
}

void* threadRun(void* userdata)
{
	queue* q = (queue*)userdata;
	while( true )
    {

#ifdef USES_EPOLL
        q->push( 1 );
        printf("%ld:%s\n",(long)pthread_self() ,"added!");
        awake();

#else
#endif
    	usleep(1000*500);
    }
    printf("exit thread:%ld\n",(long)pthread_self() );
	return userdata;
}

int main(int argc, char const *argv[])
{
/**
	pipe（建立管道）：
1) 头文件 #include
2) 定义函数： int pipe(int filedes[2]);
3) 函数说明： pipe()会建立管道，并将文件描述词由参数filedes数组返回。
              filedes[0]为管道里的读取端
              filedes[1]则为管道的写入端。
*/
    int result = pipe(g_wakeFds);
    assert( result!=0 );

    result = fcntl(g_wakeFds[0], F_SETFL, O_NONBLOCK);
    assert(result!=0);

    result = fcntl(g_wakeFds[1], F_SETFL, O_NONBLOCK);
    assert(result!=0);

    g_epollfd = epoll_create( MAX_EVENTS );
    assert( g_epollfd > 0 );

    struct epoll_event epv = {0, {0}};
    //epv.data.ptr = userdata;
    epv.data.fd = g_wakeFds[0];
    epv.events = EPOLLIN;

    if(epoll_ctl(g_epollfd, EPOLL_CTL_ADD, g_wakeFds[0], &epv) < 0)
        printf("Event Add failed[fd=%d], evnets[%d]\n", epv.data.fd, epv.events);
    else
        printf("Event Add OK[fd=%d], op=%d, evnets[%0X]\n", epv.data.fd, EPOLL_CTL_ADD, epv.events);

    queue q;
    vector v;
	for (int i = 0; i < NUM_THREAD; ++i)
	{
		pthread_t tid;
		pthread_create(&tid,NULL,threadRun,&q);
		v.push_back(tid);
	}

    pthread_t tid;
    pthread_create(&tid,NULL,threadRead,&q);
    v.push_back(tid);
      
	for(vector::const_iterator it = v.begin(); it < v.end(); ++it)
        pthread_join(*it,NULL);

	return 0;
}

大致思路是这样的：

a.127行开始建立管道g_wakeFds，g_wakeFds[0]是读取端口，g_wakeFds[1]是写入端口

b.136行创建全局的g_epollfd，即epoll文件描述符，参数为这个文件描述符所支持的最大事件数

c.144行epoll_ctl创建一个事件关联，即将g_epollfd与g_wakeFds[0]进行关联，如果g_wakeFds[0]发生变化，就会触发事件，并且事件为139创建的epoll_event实例

d.151-156行创建多个线程作为生产者，生产int放入queue中，放入完后调用awake()函数，向g_wakeFds[1]写入一字节，触发事件

f.158-160行创建一个消费者来消费生产的int

g.其中76行int fds = epoll_wait(g_epollfd, events, MAX_EVENTS, 1000);来等待生产者生产的int，当g_wakeFds[1]有数据写入时，g_wakeFds[0]就会触发刚刚注册的事件，获取到注册的事件后对事件进行处理（消费int），随后调用awoken()清空g_wakeFds[0]，进入下一轮epoll_wait

注意：生产enqueue和消费dequeue是需要同步锁的，这里省略了这个过程，android在java中对Message实现的同步锁

4 运行结果

5 源码下载

http://pan.baidu.com/s/1i3BTWpv

6 总结

当一个线程的消息队列没有消息需要处理时，它就会在这个管道的读端文件描述符上进行睡眠等待，直到其他线程通过这个管道的写端文件描述符来唤醒它。这样就节省了线程上对于cpu资源的消耗。

7 reference

《Android系统源码情景分析》- 罗升阳

Android NDK 源代码

Android SDK 源代码