【计算机网络笔记九】I/O 多路复用

阻塞 IO 和 非阻塞 IO

阻塞 I/O 和 非阻塞 I/O 的主要区别：

• 阻塞 I/O 执行用户程序操作是同步的，调用线程会被阻塞挂起，会一直等待内核的 I/O 操作完成才返回用户进程，唤醒挂起线程
• 非阻塞 I/O 执行用户程序操作是异步的，读写操作调用后内核会立即返回给用户一个状态值，用户可以立即执行其他操作。

阻塞 IO 模型

应用程序调用一个 IO 函数，导致应用程序阻塞，等待数据准备好。 如果数据没有准备好，一直等待….数据准备好了，从内核拷贝到用户空间，IO 函数返回成功指示。

• 当调用 read() 函数时，系统首先查是否有准备好的数据。如果数据没有准备好，那么系统就处于等待状态。当数据准备好后，将数据从系统缓冲区复制到用户空间，然后该函数返回。在套接应用程序中，当调用 read() 函数时，未必用户空间就已经存在数据，那么此时 read() 函数就会处于等待状态。

非阻塞 IO 模型

我们把一个 SOCKET 接口设置为非阻塞就是告诉内核，当所请求的 I/O 操作无法完成时，不要将进程睡眠，而是返回一个错误。这样我们的 I/O 操作函数将不断的测试数据是否已经准备好，如果没有准备好，继续测试，直到数据准备好为止。在这个不断测试的过程中，会大量的占用 CPU 的时间。该模型不被
推荐。

IO 复用模型

I/O 复用模型会用到 select、poll、epoll 函数，这几个函数也会使进程阻塞，但是和阻塞 I/O 所不同的的，这两个函数可以同时阻塞多个 I/O 操作。而且可以同时对多个读操作，多个写操作的 I/O 函数进行检测，直到有数据可读或可写时，才真正调用 I/O 操作函数。

当用户进程调用了 select，那么整个进程会被 block；而同时，kernel 会“监视”所有 select 负责的 socket；当任何一个 socket 中的数据准备好了，select 就会返回。这个时候，用户进程再调用 read 操作，将数据从 kernel 拷贝到用户进程。

这个图和 blocking IO 的图其实并没有太大的不同，事实上还更差一些。因为这里需要使用两个系统调用，而 blocking IO 只调用了一个系统调用。但是，用 select 的优势在于它可以同时处理多个 connection。

（所以，如果处理的连接数不是很高的话，使用 select/epoll 的 web server 不一定比使用 multi-threading + blocking IO 的 web server 性能更好，可能延迟还更大。select/epoll 的优势并不是对于单个连接能处理得更快，而是在于能处理更多的连接。）

信号驱动 IO 模型

简介：两次调用，两次返回

首先我们允许套接口进行信号驱动 I/O，并安装一个信号处理函数，进程继续运行并不阻塞。当数据准备好时，进程会收到一个 SIGIO 信号，可以在信号处理函数中调用 I/O 操作函数处理数据。

异步 IO 模型

当一个异步过程调用发出后，调用者不能立刻得到结果。实际处理这个调用的部件在完成后，通过状态、通知和回调来通知调用者的输入输出操作。

多路复用的概念

先看一个例子

这里一旦使用 fgets() 方法等待标准输入，就没有办法在 Socket 有数据的时候读出数据：

I/O 多路复用：把标准输入、Socket等都看做 I/O 的一路，多路复用的意思，就是在任何一路 I/O 有事件发生的情况下，通知应用程序去处理相应的 I/O 事件

多路中的每一路本质上就是一个 fd：

什么是 I/O 事件，例如：

• I/O 事件一：fd 对应的内核缓冲区来了数据，可读；
• I/O 事件二：fd 对应的内核缓冲区空闲，可写；
• I/O 事件三：fd 出现异常

多路复用技术的实现主要有：

• ① select
• ② poll
• ③ epoll

I/O 多路复用就是通过一种机制，一个进程可以监视多个描述符，一旦某个描述符就绪（一般是读就绪或者写就绪），能够通知程序进行相应的读写操作。但 select，poll，epoll 本质上都是同步 I/O，因为他们都需要在读写事件就绪后自己负责进行读写，也就是说这个读写过程是阻塞的，而异步 I/O 则无需自己负责进行读写，异步 I/O 的实现会负责把数据从内核拷贝到用户空间。

select 多路复用

首先，应用进程需要告诉内核它感兴趣的 I/O 事件，然后，内核感知设备发生的 I/O 事件，然后通知应用进程：你感兴趣的 fd 发生了你感兴趣的 I/O 事件类型。

多路中的每一路本质上就是一个 fd。

select函数定义如下：

/* According to POSIX.1-2001 */
#include <sys/select.h>
/* According to earlier standards */ 
#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); 

fd_set

其中 fd_set 结构体定义如下：

#define __FD_SETSIZE 1024 

typedef struct {
   
    unsigned long fds_bits[__FD_SETSIZE / (8 * sizeof(long))]; 
} __kernel_fd_set; 

这里一个 long 占 8 个字节（64位系统），一个字节占 8 位，8 * sizeof(long) 总共占 64 位。

因此 __FD_SETSIZE / (8 * sizeof(long)) 的值是 1024/64 = 16，即数组大小16个（0-15），16个 long 数组总共有 64*16 = 1024 位 。

所以，fd_set 是长度为 1024 的比特位数组，数组索引表示文件描述符。

如何设置这些描述符集合

void FD_CLR(int fd, fd_set *set); 
int FD_ISSET(int fd, fd_set *set); 
void FD_SET(int fd, fd_set *set);
void FD_ZERO(fd_set *set); 

• FD_ZERO：用来将这个 set 的所有元素都设置成0；
• FD_SET：set[fd] = 1;
• FD_CLR：set[fd] = 0;