IO 操作与 IO 模型

Posted 2021-04-25 51reboot运维开发

目录

一 、IO 操作本质

二、 IO 模型

• BIO – 阻塞模式 I/O

• NIO – 非阻塞模式 I/O

• IO Multiplexing - I/O多路复用模型

• AIO – 异步 I/O 模型

三、同步 I/O 与异步 I/O

四、 IO 设计模式

• Proactor模式

• 对比分析

• Reactor 模式

一 、IO 操作本质

数据复制的过程中不会消耗 CPU

# 1 内存分为内核缓冲区和用户缓冲区

# 2 用户的应用程序不能直接操作内核缓冲区，需要将数据从内核拷贝到用户才能使用

# 3 而  IO 操作、网络请求加载到内存的数据一开始是放在内核缓冲区的

二、 IO 模型

1.BIO – 阻塞模式 I/O

用户进程从发起请求，到最终拿到数据前，一直挂起等待；数据会由用户进程完成拷贝

举个例子：

一个人去 商店买一把菜刀， 

他到商店问老板有没有菜刀（发起系统调用） 

如果有（表示在内核缓冲区有需要的数据） 

老板直接把菜刀给买家（从内核缓冲区拷贝到用户缓冲区） 

这个过程买家一直在等待 

如果没有，商店老板会向工厂下订单（IO 操作，等待数据准备好） 

工厂把菜刀运给老板（进入到内核缓冲区） 

老板把菜刀给买家（从内核缓冲区拷贝到用户缓冲区） 

这个过程买家一直在等待 

是同步 io

NIO – 非阻塞模式 I/O

用户进程发起请求，如果数据没有准备好，那么立刻告知用户进程未准备好；此时用户进程可选择继续发起请求、或者先去做其他事情，稍后再回来继续发请求，直到被告知数据准备完毕，可以开始接收为止；数据会由用户进程完成拷贝

举个例子：

一个人去 商店买一把菜刀，

他到商店问老板有没有菜刀（发起系统调用） 

老板说没有，在向工厂进货（返回状态） 

买家去别地方玩了会，又回来问，菜刀到了么（发起系统调用）

老板说还没有（返回状态） 

买家又去玩了会（不断轮询） 

最后一次再问，菜刀有了（数据准备好了） 

老板把菜刀递给买家（从内核缓冲区拷贝到用户缓冲区） 

整个过程轮询+等待：轮询时没有等待，可以做其他事，从内核缓冲区拷贝到用户缓冲区需要等待 

是同步 io 

3.IO Multiplexing - I/O 多路复用模型

类似 BIO，只不过找了一个代理，来挂起等待，并能同时监听多个请求；数据会由用户进程完成拷贝

举个例子：

多个人去 一个商店买菜刀， 

多个人给老板打电话，说我要买菜刀（发起系统调用） 

老板把每个人都记录下来（放到select中） 

老板去工厂进货（IO操作）

有货了，再挨个通知买到的人，来取刀（通知/返回可读条件） 

买家来到商店等待，老板把到给买家（从内核缓冲区拷贝到用户缓冲区） 

多路复用：老板可以同时接受很多请求（select模型最大1024个，epoll模型）， 

但是老板把到给买家这个过程，还需要等待， 

是同步 io 

AIO – 异步 I/O 模型

发起请求立刻得到回复，不用挂起等待；数据会由内核进程主动完成拷贝

举个例子：

还是买菜刀 现在是网上下单到商店（系统调用） 

商店确认（返回） 

商店去进货（io 操作） 

商店收到货把货发个卖家（从内核缓冲区拷贝到用户缓冲区） 

买家收到货（指定信号） 

整个过程无等待 

异步 io 

三、同步 I/O 与异步 I/O

• 同步 I/O
• 概念：导致请求进程阻塞的 I/O 操作，直到 I/O 操作任务完成
• 类型：BIO、NIO、IO Multiplexing
• 异步 I/O
• 概念：不导致进程阻塞的 I/O 操作
• 类型：AIO

注意：

• 同步 I/O 与异步 I/O 判断依据是，是否会导致用户进程阻塞
• BIO 中 socket 直接阻塞等待（用户进程主动等待，并在拷贝时也等待）
• NIO 中将数据从内核空间拷贝到用户空间时阻塞（用户进程主动询问，并在拷贝时等待）
• IO Multiplexing 中 select 等函数为阻塞、拷贝数据时也阻塞（用户进程主动等待，并在拷贝时也等待）
• AIO 中从始至终用户进程都没有阻塞（用户进程是被动的）

四、 IO 设计模式

Reactor 模式，基于同步 I/O 实现
- Proactor 模式，基于异步 I/O 实现

Reactor 模式通常采用 IO 多路复用机制进行具体实现

- kqueue、epoll、poll、select 等机制

Proactor 模式通常采用 OS Asynchronous IO(AIO)的异步机制进行实现

- 前提是对应操作系统支持 AIO，比如支持异步 IO 的 linux(不太成熟)、具备 IOCP 的windows server(非常成熟)

Reactor 模式和 Proactor 模式都是事件驱动，主要实现步骤：

1. 事件注册：将事件与事件处理器进行分离。将事件注册到事件循环中，将事件处理器单独管理起来，记录其与事件的对应关系。
2. 事件监听：启动事件循环，一旦事件已经就绪/完成，就立刻通知事件处理器
3. 事件分发：当收到事件就绪/完成的信号，便立刻激活与之对应的事件处理器
4. 事件处理：在进程/线程/协程中执行事件处理器

使用过程中，用户通常只负责定义事件和事件处理器并将其注册以及一开始的事件循环的启动，这个过程就会是以异步的形式执行任务。

Reactor 模式

Proactor 模式

对比分析

Reactor 模型处理耗时长的操作会造成事件分发的阻塞，影响到后续事件的处理；

Proactor 模型实现逻辑复杂；依赖操作系统对异步的支持，目前实现了纯异步操作的操作系统少，实现优秀的如 windows IOCP，但由于其 windows 系统用于服务器的局限性，目前应用范围较小；而 Unix/Linux 系统对纯异步的支持有限，因而应用事件驱动的主流还是基于 select/epoll 等实现的 reactor 模式

Python 中：如 asyncio、gevent、tornado、twisted 等异步模块都是依据事件驱动模型设计，更多的都是使用 reactor 模型，其中部分也支持 proactor 模式，当然需要根据当前运行的操作系统环境来进行手动配置

出处：http://dwz.date/cu6a

付费社群、K8S课程详情

扫码咨询>>>

●

●

●

●

●