Linux平台上传统的I/O复用模型有select和poll模型,但二者在解决大量并发请示时却表现不佳。与select/poll相比,epoll的优点体现在以下三个方面:
1) 支持进程打开大数目的文件描述符(FD)
select最大的缺点是一个进程所打开的文件描述符是有一定限制的,默认值是1024,这对于那些需要支持成千上万连接数目的服务器来说显然是太少了。epoll则没有这个限制,它所支持的文件描述符上限是最大可以打开的文件数目,具体数目和系统内存大小有关。
2) I/O效率不随文件描述符数量增加而线性下降
传统的select/poll保存一个很大的文件描述符集合,但是任一时间只有部分的FD是“活跃”的,但是select/poll每次调用都会线性扫描全部的集合,导致效率随着FD数目增加而线性下降,但是epoll不存在这个问题,它只会对“活跃”的FD进行操作,这是因为内核实现中epoll是根据每个FD上面的callback函数实现的。只有“活跃”的FD才会主动去调用callback函数,效率远在select/poll之上。
3) 加速内核与用户空间的消息传递
无论是select还是poll都需要内核把FD上发生的消息通知给用户空间,在这一点上poll根据文件描述符组织信息带来了较高的效率,而epoll也继承丁poll的这个优点,并做了更高效的改进:poll中的文件描述符集合保存在程序的地址空间,而epoll为了减少用户空间和内核空间之问的拷贝,使用mmap机制把这些文件描述符集合移动到内核中。应用程序通过系统调用给内核提供了一个需要监控的文件描述符列表,然后使用另外一个不同的系统调用来监控这些文件描述符。当内核发现监控的事件发生时,就发出一个通知,而应用程序此时只需要在内核中对前面建立的列表中查询对应的文件描述符即可。基于这些调整,epoll具有良好的扩展性,当用于监控大量描述符时,可以带来很大的性能提升。
【epoll 使用方法】
1. int epoll_create(int size);
创建一个epoll的句柄,size用来告诉内核这个监听的数目一共有多大。这个参数不同于select()中的第一个参数,给出最大监听的fd+1的值。需要注意的是,当创建好epoll句柄后,它就是会占用一个fd值,在linux下如果查看/proc/进程id/fd/,是能够看到这个fd的,所以在使用完epoll后,必须调用close()关闭,否则可能导致fd被耗尽。
2. int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event);
epoll的事件注册函数,它不同与select()是在监听事件时告诉内核要监听什么类型的事件,而是在这里先注册要监听的事件类型。第一个参数是epoll_create()的返回值,第二个参数表示动作,用三个宏来表示: EPOLL_CTL_ADD:注册新的fd到epfd中; EPOLL_CTL_MOD:修改已经注册的fd的监听事件; EPOLL_CTL_DEL:从epfd中删除一个fd; 第三个参数是需要监听的fd,第四个参数是告诉内核需要监听什么事,struct epoll_event结构如下:
typedef union epoll_data {
void *ptr;
int fd;
__uint32_t u32;
__uint64_t u64;
} epoll_data_t;
struct epoll_event {
__uint32_t events; /* Epoll events */
epoll_data_t data; /* User data variable */
};
events可以是以下几个宏的集合:
EPOLLIN :表示对应的文件描述符可以读(包括对端SOCKET正常关闭); EPOLLOUT:表示对应的文件描述符可以写; EPOLLPRI:表示对应的文件描述符有紧急的数据可读(这里应该表示有带外数据到来); EPOLLERR:表示对应的文件描述符发生错误; EPOLLHUP:表示对应的文件描述符被挂断; EPOLLET: 将EPOLL设为边缘触发(Edge Triggered)模式,这是相对于水平触发(Level Triggered)来说的。 EPOLLONESHOT:只监听一次事件,当监听完这次事件之后,如果还需要继续监听这个socket的话,需要再次把这个socket加入到EPOLL队列里
3. int epoll_wait(int epfd, struct epoll_event * events, int maxevents, int timeout);
等待事件的产生,类似于select()调用。参数events用来从内核得到事件的集合,maxevents告之内核这个events有多大,这个 maxevents的值不能大于创建epoll_create()时的size,参数timeout是超时时间(毫秒,0会立即返回,-1将不确定,也有说法说是永久阻塞)。该函数返回需要处理的事件数目,如返回0表示已超时。