打破砂锅问到底之Python同步和异步IO

存储 存储软件 后端
Python同步和异步IO一直都是新手心目中比较难搞懂的问题,那么现在就一起来追根究底探究一下。先说个容易懂得事情,同步呢,就是你去麦当劳订个汉堡,你一直在服务台等着汉堡好了交到你手上。

 Python同步和异步IO一直都是新手心目中比较难搞懂的问题,那么现在就一起来追根究底探究一下。先说个容易懂得事情,同步呢,就是你去麦当劳订个汉堡,你一直在服务台等着汉堡好了交到你手上。异步就是,你去麦当劳订汉堡,然后你不等汉堡好了没有就去隔壁商城逛街了,直到麦当劳的服务员喊你过去拿汉堡为止。总之1句话,同步有等待,异步没有等待!

[[244796]]

Linux操作系统基础知识

[[244797]]

 

用户空间和内核空间

操作系统的核心是内核,独立于普通的应用程序,可以访问受保护的内存空间,也有访问底层硬件设备的所有权限。为了保证用户进程不能直接操作内核保证内核的安全,操心系统将虚拟空间划分为两部分,一部分为内核空间,一部分为用户空间。

对32位操作系统而言,它的寻址空间(虚拟存储空间)为4G)。针对linux操作系统而言,将***的1G字节(从虚拟地址0xC0000000到0xFFFFFFFF),供内核使用,称为内核空间,而将较低的3G字节(从虚拟地址0x00000000到0xBFFFFFFF),供各个进程使用,称为用户空间。

文件描述符

File descriptor用于表述只想文件的引用的抽象概念。文件描述符在形式上是一个非负整数。实际上,它是一个索引值,指向内核为每一个进程所维护的该进程打开文件的记录表。当程序打开一个现有文件或者创建一个新文件时,内核向进程返回一个文件描述符。在程序设计中,一些涉及底层的程序编写往往会围绕着文件描述符展开。但是文件描述符这一概念往往只适用于UNIX、Linux这样的操作系统。

进程阻塞

正在执行的进程,由于期待的某些事件未发生,如请求系统资源失败、等待某种操作的完成、新数据尚未到达或无新工作做等,则由系统自动执行阻塞原语(Block),使自己由运行状态变为阻塞状态。

可见,进程的阻塞是进程自身的一种主动行为,也因此只有处于运行态的进程(获得CPU),才可能将其转为阻塞状态。当进程进入阻塞状态,是不占用CPU资源的。

进程切换

为了控制进程的执行,内核必须有能力挂起正在CPU上运行的进程,并恢复以前挂起的某个进程的执行。这种行为被称为进程切换。因此可以说,任何进程都是在操作系统内核的支持下运行的,是与内核紧密相关的。

从一个进程的运行转到另一个进程上运行,这个过程中经过下面这些变化:

1. 保存处理机上下文,包括程序计数器和其他寄存器。

上下文就是内核再次唤醒当前进程时所需要的状态,由一些对象(程序计数器、状态寄存器、用户栈等各种内核数据结构)的值组成。

这些值包括描绘地址空间的页表、包含进程相关信息的进程表、文件表等。

2. 更新PCB信息。

3. 把进程的PCB移入相应的队列,如就绪、在某事件阻塞等队列。

4. 选择另一个进程执行,并更新其PCB。

5. 更新内存管理的数据结构。

6. 恢复处理机上下文。

总而言之就是很耗资源,具体的可以参考这篇文章:进程切换

直接IO和缓存IO

缓存 I/O 又被称作标准 I/O,大多数文件系统的默认 I/O 操作都是缓存 I/O。在 Linux 的缓存 I/O 机制中,操作系统会将 I/O 的数据缓存在文件系统的页缓存( page cache )中,也就是说,数据会先被拷贝到操作系统内核的缓冲区中,然后才会从操作系统内核的缓冲区拷贝到应用程序的地址空间。

以write为例,数据会先被拷贝进程缓冲区,在拷贝到操作系统内核的缓冲区中,然后才会写到存储设备中。

 

直接I/O的write:(少了拷贝到进程缓冲区这一步)

 

缓存 I/O 的缺点:

数据在传输过程中需要在应用程序地址空间和内核进行多次数据拷贝操作,这些数据拷贝操作所带来的 CPU 以及内存开销是非常大的。

IO 模式

对于一次IO访问(以read举例),数据会先被拷贝到操作系统内核的缓冲区中,然后才会从操作系统内核的缓冲区拷贝到应用程序的地址空间。所以说,当一个read操作发生时,它会经历两个阶段:

1. 等待数据准备 (Waiting for the data to be ready)

2. 将数据从内核拷贝到进程中 (Copying the data from the kernel to the process)

正式因为这两个阶段,linux系统产生了下面五种网络模式的方案。

- 阻塞 I/O(blocking IO)

- 非阻塞 I/O(nonblocking IO)

- I/O 多路复用( IO multiplexing)

- 信号驱动 I/O( signal driven IO)实际中并不常用

- 异步 I/O(asynchronous IO)

阻塞IO

在linux中,默认情况下所有的socket都是blocking,一个典型的读操作流程大概是这样:

 

read为例:

进程发起read,进行recvfrom系统调用;

内核开始***阶段,准备数据(从磁盘拷贝到内核缓冲区),进程请求的数据并不是一下就能准备好;准备数据是要消耗时间的;

在这个过程中,整个用户进程将会被阻塞(进程自己选择的阻塞),等待数据;

直到数据从内核拷贝到了用户空间,内核返回结果,进程解除阻塞,重新运行起来。

因此,内核准备数据和数据从内核拷贝到进程内存地址这两个过程都是阻塞的。

非阻塞IO模型

可以通过设置socket使其变为non-blocking。当对一个non-blocking socket执行读操作时,流程是这个样子:

 

当用户进程发出read操作时,如果kernel中的数据还没有准备好;

那么它并不会block用户进程,而是立刻返回一个error,从用户进程角度讲 ,它发起一个read操作后,并不需要等待,而是马上就得到了一个结果;

用户进程判断结果是一个error时,它就知道数据还没有准备好,于是它可以再次发送read操作。一旦kernel中的数据准备好了,并且又再次收到了用户进程的system call;

那么它马上就将数据拷贝到了用户内存,然后返回。

所以,nonblocking IO的特点是用户进程在内核准备数据的阶段需要不断的主动询问数据好了没有。

IO多路复用

I/O多路复用使用select, poll, epoll监听多个io对象,当io对象有变化(有数据)的时候就通知用户进程。好处就是单个进程可以处理多个socket。当然具体区别我们后面再讨论,现在先来看下I/O多路复用的流程:

 

当用户进程调用了select,那么整个进程会被block;

而同时,kernel会“监视”所有select负责的socket;

当任何一个socket中的数据准备好了,select就会返回;

这个时候用户进程再调用read操作,将数据从kernel拷贝到用户进程。

所以,I/O 多路复用的特点是通过一种机制一个进程能同时等待多个文件描述符,而这些文件描述符(套接字描述符)其中的任意一个进入读就绪状态,select()函数就可以返回。

和阻塞IO相比,这里需要使用两个system call (select 和 recvfrom),而blocking IO只调用了一个system call (recvfrom)。但是,用select的优势在于它可以同时处理多个connection。

所以,如果处理的连接数不是很高的话,使用select/epoll的web server不一定比使用多线程 + 阻塞 IO的web server性能更好,可能延迟还更大。

select/epoll的优势并不是对于单个连接能处理得更快,而是在于能处理更多的连接。

在IO multiplexing Model中,实际中,对于每一个socket,一般都设置成为non-blocking,但是,如上图所示,整个用户的process其实是一直被block的。只不过process是被select这个函数block,而不是被socket IO给block。

异步 IO

 

用户进程发起read操作之后,立刻就可以开始去做其它的事。

而另一方面,从kernel的角度,当它受到一个asynchronous read之后,首先它会立刻返回,所以不会对用户进程产生任何block。

然后,kernel会等待数据准备完成,然后将数据拷贝到用户内存,当这一切都完成之后,kernel会给用户进程发送一个signal,告诉它read操作完成了。

小结

在non-blocking IO中,虽然进程大部分时间都不会被block,但是它仍然要求进程去主动的check,并且当数据准备完成以后,也需要进程主动的再次调用recvfrom来将数据拷贝到用户内存。

而asynchronous IO则完全不同。它就像是用户进程将整个IO操作交给了他人(kernel)完成,然后他人做完后发信号通知。在此期间,用户进程不需要去检查IO操作的状态,也不需要主动的去拷贝数据。

责任编辑:武晓燕 来源: 今日头条
相关推荐

2023-11-07 07:39:56

Java集合数据结构

2018-01-30 18:15:12

Python网络爬虫gevent

2018-10-08 15:35:56

Python异步IO

2023-09-07 08:15:58

场景同步异步

2021-04-02 11:05:57

Python同步异步

2021-03-11 11:32:40

Python同步异步

2016-11-04 12:51:46

Unix网络IO 模型

2020-09-25 18:10:06

Python 开发编程语言

2021-01-09 13:59:49

异步IO驱动式

2022-07-24 09:50:22

数据库MongoDB

2021-10-08 20:30:12

ZooKeeper选举机制

2023-12-06 07:28:47

阻塞IO异步IO

2019-07-23 11:01:57

Python同步异步

2023-08-01 08:43:29

Python多线程

2021-03-23 07:56:54

JS基础同步异步编程EventLoop底层

2012-10-10 10:00:27

同步异步开发Java

2009-08-21 10:28:21

C#异步方法C#同步方法

2023-04-12 18:36:20

IO框架内核

2021-11-03 07:58:27

异步编程线程

2020-06-02 07:55:31

SpringBoot多数据源
点赞
收藏

51CTO技术栈公众号