I/O复用:通过一种机制,可以监视多个描述符,一旦某个描述符就绪(一般是读就绪或者写就绪),能够通知程序进行相应的读写操作
select
- 函数原型
#include <sys/select.h>
int select(int nfds,fd_set *readfds,fd_set *writefds,fd_set *exceptfds,struct timeval *timeout);
//访问fd_set 结构体指针类型的位
FD_SET(int fd, fd_set *fdset); //向集合添加描述字s
FD_CLR(int fd, fd_set *fdset); //
FD_ISSET(int fd, fd_set *fdset);
FD_ZERO(fd_set *fdset);
// fd 结构体类型定义
typedef struct
{
#ifdef__USE_XOPEN
__fd_maskfds_bits[__FD_SETSIZE/__NFDBITS];
#define__FDS_BITS(set)((set)->fds_bits)
#else
__fd_mask__fds_bits[__FD_SETSIZE/__NFDBITS];
#define__FDS_BITS(set)((set)->__fds_bits)
#endif
}fd_set;
- 参数
(1)nfds 指定被监听文件描述符总数 (通常被设置为select监听的所有描述符中的最大值max fd+1,因为文件描述符是从0开始计数的)
(2)指针(可选参数)
readfds 指向一组等待可读性检查的套接口
writefds 指向一组等待可写性检查的套接口
exceptfds 指向一组等待错误检查的套接口
指向 可读;可写;异常;等异常描述符集合
内核将修改它们来通知应用程序哪些文件描述符以及就绪
(3)timeout用来设置select函数的超时时间
超时时间
#include <sys/time.h>
struct timeval{
long tv_sec; // seconds
long tv_usec; // microseconds
};
struct timespec{
long tv_sec;
long tv_nsec;
}
(1)永远等待下去:仅在有一个描述字准备好I/O时才返回。为此,把该参数设置为空指针NULL。
(2)等待一段固定时间:在有一个描述字准备好I/O时返回,但是不超过由该参数所指向的timeval结构中指定的秒数和微秒数。
(3)根本不等待:检查描述字后立即返回,这称为轮询。为此,该参数必须指向一个timeval结构,而且其中的定时器值必须为0。
poll
- 函数原型
#include <poll.h>
int poll(struct pollfd* fds,nfds_t nfds,int timeout); //
struct pollfd{
int fd;
short event;
short revents;
}
- 参数
(1)fd 指向pollfd结构体数组,指定所有我们感兴趣的文件描述符上发生的可读吗,可写和异常事件
struct pollfd{
int fd; // 文件描述符
short events; // 注册的事件
short revents; // 实际发生的事件,由内核填充
}
poll 支持的事件类型
合法的事件如下:
POLLIN 有数据可读。
POLLRDNORM 有普通数据可读。
POLLRDBAND 有优先数据可读。
POLLPRI 有紧迫数据可读。
POLLOUT 写数据不会导致阻塞。
POLLWRNORM 写普通数据不会导致阻塞。
POLLWRBAND 写优先数据不会导致阻塞。
POLLMSGSIGPOLL 消息可用。
(2)nfds 参数指定被监听事件集合fds大小
(3)timeout 参数指定poll的超时值
epoll
- 函数原型
#include <sys/epoll.h>
int epoll_create(int size)
int epoll_ctl(int epfd,int op,int fd,struct epoll_event &event)
int epoll_wait(int epfd,struct epoll_event* events,int maxevents,int timeout);
(1)epoll_create
创建一个epoll的句柄,size用来告诉内核这个监听的数目一共有多大。这个参数不同于select()中的第一个参数,给出最大监听的fd+1的值。需要注意的是,当创建好epoll句柄后,它就是会占用一个fd值,在linux下如果查看/proc/进程id/fd/,是能够看到这个fd的,所以在使用完epoll后,必须调用close()关闭,否则可能导致fd被耗尽。
(2)epoll_ctl
epoll的事件注册函数,它不同与select()是在监听事件时告诉内核要监听什么类型的事件epoll的事件注册函数,它不同与select()是在监听事件时告诉内核要监听什么类型的事件,而是在这里先注册要监听的事件类型。第一个参数是epoll_create()的返回值,第二个参数表示动作,用三个宏来表示:
EPOLL_CTL_ADD:注册新的fd到epfd中;
EPOLL_CTL_MOD:修改已经注册的fd的监听事件;
EPOLL_CTL_DEL:从epfd中删除一个fd;
第三个参数是需要监听的fd,第四个参数是告诉内核需要监听什么事
(3)epoll_wait
等待事件的产生,类似于select()调用。参数events用来从内核得到事件的集合,maxevents告之内核这个events有多大,这个maxevents的值不能大于创建epoll_create()时的size,参数timeout是超时时间(毫秒,0会立即返回,-1将不确定,也有说法说是永久阻塞)。该函数返回需要处理的事件数目,如返回0表示已超时。
- 参数
struct epoll_event
{
_uint32_t events; // epoll 事件
epoll_data_t data; // 用户数据
}
typedef union epoll_data
{
void* ptr;
int fd;
uint_32_t u32;
uint_64_t u64;
}
epoll 工作模式
(1)LT 默认工作模式,相当于一个效率高的poll
当epoll_wait检测到描述符事件发生并将此事件通知应用程序,应用程序可以不立即处理该事件。下次调用epoll_wait时,会再次响应应用程序并通知此事件。
(2)ET 当往epoll内核事件表中注册一个文件描述符上的EPOLLET
当epoll_wait检测到描述符事件发生并将此事件通知应用程序,应用程序必须立即处理该事件。如果不处理,下次调用epoll_wait时,不会再次响应应用程序并通知此事件。
附:
(1). select,poll,epoll本质上都是同步I/O,因为他们都需要在读写事件就绪后自己负责进行读写,也就是说这个读写过程是阻塞的,而异步I/O则无需自己负责进行读写,异步I/O的实现会负责把数据从内核拷贝到用户空间。
(2).ET和LT工作模式上的差别
如何索引poll和epoll就绪的文件描述符
int ret = poll(fds,MAX_EVENT_NUMBER,-1);
for(int i=0;i<MAX_EVENT_NUMBER;++i)
{
if(fds[i].revent & POLLIN)
{
int sockfd = fds[i].fd;
// 处理socket
}
}
int ret = epoll_wait(epollfd,events,MAX_EVENT_NUMBER,-1);
for(int i=0;i<ret;++i) // 仅遍历就绪ret个文件描述符
{
int sockfd=events[i].data.fd;
//socket肯定已经就绪,直接处理
}
(ET模式在很大程度上减少了epoll事件被重复触发的次数,因此效率要比LT模式高。epoll工作在ET模式的时候,必须使用非阻塞套接口,以避免由于一个文件句柄的阻塞读/阻塞写操作把处理多个文件描述符的任务饿死)