一、select 存在地主要问题
select 最大可监视地文件描述符数量是1024.尽管可以修改,但是select 采用的是轮询模式,文件描述符数目越大 ,性能越差。
调用select 时,每次都需要将整个数组从用户复制到内核空间,数据拷贝具有一定的开销。
select返回的是含有所有文件描述符的数组,用户需要遍历整个数组才能发现socket产生了事件。
二、epoll 高效的原因
select的问题主要是第2和第3点,epoll对此改善,epoll通过在Linux内核中申请一个简易的文件系统(文件系统一般用什么数据结构实现?B+树),将原来的select/epoll函数调用的过程分为3 个部分:
调用epoll_create( ) 建立一个epoll对象(在epoll文件系统中为这个句柄对象分配资源)
调用epoll_ctl( ) 向epoll对象中添加socket关注的事件
调用epoll_wait( ) 收集发生的事件的socket
三、调用过程
调用epoll_create时,Linux内核会创建一个 struct eventpoll 对象,就是epollfd 对应的主要数据结构。
struct eventpoll{
spin_lock_t lock; // 对本数据结构的访问
struct mutex mtx; // 防止使用时被删除
wait_queue_head_t wq; // sys_epoll_wait()使用的等待队列
wait_queue_head_t poll_wait; // file->poll()使用的等待队列
struct list_head rdllist; // 事件满足条件的链表 :双链表中则存放着将要通过epoll_wait返回给用户的满足条件的事件
struct rb_root rbr; // 用于管理所有fd的红黑树:红黑树的根节点,这颗树中存储着所有添加到epoll中的需要监控的事件
struct epitem* ovflist; // 将事件到达的fd进行链接起来发送至用户空间
};
这个结构体用于存放每次调用epool_ctrl 时添加的事件,即存放注册的一些事件。这些事件都会存在红黑树rob 上。在添加重复的事件时,可以快速地找到。而所有添加epoll对象中事件都会与网卡驱动程序建立回调关系ep_poll_callback : 将发生的事件添加到就绪列表rdlist中去。在epoll中,每个事件都会创建struct epitem 对象:
struct epitem{
struct rb_node rbn; // 红黑树节点
struct list_head rdllink; // 双向链表节点
struct epoll_filefd ffd; // 事件句柄信息
struct eventpoll* ep; // 指向其所属的eventpoll对象
struct epoll_event event; // 期待发生的事件类型
};