IO多路复用

网络编程里常听到阻塞IO、非阻塞IO、同步IO、异步IO等概念，本篇文章来对这些进行简要的整理，笔者对这些也只是懂得比较浅，欢迎大家评论。

在介绍之前，首先来介绍一些相关概念。

1 相关概念

注意：咱们下面说的都是Linux环境下，和Windows不一样

1.1 用户空间和内核空间

　　现在操作系统都采用虚拟寻址，处理器先产生一个虚拟地址，通过地址翻译成物理地址（内存的地址），再通过总线的传递，最后处理器拿到某个物理地址返回的字节。

　　对32位操作系统而言，它的寻址空间（虚拟存储空间）为4G（2的32次方）。操作系统的核心是内核，独立于普通的应用程序，可以访问受保护的内存空间，也有访问底层硬件设备的所有权限。为了保证用户进程不能直接操作内核（kernel），保证内核的安全，操心系统将虚拟空间划分为两部分，一部分为内核空间，一部分为用户空间。针对linux操作系统而言，将最高的1G字节（从虚拟地址0xC0000000到0xFFFFFFFF），供内核使用，称为内核空间，而将较低的3G字节（从虚拟地址0x00000000到0xBFFFFFFF），供各个进程使用，称为用户空间。

补充：地址空间就是一个非负整数地址的有序集合。如{0,1,2...}。

1.2 进程上下文切换（进程切换）

　　为了控制进程的执行，内核必须有能力挂起正在CPU上运行的进程，并恢复以前挂起的某个进程的执行。这种行为被称为进程切换（也叫调度）。因此可以说，任何进程都是在操作系统内核的支持下运行的，是与内核紧密相关的。

　　从一个进程的运行转到另一个进程上运行，这个过程中经过下面这些变化：
　　1. 保存当前进程A的上下文。

　　上下文就是内核再次唤醒当前进程时所需要的状态，由一些对象（程序计数器、状态寄存器、用户栈等各种内核数据结构）的值组成。

　　这些值包括描绘地址空间的页表、包含进程相关信息的进程表、文件表等。
　　2. 切换页全局目录以安装一个新的地址空间。

　　　　...
　　3. 恢复进程B的上下文。

　　可以理解成一个比较耗资源的过程。

1.3 进程的阻塞

　　正在执行的进程，由于期待的某些事件未发生，如请求系统资源失败、等待某种操作的完成、新数据尚未到达或无新工作做等，则由系统自动执行阻塞原语(Block)，使自己由运行状态变为阻塞状态。可见，进程的阻塞是进程自身的一种主动行为，也因此只有处于运行态的进程（获得CPU），才可能将其转为阻塞状态。当进程进入阻塞状态，是不占用CPU资源的。注意只有运行态的进程才可能将其转化为阻塞状态，一定要和准备运行的进程区分开。

1.4 文件描述符

　　文件描述符（File descriptor）是计算机科学中的一个术语，是一个用于表述指向文件的引用的抽象化概念。

　　文件描述符在形式上是一个非负整数。实际上，它是一个索引值，指向内核为每一个进程所维护的该进程打开文件的记录表。当程序打开一个现有文件或者创建一个新文件时，内核向进程返回一个文件描述符。在程序设计中，一些涉及底层的程序编写往往会围绕着文件描述符展开。但是文件描述符这一概念往往只适用于UNIX、Linux这样的操作系统。

1.5 直接I/O和缓存I/O

　　缓存 I/O 又被称作标准 I/O，大多数文件系统的默认 I/O 操作都是缓存 I/O。在 Linux 的缓存 I/O 机制中，以write为例，数据会先被拷贝进程缓冲区，在拷贝到操作系统内核的缓冲区中，然后才会写到存储设备中。

2 I/O模式

　　对于一次IO访问（这回以read举例），数据会先被拷贝到操作系统内核的缓冲区中，然后才会从操作系统内核的缓冲区拷贝到应用程序的缓冲区，最后交给进程。所以说，当一个read操作发生时，它会经历两个阶段：
　　1. 等待数据准备 (Waiting for the data to be ready)
　　2. 将数据从内核拷贝到进程中 (Copying the data from the kernel to the process)

正式因为这两个阶段，linux系统产生了下面五种网络模式的方案：
　　-- 阻塞 I/O（blocking IO）
　　-- 非阻塞 I/O（nonblocking IO）
　　-- I/O 多路复用（ IO multiplexing）
　　-- 信号驱动 I/O（ signal driven IO）
　　-- 异步 I/O（asynchronous IO）

　　注：由于信号驱动（signal driven IO）在实际中并不常用，所以这里只提及剩下的四种IO 模型

2.1 block I/O模型（阻塞I/O）

阻塞I/O模型示意图：

read为例：

（1）进程发起read，进行recvfrom系统调用；

（2）内核开始第一阶段，准备数据（将数据从磁盘拷贝到缓冲区），进程请求的数据并不是一下就能准备好；准备数据是要消耗时间的；

（3）与此同时，进程阻塞（进程是自己选择阻塞与否），等待数据；

（4）直到数据从内核拷贝到了用户空间，内核返回结果，进程解除阻塞。

也就是说，在阻塞I/O模型中，在内核准备数据和数据从内核拷贝到进程内存地址这两个过程都是阻塞的。

2.2 non-block（非阻塞I/O模型）

可以通过设置socket使其变为non-blocking。当对一个non-blocking socket执行读操作时，流程是这个样子：

 

　　（1）当用户进程发出read操作时，如果内核中的数据还没有准备好；

　　（2）那么它并不会block用户进程，而是立刻返回一个error，从用户进程角度讲 ，它发起一个read操作后，并不需要等待，而是马上就得到了一个结果；

　　（3）用户进程判断结果是一个error时，它就知道数据还没有准备好，于是它可以再次发送read操作。一旦内核中的数据准备好了，并且又再次收到了用户进程的system call；

　　（4）那么它马上就将数据拷贝到了用户内存，然后返回。

　　所以，非阻塞 IO的特点是用户进程在内核准备数据的阶段需要不断的主动询问数据好了没有，在数据准备好后，内核将数据拷贝到用户空间过程中，进程依旧是阻塞的。

 

2.3 I/O多路复用

　　　　I/O多路复用实际上就是用select, poll, epoll监听多个io对象，当io对象有变化（有数据）的时候就通知用户进程。例如我们可以用select同时监控100个socket对象。select会返回当前活跃的socket。我们当然具体区别我们后面再讨论，现在先来看下I/O多路复用的流程：

　　（1）当用户进程调用了select，那么整个进程会被block；

      （2）而同时，内核会“监视”所有select负责的socket；

　　（3）当任何一个socket中的数据准备好了，select就会返回；

　　（4）这个时候用户进程再调用read操作，将数据从内核拷贝到用户进程。

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

　　这个图和阻塞 IO的图其实并没有太大的不同，事实上，还更差一些。因为这里需要使用两个system call (select 和 recvfrom)，而阻塞 IO只调用了一个system call (recvfrom)。虽然在处理一些程序是并不如阻塞模式快，但是，用select的优势在于它可以同时处理多个connection，适合多并发。

所以，如果处理的连接数不是很高的话，使用select/epoll的web server不一定比使用多线程 + 阻塞 IO的web server性能更好，可能延迟还更大。但是select/epoll的优势并不是对于单个连接能处理得更快，而是在于能处理更多的连接。ps：IO多路复用常用的是select、epoll，而poll并不常用，epoll对poll进行了更好的封装。Python 中sector包可以根据运行系统自己采用select或者epoll，恩这些已经有些底层了，看不懂就忽略不急吧，

　　在IO 多路复用模型中，实际中，对于每一个socket，一般都设置成为非阻塞，但是，如上图所示，整个用户的process其实是一直被block的。只不过process是被select这个函数block，而不是被socket IO给block。

注意以上三种模型，他们都是阻塞的，及时是IO多路复用，三种模型在数据准备好后，由内核拷贝至用户空间过程中，都是阻塞的。下面才是真正的不阻塞。

 2.4 asynchronous I/O（异步 I/O）

　　真正的异步I/O很牛逼，流程大概如下：

（1）用户进程发起read操作之后，立刻就可以开始去做其它的事。

（2）而另一方面，从内核的角度，当它受到一个asynchronous read之后，首先它会立刻返回，所以不会对用户进程产生任何block。

（3）然后，内核会等待数据准备完成，然后将数据拷贝到用户内存，当这一切都完成之后，内核会给用户进程发送一个signal，告诉它read操作完成了。

简单的说，异步I/O可以简单的认为，大致是这样的，用户去银行申请办信用卡，当用户向银行提交申请信息后，就可以回家然后去做别的其他事情。当银行（这里类比内核）将信用卡办理好，并将信用卡邮寄到用户家的时候，打电话给用户，通知用户来取件。而之前的阻塞，非阻塞，多路复用IO，则分别对比，阻塞：用户去银行办信用卡，然后一直在银行等待，知道信用卡办好后去银行取给信用卡。非阻塞：用户交完申请信息回家，可以看其他事情，但是用户并不放心，一直给银行打电话，询问是否办理完，当银行回复办理完成后，用户去银行去取信用卡，IO多路复用:一群人将信息提交给银行，银行将办完的告诉给用户，用户去取。可能这个例子并不是很生动。但是这个例子却能够说出异步的好处，是真的省时间。