常见IO五种模型-阻塞IO、非阻塞IO、IO多路复用、信号驱动IO、异步IO

简介: 用户空间与内核空间进程的寻址空间会划分为两部分:内核空间、用户空间用户空间只能执行受限的命令,而且不能直接调用系统资源,必须通过内核提供的接口来访问内核空间可以执行特权命令。调用一切系统资源

用户空间与内核空间


进程的寻址空间会划分为两部分:内核空间用户空间

用户空间只能执行受限的命令,而且不能直接调用系统资源,必须通过内核提供的接口来访问

内核空间可以执行特权命令。调用一切系统资源


阻塞IO


019f0f84ac15423d8961009537138dbd.png

在客户端连接数量不高的情况下,是没问题的。但是,当面对十万甚至百万级连接的时候,传统的 BIO 模型是无能为力的。因此,我们需要一种更高效的 I/O 处理模型来应对更高的并发量


非阻塞IO


7f28d4e3982a4ddca1108ad520db91ed.png

应用程序不断进行 I/O 系统调用轮询数据是否已经准备好的过程是十分消耗 CPU 资源的。


IO多路复用



如果调用recvform时,恰好没有数据,阻塞IO会使进程阻塞,非阻塞IO使CPU空转,不能充分发挥CPU作用

如果调用recvform时恰好有数据,则用户进程进入第二个阶段,读取并处理数据


文件描述符: 简称FD,是一个从0开始递增的无符号整数,用来关联Linux中的一个文件。在Linux中一切皆文件。

IO多路复用: 是利用单个线程来同时监听多个FD,并在某个FD可读、可写时得到通知,从而避免无效的等待,充分利用CPU资源

不同监听FD的方式、通知的方式有多种实现,常见的有:

select

poll

epoll

差异

select和poll只会通知进程有FD就绪,但不确定具体是那个FD,需要用户进程逐个遍历FD来确认

epoll则会通知用户进程FD就绪的同时,把已就绪的FD写入用户空间f7bb98ad6b574ee8b8fda12126532b4a.png


IO多路复用-selecte9e290fb506a48febe905729b32053e3.png

缺点

需要将整个fd_set从用户空间拷贝到内核空间,select结束还要再次拷贝回用户空间

select无法得知具体是那个fd就绪,需要遍历整个fd_set

fd_set监听的fd数量不能超过1024

IO多路复用-poll7ed80652660f4ec6994225ee57b00602.png

流程

创建pollfd数组,向其中添加关注fd信息,数组大小自定义

调用poll函数,将pollfd数组拷贝到内核空间,转链表存储,无上限

内核遍历fd,判断是否就绪

数据就绪或超时后,拷贝pollfd数组到用户空间,返回就绪fd数量

用户进程判断n是否大于0

大于0则遍历pollfd数组,找到就绪数组


与select对比

select模式中的fd_set大小固定为1024,而pollfd在内核中采用链表,理论上无上限

监听FD越多,每次遍历消耗时间也越久,性能反而会下降


IO多路复用-epoll7f80bb9e3f6341d3b09aa8fb4f47049e.png9206d0cd9a0b44d1b41beb0030a9537a.png

基于epoll实例中的红黑树保存要监听的FD,理论上无上限,而且增删改查效率都非常高,性能不会随着监听的FD数量增多而下降

每个FD只需执行一次epoll_ctl添加到红黑树,以后每次epol_wait无需传递任何参数,无需重复拷贝FD到内核空间

内核会将就绪的FD直接拷贝到用户空间的指定位置,用户进程无需遍历所有的FD就知道就绪的FD是谁


IO多路复用-事件通知机制

当FD有数据可读时,我们调用epoll_wait就可以得到通知,但是事件通知的模型有两种:

LevelTriggered:简称LT,当FD有数据可读时,会重复通知多次,直到数据处理完成

EdgeTriggered:简称ET,当FD有数据可读时,只会通知一次,不管数据是否处理完成


信号驱动IO


信号驱动IO是与内核建立SIGIO的信号关联并设置回调,当内核有FD就绪时,会发出SIGIO信号通知用户,期间用户应用可以执行其它业务,无需阻塞等待

0a77023eb35c4d8cb78e533402c4bc7a.png

当有大量IO操作时,信号较多,SIGIO处理函数不能及时处理可能导致信号队列溢出

而且内核空间与用户空间的频繁交互性能较低


异步IO


异步IO的整个过程都是非阻塞的,用户进程调用完异步API后就可以去做其它事情,内核等待数据就绪并拷贝到用户空间才会递交信号

d33e4630516745168739acdd679f13ad.png

相关文章
|
2月前
|
Java Unix Linux
什么是阻塞IO和非阻塞IO
什么是阻塞IO和非阻塞IO
|
1月前
|
Java
什么是阻塞IO?
**阻塞IO是一种IO操作模式,使得调用线程在IO未完成时会暂停,等待操作完成。简单但可能导致线程阻塞,适用于低并发、长处理场景。Java示例中,`ServerSocket`和`Socket`展示了这种模式。服务端接收到客户端连接后读取数据,回应"Echo",每个连接需单独线程处理。高并发时可考虑非阻塞IO(NIO)或异步IO来优化。**
|
19天前
|
存储 Java Unix
(八)Java网络编程之IO模型篇-内核Select、Poll、Epoll多路复用函数源码深度历险!
select/poll、epoll这些词汇相信诸位都不陌生,因为在Redis/Nginx/Netty等一些高性能技术栈的底层原理中,大家应该都见过它们的身影,接下来重点讲解这块内容。
|
1月前
|
缓存 网络协议 算法
【Linux系统编程】深入剖析:四大IO模型机制与应用(阻塞、非阻塞、多路复用、信号驱动IO 全解读)
在Linux环境下,主要存在四种IO模型,它们分别是阻塞IO(Blocking IO)、非阻塞IO(Non-blocking IO)、IO多路复用(I/O Multiplexing)和异步IO(Asynchronous IO)。下面我将逐一介绍这些模型的定义:
|
2月前
|
Linux C++
c++高级篇(三) ——Linux下IO多路复用之poll模型
c++高级篇(三) ——Linux下IO多路复用之poll模型
|
2月前
|
缓存 监控 网络协议
c++高级篇(二) ——Linux下IO多路复用之select模型
c++高级篇(二) ——Linux下IO多路复用之select模型
|
2月前
|
Linux
Linux异步io机制 io_uring
Linux异步io机制 io_uring
33 1
|
2月前
Reactor为什么必须使用非阻塞io?
Reactor为什么必须使用非阻塞io?
21 0
Reactor为什么必须使用非阻塞io?
|
1月前
stm32f407探索者开发板(十四)——IO引脚复用和映射
stm32f407探索者开发板(十四)——IO引脚复用和映射
|
1月前
|
Java 大数据
解析Java中的NIO与传统IO的区别与应用
解析Java中的NIO与传统IO的区别与应用