Epoll底层原理深究

一、epoll底层数据结构

在epoll的使用中，我们经常需要对文件描述符集合进行添加、删除等操作，同时对触发的事件类型进行处理，回调IO事件中的工作函数。这其中离不开两个数据结构的帮助------epitem与eventpoll。

1.1 eventpoll结构体

eventpoll是每一个 epoll所对应的，比如epoll_create()就是创建一个 eventpoll。

内核源码文件中eventpoll的定义如下：

// file：fs/eventpoll.c
struct eventpoll { 	
    //sys_epoll_wait用到的等待队列
    wait_queue_head_t wq;
    //接收就绪的描述符都会放到这里
    struct list_head rdllist;
    //每个epoll对象中都有一颗红黑树
    struct rb_root rbr;
    ......
}

其中wq为等待队列链表，软中断数据就绪的时候会通过 wq 来找到阻塞在 epoll 对象上的用户进程。（epoll_wait若就绪队列中无数据，会将当前进程加入到等待队列中）

rdllist标识就绪的文件描述符链表，当有的连接就绪的时候，内核会把就绪的连接放到 rdllist 链表里。这样应用进程只需要判断链表就能找出就绪进程，而不用去遍历整棵树。

rbr为一颗红黑树，采用红黑树的结构为epoll高效的处理海量数据的增删改查，这个红黑树用于管理用户进程添加进来的所有socket连接。

1.2 epitem结构体

epitem是每一个IO所对应的的事件，比如epoll_ctl()中使用EPOLL_CTL_ADD操作的时候，就需要创建一个epitem。

内核源码文件中epitem