【读后感】NIO 的相关博客

0. 很好的一次回顾

具体参考的博客(第0小节中全部给出)

---

句柄，文件描述符的理解

I/O多路复用 随笔

---

如何深刻理解Reactor和Proactor？by 知乎大佬
IO设计模式：Reactor和Proactor对比 by segmentfault

1. 文件描述符fd & 文件句柄handler & 对象指针pointer

在操作系统层面上，文件操作也有类似于FILE的一个概念，在Linux里，这叫做文件描述符fd(File Descriptor)，而在Windows里，叫做句柄(Handle)；

举一个实际的例子来说明 fd 跟 指针的关系，在Linux中，值为0、1、2的fd分别代表标准输入、标准输出和标准错误输出。在程序中打开文件得到的fd从3开始增长。 fd具体是什么呢?在内核中，每一个进程都有一个私有的“打开文件表”，这个表是一个指针数组，每一个元素都指向一个内核的打开文件对象。而fd，就是这个表的下标。当用户打开一个文件时，内核会在内部生成一个打开文件对象，并在这个表里找到一个空项，让这一项指向生成的打开文件对象，并返回这一项的下标作为fd。由于这个表处于内核，并且用户无法访问到，因此用户即使拥有fd，也无法得到打开文件对象的地址，只能够通过系统提供的函数来操作。

1.1 文件描述符

我们对一个文件的读写，都通过调用内核提供的系统调用；内核给我们返回一个filede scriptor（fd,文件描述符）。描述符就是一个数字，指向内核中一个结构体（文件路径，数据区，等一些属性）。那么我们的应用程序对文件的读写就通过对描述符的读写完成。

2. zero-copy

为什么前面要先介绍 文件描述符 ：在IO过程中，为降低 应用程序进程 与 内核进程 之间交互的粒度，通过传递 文件描述符 替代了 传递真实的文件数组 -> 不仅减少了进程间数据拷贝的次数，内核进程通过文件描述符的数组一样可以找到并操作 应用程序进程 想要操作的那些个文件

3. 五种IO模型

3.1 接入一个网上比较多的分类说法

这里用人话解释一下这里的分组的维度：

• 这里所说的 “阻塞”：内核进程        读取 硬件持久的数据时，应用程序进程是否受到内核进程的影响而 阻塞
• 这里所说的 “同步”：应用程序进程 读取 内核进程的数据时，应用程序进程是否会被内核进程 阻塞

---

这里通过分解 阻塞I/O模型来描述两者发生的时间段：

3.2 个人李姐

其实，多路复用的IO模型 跟 多线程下的阻塞IO模型 的差别就是是否引入 select线程(该线程会接收一批应用程序进程的IO请求，并一次性的、批量的轮询socket；而不是每一条应用程序线程都自己去轮询一遍socket,这么做会被socket IO所阻塞 -> 连接数较大时，这将浪费CPU的时间；也就是说 多路复用的特点是 减小轮询的次数)

3.2.1 多路复用的操作系统的函数支持：select/poll/epoll

三者的关系，简单的说 轮询算法 和 “聪明”一点的轮询的算法 的关系

3.2.1.1 select & poll

• 相同点：
  二者均是水平触发，需要扫描所有的socket来找到状态就绪的socket
  二者存储IO连接的数据结构均是线性的

• 不同点：
  poll采用的线性结构是链表，理论上是没有连接个数的上限

3.2.1.2 select/poll & epoll

epoll使用一个文件描述符管理多个描述符，将用户关系的文件描述符的事件存放到内核的一个事件表中，这样在用户空间和内核空间的copy只需一次。

没有最大并发连接的限制，能打开的FD的上限远大于1024（1G的内存上能监听约10万个端口）。

epoll支持水平触发和边缘触发，最大的特点在于边缘触发——变成IO状态处于就绪的socket的fd注册到等待回调的事件队列里面，替代了轮询所有的socket

3.2.2 补充 剩下的两种I/O模型

• 信号驱动的I/O模型 的“非阻塞”：应用程序进程 借助 系统调用执行一个信号处理函数，这时用户进程便可以做其他的事了(非阻塞体现在这里)，一旦数据准备好，系统便为该进程生成一个信号，来通知数据已经准备好了，应用程序进程仍然需要 阻塞式的把数据从内核拷贝出来。
• 异步I/O模型 的“异步”：应用程序进程向内核发起某个操作后，会立刻得到返回，并把所有的任务都交给内核去完成（包括将数据从内核拷贝到应用程序自己的缓冲区），内核完成之后，只需返回一个信号告诉应用程序进程已经完成就可以了。