UNIX的五种I/O模型

第一篇：UNIX的五种I/O模型

这是一个系列的学习笔记

---

---

前言

我之前一直对IO模型中的“阻塞”、“非阻塞”、“同步”、“异步”等词感到很困惑，看了一些文章的解释以后，更是一头雾水，这几天读了李林峰的《Netty权威指南》，书中对对UNIX的五种I/O模型有一些介绍，看完以后有种恍然大悟的感觉，在此记录一下我的理解，如有谬误请指正。

---

提示：以下是本篇文章正文内容，下面案例可供参考

一、阻塞、非阻塞是什么意思

Linux的内核将所有外部设备都看做一个文件来操作，对一个文件的读写操作会调用内核提供的系统命令，返回一个file descriptor(简称fd，文件描述符)，描述符是一个数字，它指向内核中的一个结构体（文件路径，数据区等一些属性）。
当用户创建的进程调用内核提供的系统命令来完成I/O操作时，在内核工作的时候，用户进程会一直等待，什么也不做，直到内核工作完成，返回结果以后，进程才会继续工作。这就是阻塞。
举个生活中的例子，你今天不想做饭了，点了一份外卖，外卖送到你家需要比较长的时间，在这段时间内你什么也不做了，就坐着等外卖，直到外卖送到，你才继续开始做自己的事。
在等外卖的时候，不是什么都不做，自然就是非阻塞了。

二、同步、异步是什么意思

外卖送到的时候，外卖员会通知你，打电话或者直接敲门，这就是异步，放在I/O模型里就是，内核完成I/O操作后会通知用户进程。那么什么是异步呢，就是外卖送到的时候不会通知你，需要你自己看到才行。假设外卖是聋哑人，你家又没有人，就没法通知了……

---

三、UNIX的五种I/O模型

理清了上面的一些概念以后，本节正式开始介绍UNIX的五种I/O模型

1.阻塞I/O模型

这是最常用的I/O模型，我们以套接字为例来说明此模型：应用进程调用recvfrom（从套接字上接收一个消息），其系统调用直到数据包到达且被复制到应用进程的缓冲区中或者发生错误时才返回，在此期间一直会等待，进程在从调用recvfrom开始到它返回的整段时间内都是被阻塞的，因此被称为阻塞I/O模型。

2.非阻塞I/O模型

revfrom从应用层到内核的时候，如果该缓冲区没有数据的话，就直接返回一个EWOULDBLOCK错误，一般都对非阻塞I/O模型进行轮询检查这个状态，看内核是不是有数据到来。
还是外卖的例子，轮询就相当于时不时地去门口看一下外卖有没有到。

3.I/O复用模型

Linux提供select/poll，进程通过将一个或多个fd传递给select或poll系统调用，阻塞在select操作上，这样select/poll可以帮我们侦察多个fd是否处于就绪状态。select顺序扫描fd是否就绪，而且支持地fd数量有限，因此受到了一些制约。Linux还提供了一个epoll系统调用，epoll使用基于事件驱动方式代替顺序扫描，因此性能更高。当有fd就绪时，立即回调函数callback。
套用外卖的例子，你订了很多份外卖，又雇了一个人守在门口，帮你看那些外卖什么时候能送到。

4.信号驱动I/O模型

首先开启套接口信号驱动I/O功能，并通过系统调用sigaction执行一个信号处理函数（此系统调用立即返回，进程继续工作，它是非阻塞的）。当数据准备就绪时，就为该就进程生成一个SIGIO信号，通过信号回调通知应用程序调用recvfrom来读取数据，并通知主循环函数处理数据。
还是外卖的例子，外卖做好以后，商家通过外卖员去店里取。

5.异步I/O

告知内核启动某个操作，并让内核在整个操作完成后（包括将数据从内核复制到用户自己的缓冲区）通知我们。与第4信号驱动模型的主要区别是：信号驱动由内核通知我们何时可以开始一个I/O操作；异步I/O模型由内核通知我们I/O操作何时已经完成。
外卖的例子，外卖送到你家门口以后，外卖员敲门通知你去拿。

---

总结

I/O模型只看专业解释确实不好理解，举个例子一下就能明白了。