Linux知识点 | select和epoll的区别、原理、性能、限制

IO多路复用

IO复用模型在阻塞lO模型上多了一个 select函数， select函数有一个参数是文件描述符集合，意思就是对这些的文件描述符进行循环监听，当某个文件描述符就绪的时候，就对这个文件描符进行处理。
这种O模型是属于阻塞的IO。但是由于它可以对多个文件描述符进行阻塞监听，所以它的效率比阻塞IO模型高效。

IO多路复用就是我们说的 select,poll, epoll。select/epoll的好处就在于单个process就可以同时处理多个网络连接的IO。它的基本原理就是 select,poll,epoll这个 function会不断的轮询所负责的所有 socket，当某个socket有数据到达了，就通知用户进程当用户进程调用了 select，那么整个进程会被block，而同时，kernel会“监视”所有select负责的socket，当任何一个socket中的数据准备好了，select就会返回。这个时候用户进程再调用read操作，将数据从kernel拷贝到用户进程。

所以，IO多路复用的特点是通过一种机制—个进程能同时等待多个文件描述符，而这些文件描述符（套接字描述符）其中的任意一个进入读就绪状态，select0函数就可以返回。

I/O多路复用和阻塞O其实并没有太大的不同，事实上，还更差一些。因为这里需要使用两个system call（ select和 recvfrom），而 blocking IO只调用了一个system call （recvfrom）。但是，用 select的优势在于它可以同时处理多个 connection。
所以，如果处理的连接数不是很高的话，使用 select/epoll的web server不一定比使用muti-threading+blocking IO的 web server性能更好，可能延迟还更大。 select/epoll的优势并不是对于单个连接能处理得更快，而是在于能处理更多的连接。

在IO multiplexing Model中，实际中对于每个socekt，一般都设置成为non-blocking，但是，如上图所示，整个用户的process其实是直被block的，只不过process是被select这函数block，而不是被 socket lO给block。

select

• select相关调用函数

void FD_ZERO(fd_set *set);          // 将set清空为0
void FD_CLR(int fd, fd_set *set);	// 将fd从set中清除出去
void FD_SET(int fd, fd_set *set);	// 将fd设置到set中去
int FD_ISSET(int fd, fd_set *set);	// 判断fd是否在集合中

• select在使用前，先将需要监控的描述符对应的bit位置1，是最初解决IO阻塞问题的方法。用结构体fd_set來告诉内核监听多个文件描述符，该结构体被称为描述符集。由数组来维持哪些描述符被置位了。对结构体的操作封装在三个宏定义中。通过轮寻来查找是否有描述符要被处理。
• 存在的问题：
  1.内置数组的形式使得select的最大文件数受限与FD_SIZE(1024)；
  2.每次调用 select前都要重新初始化描述符集，将fd从用户态拷贝到内核态，每次调用 select后，都霈要将f从內核态拷贝到用户态；
  3.轮寻排查当文件描述符个数很多时，效率很低。

poll

• 通过一个可变长度的数组解决了select文件描述符受限的问题。数组中元素是结构体，该结构体保存描述符的信息，每增加个文件描述符就向数组中加入一个结构体，结构体只需拷贝一次到内核态。poll解决了select重复初始化的问题。轮寻排查的问题未解决。

epoll

• epoll函数调用顺序

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);

• 首先创建一个epoll象，然后使用epoll_ctl对这个对象进行操作，把需要监控的描述添加进去，这些描述如将会以epoll_even结构体的形式组成一颗红黑树，接着阻塞在epoll_wait，进入大循环，当某个fd上有事件发生时，内核将会把其对应的结构体放入到一个链表中，返回有事件发生的链表。
• epoll轮寻排查所有文件描述符的效率不高，使服务器并发能力受限。因此，epoll采用只返回状态发生变化的文件描述符，便解决了轮寻的瓶颈。epoll对文件描述符的操作有两种模式：LT（ level trigger）和ET（ edge trigger）。LT模式是默以认模式。
  1.LT是缺省的工作方式，并且同时支持 block和no- block socket在这种做法中，内核告诉你一个文件描述符是否就绪了，然后你可以对这个就绪的fd进行IO操作。如果你不作任何操作，内核还是会继续通知你的。
  2.ET模式是高速工作方式，只支持no-block socket。在这种模式下，当描述符从未就绪变为就绪时，内核通过epoll告诉你。然后它会假设你知道文件描述符已经就绪，并且不会再为那个文件描述符发送更多的就绪通知，直到你做了某些操作导致那个文件描述符不再为就绪状态了（比如，你在发送，接收或者接收请求，或者发送接收的数据少于一定量时导致了一个EWOULDBLOCK错误）。但是请注意，如果一直不对这个fd作IO操作（从而导致它再次变成未就绪），内核不会发送更多的通知 only once。
  ET模式在很大程度上减少了epoll事件被重复触发的次数，因此效率要比LT模式高。epoll作在ET模式的时候，必须使用非阻塞套接口，以避免由于一个文件句柄的阻塞读/阻塞写操作把处理多个文件描述符的任务饿死。
  3.LT模式与ET模式的区别：
  LT模式：当 epoll_wai检测到描述符事件发生并将此事件通知应用程序，应用程序可以不立即处理该事件。下次调用epoll_wait时，会再次响应应用程序并通知此事件。
  ET模式：当 epoll_wait检测到描述符事件发生并将此事件通知应用程序，应用程序必须立即处理该事件。如果不处理，下次调用epoll_wait时，不会再次响应应用程序并通知此事件。