首先io复用的概念是解决可以让一个进程同时为多个客户端端提供服务,目前的常用的IO复用模型有三种:select,poll,epoll。在时间复杂度分析,select时间复杂度O(n),poll时间复杂度O(n),epoll时间复杂度O(1);poll本质上和select没有区别,实现方式是一样的,存储方式和数据结构有区别,下边主要讲解epoll和select的区别。
先明确几个概念:
I/O 同步和异步的区别在于:将数据从内核复制到用户空间时,用户进程是否会阻塞
I/O 阻塞和非阻塞的区别在于:进程发起系统调用后,是会被挂起直到收到数据后在返回、还是立即返回成功或错误
系统为每一个进程维护了一个文件描述符表,表示该进程打开文件的记录表,而文件描述符实际上就是这张表的索引。当进程打开(open)或者新建(create)文件时,内核会在该进程的文件列表中新增一个表项,同时返回一个文件描述符 —— 也就是新增表项的下标
socket 包含地址、类型和通信协议等信息,就是对底层的封装屏蔽底层tcp/udp fd的创建连接过程,返回一个连接或者fd;进程间通信规则的高层抽象,而 fd 提供的是底层的具体实现,socket 通信,实际上就是通过文件描述符 fd 读写文件。这也符合 Unix“一切皆文件”的哲学。
select,poll,epoll都是IO多路复用的机制。I/O多路复用就通过一种机制,可以监视多个描述符,一旦某个描述符就绪(一般是读就绪或者写就绪),能够通知程序进行相应的读写操作。但select,poll,epoll本质上都是同步I/O,因为他们都需要在读写事件就绪后自己负责进行读写,也就是说这个读写过程是阻塞的,而异步I/O则无需自己负责进行读写,异步I/O的实现会负责把数据从内核拷贝到用户空间。
select实现如下图,
![86277f5e774b0cdd46fe104f3455404a.png](https://i-blog.csdnimg.cn/blog_migrate/783ad9bbc54abd2baded8f4e62f29986.jpeg)
int select( int nfds, fd_set * restrict readfds, fd_set * restrict writefds, fd_set * restrict errorfds, struct timeval * restrict timeout);
readfds、writefds、errorfds 是三个文件描述符集合。select 会遍历每个集合的前 nfds 个描述符,分别找到可以读取、可以写入、发生错误的描述符,统称为“就绪”的描述符。然后用找到的子集替换参数中的对应集合,返回所有就绪描述符的总数。timeout 参数表示调用 select 时的阻塞时长。fd_set 的二进制每一位来表示一个文件描述符。某一位为 1,表示对应的文件描述符已就绪。比如比如设 fd_set 长度为 1 字节,则一个 fd_set 变量最大可以表示 8 个文件描述符。当 select 返回 fd_set = 00010011 时,表示文件描述符 1、2、5 已经就绪,调用 select 时会陷入内核,这时需要将参数中的 fd_set 从用户空间拷贝到内核空间,内核需要遍历传递进来的所有 fd_set 的每一位(性能开销大),不管它们是否就绪,同时能够监听的文件描述符数量太少(32位1024)。受限于 sizeof(fd_set) 的大小,在编译内核时就确定了且无法更改。一般是 1024,不同的操作系统不相同
epoll 是对 select 和 poll 的改进,避免了“性能开销大”和“文件描述符数量少”两个缺点;epoll 实例内部存储:
监听列表:所有要监听的文件描述符,使用红黑树
就绪列表:所有就绪的文件描述符,使用链表
epoll通过内核和用户空间共享一块内存来实现消息传递,epoll_create 会创建一个 epoll 实例,同时返回一个引用该实例的文件描述符,所以epoll也会占用一个fd,所以在使用完 epoll 后,必须调用 close(epfd) 关闭对应的文件描述符。epoll_ctl 绑定fd指向epoll实例,就是要监听的fd和event,将文件描述符 fd 添加到 epoll 实例的监听列表里,同时为 fd 设置一个回调函数,并监听事件 event。当 fd 上发生相应事件时,会调用回调函数,将 fd 添加到 epoll 实例的就绪队列上。epoll_wait就相当于select,epoll_ctl 中为每个文件描述符指定了回调函数,并在就绪时将其加入到就绪列表,因此 epoll 不需要像 select 那样遍历检测每个文件描述符,只需要判断就绪列表是否为空即可。这样,在没有描述符就绪时,epoll 能更早地让出系统资源