理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

时间:2021-07-11 06:06:06

以下是IO的一个基本过程

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

先理解一下用户空间和内核空间,系统为了保护内核数据,会将寻址空间分为用户空间和内核空间,32位机器为例,高1G字节作为内核空间,低3G字节作为用户空间。当用户程序读取数据的时候,会经历两个过程:磁盘到内核空间(这块消耗性能,下面简称内核数据准备),内核空间拷贝到用户空间(下面简称用户空间拷贝)。

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

内核数据准备这部分是由DMA芯片实现的,而用户空间拷贝的实现则是由CPU实现的,后者非常快,能到1G以上,所以,所谓的阻塞基本是内核数据准备的过程,这块消耗时间。为啥呢?简单的理解就是,磁盘和内核缓存的速度本身就存在很大的差距。

基于这个前提,聊一下同步异步IO,阻塞非阻塞IO

同步异步是基于任务序列可靠性的角度区分,当一个任务依赖另外一个任务时,

同步就是,只有等被依赖的任务完成之后,依赖任务才算完成,是一种可靠任务序列。比如打电话。

异步就是,只是通知被依赖任务去做某件事情,由被依赖任务完成之后通知依赖任务,但是不能保证被依赖任务完成,是一个不可靠任务序列。比如发短信。

同步异步的选择其实就是可靠性和性能之前的取舍和平衡。

而阻塞非阻塞则是从CPU消耗的角度去区分

阻塞就是让CPU闲置,等IO等慢操作完成之后再继续。

非阻塞则是在等IO等慢操作的完成的同时,CPU去做一些其他事情。存在上下文切换。

阻塞非阻塞的选择就是在CPU利用率和系统切换成本之间的平衡。

上面四者两两组合情况如下

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

接下来了解一下linux下的几种IO模型

当我们进行IO操作的时候,如果被调用者将任务全部执行完返回,称为同步/阻塞 IO

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

如果被调用者,不管没有操作成功,直接返回一个结果码,但是不再主动通知后续结果,称为非阻塞IO;这种情况下需要重复调用查询状态。

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

如果被调用者,不管有没有操作成功,直接返回个结果码,等到全部操作完成之后再发一个信号通知调用者,称为异步IO

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

举个例子:

家里有个专门帮忙做饭的阿姨,有一天我想喝水了,我让阿姨帮忙烧一壶水。

我看着她去烧水,灌水,给我倒水,期间没有做其他任何事情,这就是同步。

我想着也不用一直等,可以先看会儿电视,我就隔一会儿来看一次,隔一会儿来看一次,这叫非阻塞。

再想想,这也烦,我索性跟阿姨说,好了叫我一声,然后就去看电视去了,这叫异步。

而IO多路复用,信号驱动IO则是基于前面四个模型的衍生。

IO多路复用是基于阻塞IO的衍生,主要是为了提高内核空间数据准备这一块的功能复用,即阻塞的同时监听多个端口,有一个端口有数据就进行处理,提高性能。

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

信号驱动IO则是在内核空间数据准备这一块采用异步,在用户空间拷贝这一块采用同步。

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

Java中的IO则分为以下几种

同步阻塞IO(Java IO)

l  用户进程发起一个IO操作之后,必须等待IO操作完成。

同步非阻塞IO(Java NIO)

l  用户发起一个IO操作之后,返回做其他事情,时不时的去询问IO是否就绪。

多路复用IO

l  用户发起一个IO操作之后,返回,等内核完成IO之后通知应用程序,这里的阻塞是指返回之后并没有做其他是,而是一并监听多个文件句柄,在select函数中,提高系统并发性。

异步非阻塞IO(Java NIO2)

l  用户发起一个IO操作之后,返回,等待 内核数据准备 和 用户空间拷贝都完成之后通知应用进程,中有实现。

NIO中的概念

Buffer:高效的数据容器,除了布尔类型,所有数据类型都有相应的Buffer实现。

Channel:作用类似Linux系统中的文件描述符,是用于支持抽象批量IO的一种抽象。相对于File/Socket:Channel是更加接近操作系统底层的一种抽象。

Selector:是NIO中多路复用的基础,可以同时检测注册在Selector上的多个Channel,进而对准备好的任一Channel进行处理。(这部分在linux中依赖epoll,windows上依赖iocp)

Charset,提供了字符编解码器,可以实现字符到ByteBuffer的转换。

内存映射:可以将内核空间地址和用户空间地址映射到同一物理地址

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO

零拷贝技术:数据只在内核空间流转,没有经过用户空间。

理解同步,异步,阻塞,非阻塞,多路复用,事件驱动IO