Linux I/O复用中select poll epoll模型的介绍及其优缺点的比较

关于I/O多路复用：

I/O多路复用(又被称为“事件驱动”)，首先要理解的是，操做系统为你提供了一个功能，当你的某个socket可读或者可写的时候，它能够给你一个通知。这样当配合非阻塞的socket使用时，只有当系统通知我哪一个描述符可读了，我才去执行read操做，能够保证每次read都能读到有效数据而不作纯返回-1和EAGAIN的无用功。写操做相似。操做系统的这个功能经过select/poll/epoll之类的系统调用来实现，这些函数均可以同时监视多个描述符的读写就绪情况，这样，**多个描述符的I/O操做都能在一个线程内并发交替地顺序完成，这就叫I/O多路复用，这里的“复用”指的是复用同一个线程。

1、I/O复用之select

一、介绍： 
select系统调用的目的是：在一段指定时间内，监听用户感兴趣的文件描述符上的可读、可写和异常事件。poll和select应该被归类为这样的系统调用，它们能够阻塞地同时探测一组支持非阻塞的IO设备，直至某一个设备触发了事件或者超过了指定的等待时间——也就是说它们的职责不是作IO，而是帮助调用者寻找当前就绪的设备。 
下面是select的原理图： 

二、select系统调用API以下：

#include <sys/time.h>
#include <sys/types.h>
#include <unistd.h>
int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, struct timeval *timeout);

• 1
• 2
• 3
• 4

fd_set结构体是文件描述符集，该结构体其实是一个整型数组，数组中的每一个元素的每一位标记一个文件描述符。fd_set能容纳的文件描述符数量由FD_SETSIZE指定，通常状况下，FD_SETSIZE等于1024，这就限制了select能同时处理的文件描述符的总量。

三、下面介绍一下各个参数的含义： 
1）nfds参数指定被监听的文件描述符的总数。一般被设置为select监听的全部文件描述符中最大值加1； 
2）readfds、writefds、exceptfds分别指向可读、可写和异常等事件对应的文件描述符集合。这三个参数都是传入传出型参数，指的是在调用select以前，用户把关心的可读、可写、或异常的文件描述符经过FD_SET（下面介绍）函数分别添加进readfds、writefds、exceptfds文件描述符集，select将对这些文件描述符集中的文件描述符进行监听，若是有就绪文件描述符，select会重置readfds、writefds、exceptfds文件描述符集来通知应用程序哪些文件描述符就绪。这个特性将致使select函数返回后，再次调用select以前，必须重置咱们关心的文件描述符，也就是三个文件描述符集已经不是咱们以前传入 的了。 
3）timeout参数用来指定select函数的超时时间（下面讲select返回值时还会谈及）。

struct timeval
{
    long tv_sec;        //秒数
    long tv_usec;       //微秒数
};

• 1
• 2
• 3
• 4
• 5

四、下面几个函数（宏实现）用来操纵文件描述符集：

void FD_SET(int fd, fd_set *set);   //在set中设置文件描述符fd
void FD_CLR(int fd, fd_set *set);   //清除set中的fd位
int  FD_ISSET(int fd, fd_set *set); //判断set中是否设置了文件描述符fd
void FD_ZERO(fd_set *set);          //清空set中的全部位（在使用文件描述符集前，应该先清空一下）
    //（注意FD_CLR和FD_ZERO的区别，一个是清除某一位，一个是清除全部位）

• 1
• 2
• 3
• 4
• 5

五、select的返回状况： 
1）若是指定timeout为NULL，select会永远等待下去，直到有一个文件描述符就绪，select返回； 
2）若是timeout的指定时间为0，select根本不等待，当即返回； 
3）若是指定一段固定时间，则在这一段时间内，若是有指定的文件描述符就绪，select函数返回，若是超过指定时间，select一样返回。 
4）返回值状况： 
a)超时时间内，若是文件描述符就绪，select返回就绪的文件描述符总数（包括可读、可写和异常），若是没有文件描述符就绪，select返回0； 
b)select调用失败时，返回 -1并设置errno，若是收到信号，select返回 -1并设置errno为EINTR。

六、文件描述符的就绪条件： 
在网络编程中， 
1）下列状况下socket可读： 
a) socket内核接收缓冲区的字节数大于或等于其低水位标记SO_RCVLOWAT； 
b) socket通讯的对方关闭链接，此时该socket可读，可是一旦读该socket，会当即返回0（能够用这个方法判断client端是否断开链接）； 
c) 监听socket上有新的链接请求； 
d) socket上有未处理的错误。 
2）下列状况下socket可写： 
a) socket内核发送缓冲区的可用字节数大于或等于其低水位标记SO_SNDLOWAT； 
b) socket的读端关闭，此时该socket可写，一旦对该socket进行操做，该进程会收到SIGPIPE信号； 
c) socket使用connect链接成功以后； 
d) socket上有未处理的错误。

2、I/O复用之poll

一、poll系统调用的原理与原型和select基本相似，也是在指定时间内轮询必定数量的文件描述符，以测试其中是否有就绪者。

二、poll系统调用API以下：

#include <poll.h>
int poll(struct pollfd *fds, nfds_t nfds, int timeout);

• 1
• 2

三、下面介绍一下各个参数的含义： 
1）第一个参数是指向一个结构数组的第一个元素的指针，每一个元素都是一个pollfd结构，用于指定测试某个给定描述符的条件。

struct pollfd
{
    int fd;             //指定要监听的文件描述符
    short events;       //指定监听fd上的什么事件
    short revents;      //fd上事件就绪后，用于保存实际发生的时间
}；

• 1
• 2
• 3
• 4
• 5
• 6

待监听的事件由events成员指定，函数在相应的revents成员中返回该描述符的状态（每一个文件描述符都有两个事件，一个是传入型的events，一个是传出型的revents，从而避免使用传入传出型参数，注意与select的区别），从而告知应用程序fd上实际发生了哪些事件。events和revents均可以是多个事件的按位或。 
2）第二个参数是要监听的文件描述符的个数，也就是数组fds的元素个数； 
3）第三个参数意义与select相同。

四、poll的事件类型： 
 
在使用POLLRDHUP时，要在代码开始处定义_GNU_SOURCE

五、poll的返回状况： 
与select相同。

3、I/O复用之epoll

一、介绍： 
epoll 与select和poll在使用和实现上有很大区别。首先，epoll使用一组函数来完成，而不是单独的一个函数；其次，epoll把用户关心的文件描述符上的事件放在内核里的一个事件表中，无须向select和poll那样每次调用都要重复传入文件描述符集合事件集。

二、建立一个文件描述符，指定内核中的事件表：

#include<sys/epoll.h>
int epoll_create(int size);
    //调用成功返回一个文件描述符，失败返回-1并设置errno。

• 1
• 2
• 3

size参数并不起做用，只是给内核一个提示，告诉它事件表须要多大。该函数返回的文件描述符指定要访问的内核事件表，是其余全部epoll系统调用的句柄。

三、操做内核事件表：

#include<sys/epoll.h>
int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event);
    //调用成功返回0，调用失败返回-1并设置errno。

• 1
• 2
• 3

epfd是epoll_create返回的文件句柄，标识事件表，op指定操做类型。操做类型有如下3种：

a）EPOLL_CTL_ADD， 往事件表中注册fd上的事件；
b）EPOLL_CTL_MOD， 修改fd上注册的事件；
c）EPOLL_CTL_DEL， 删除fd上注册的事件。

• 1
• 2
• 3

event参数指定事件，epoll_event的定义以下：

struct epoll_event
{
    __int32_t events;       //epoll事件
    epoll_data_t data;      //用户数据
};

typedef union epoll_data
{
    void *ptr;
    int  fd;
    uint32_t u32;
    uint64_t u64;
}epoll_data;

• 1
• 2
• 3
• 4
• 5
• 6
• 7
• 8
• 9
• 10
• 11
• 12
• 13

在使用epoll_ctl时，是把fd添加、修改到内核事件表中，或从内核事件表中删除fd的事件。若是是添加事件到事件表中，能够往data中的fd上添加事件events，或者不用data中的fd，而把fd放到用户数据ptr所指的内存中（由于epoll_data是一个联合体，只能使用其中一个数据）,再设置events。

三、epoll_wait函数 
epoll系统调用的最关键的一个函数epoll_wait，它在一段时间内等待一个组文件描述符上的事件。

#include<sys/epoll.h>
int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout);
    //函数调用成功返回就绪文件描述符个数，失败返回-1并设置errno。

• 1
• 2
• 3

timeout参数和select与poll相同，指定一个超时时间；maxevents指定最多监听多少个事件；events是一个传出型参数，epoll_wait函数若是检测到事件就绪，就将全部就绪的事件从内核事件表（epfd所指的文件）中复制到events指定的数组中。这个数组用来输出epoll_wait检测到的就绪事件，而不像select与poll那样，这也是epoll与前者最大的区别，下文在比较三者之间的区别时还会说到。

4、三组I/O复用函数的比较

相同点： 
1）三者都须要在fd上注册用户关心的事件； 
2）三者都要一个timeout参数指定超时时间； 
不一样点： 
1）select： 
a）select指定三个文件描述符集，分别是可读、可写和异常事件，因此不能更加细致地区分全部可能发生的事件； 
b）select若是检测到就绪事件，会在原来的文件描述符上改动，以告知应用程序，文件描述符上发生了什么时间，因此再次调用select时，必须先重置文件描述符； 
c）select采用对全部注册的文件描述符集轮询的方式，会返回整个用户注册的事件集合，因此应用程序索引就绪文件的时间复杂度为O(n)； 
d）select容许监听的最大文件描述符个数一般有限制，通常是1024，若是大于1024，select的性能会急剧降低； 
e）只能工做在LT模式。

2）poll： 
a）poll把文件描述符和事件绑定，事件不但能够单独指定，并且能够是多个事件的按位或，这样更加细化了事件的注册，并且poll单独采用一个元素用来保存就绪返回时的结果，这样在下次调用poll时，就不用重置以前注册的事件； 
b）poll采用对全部注册的文件描述符集轮询的方式，会返回整个用户注册的事件集合，因此应用程序索引就绪文件的时间复杂度为O(n)。 
c）poll用nfds参数指定最多监听多少个文件描述符和事件，这个数能达到系统容许打开的最大文件描述符数目，即65535。 
d）只能工做在LT模式。

3）epoll： 
a）epoll把用户注册的文件描述符和事件放到内核当中的事件表中，提供了一个独立的系统调用epoll_ctl来管理用户的事件，并且epoll采用回调的方式，一旦有注册的文件描述符就绪，讲触发回调函数，该回调函数将就绪的文件描述符和事件拷贝到用户空间events所管理的内存，这样应用程序索引就绪文件的时间复杂度达到O(1)。 
b）epoll_wait使用maxevents来制定最多监听多少个文件描述符和事件，这个数能达到系统容许打开的最大文件描述符数目，即65535； 
c）不只能工做在LT模式，并且还支持ET高效模式（即EPOLLONESHOT事件，读者能够本身查一下这个事件类型，对于epoll的线程安全有很好的帮助）。

select/poll/epoll总结：