首页 > 代码库 > IO模型

IO模型

IO

Stevens在文章中一共比较了五种IO Model:

      •     blocking IO
      •     nonblocking IO
      •     IO multiplexing
      •     signal driven IO
      •     asynchronous IO

由于signal driven IO在实际中并不常用,所以我这只提及剩下的四种IO Model。
再说一下IO发生时涉及的对象和步骤。
对于一个network IO (这里我们以read举例),它会涉及到两个系统对象,一个是调用这个IO的process (or thread),另一个就是系统内核(kernel)。当一个read操作发生时,它会经历两个阶段:

  •  等待数据准备 (Waiting for the data to be ready)
  •  将数据从内核拷贝到进程中 (Copying the data from the kernel to the process)

记住这两点很重要,因为这些IO Model的区别就是在两个阶段上各有不同的情况。

blocking IO (阻塞IO)

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

技术分享

当用户进程调用了recvfrom这个系统调用,kernel就开始了IO的第一个阶段:准备数据。对于network io来说,很多时候数据在一开始还没有到达(比如,还没有收到一个完整的UDP包),这个时候kernel就要等待足够的数据到来。而在用户进程这边,整个进程会被阻塞。当kernel一直等到数据准备好了,它就会将数据从kernel中拷贝到用户内存,然后kernel返回结果,用户进程才解除block的状态,重新运行起来。
所以,blocking IO的特点就是在IO执行的两个阶段都被block了。

特点:全程阻塞(等待和copy都阻塞)  copy: 内核态--->用户态

non-blocking IO(非阻塞IO)

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

技术分享

从图中可以看出,当用户进程发出read操作时,如果kernel中的数据还没有准备好,那么它并不会block用户进程,而是立刻返回一个error。从用户进程角度讲 ,它发起一个read操作后,并不需要等待,而是马上就得到了一个结果。用户进程判断结果是一个error时,它就知道数据还没有准备好,于是它可以再次发送read操作。一旦kernel中的数据准备好了,并且又再次收到了用户进程的system call,那么它马上就将数据拷贝到了用户内存,然后返回。所以,用户进程其实是需要不断的主动询问kernel数据好了没有。

 注意:

      在网络IO时候,非阻塞IO也会进行recvform系统调用,检查数据是否准备好,与阻塞IO不一样,”非阻塞将大的整片时间的阻塞分成N多的小的阻塞, 所以进程不断地有机会 ‘被’ CPU光顾”。即每次recvform系统调用之间,cpu的权限还在进程手中,这段时间是可以做其他事情的,

      也就是说非阻塞的recvform系统调用调用之后,进程并没有被阻塞,内核马上返回给进程,如果数据还没准备好,此时会返回一个error。进程在返回之后,可以干点别的事情,然后再发起recvform系统调用。重复上面的过程,循环往复的进行recvform系统调用。这个过程通常被称之为轮询。轮询检查内核数据,直到数据准备好,再拷贝数据到进程,进行数据处理。需要注意,拷贝数据整个过程,进程仍然是属于阻塞的状态。

技术分享 View Code

优点:能够在等待任务完成的时间里干其他活了(包括提交其他任务,也就是 “后台” 可以有多个任务在同时执行)。

缺点:任务完成的响应延迟增大了,因为每过一段时间才去轮询一次read操作,而任务可能在两次轮询之间的任意时间完成。这会导致整体数据吞吐量的降低。

特点:发送多次系统调用

优点:wait for data时无阻塞

缺点:1.系统调用发送太多 2.数据不是实时接收的,只有copy时阻塞,等待时间属于用户态,可以做自己的事

俩个阶段:  wait for data:非阻塞  copy data:阻塞

 

 1 import time 2 import socket 3 sk = socket.socket(socket.AF_INET,socket.SOCK_STREAM) 4 sk.setsockopt 5 sk.bind((127.0.0.1,6667)) 6 sk.listen(5) 7 sk.setblocking(False) 8 while True: 9     try:10         print (waiting client connection .......)11         connection,address = sk.accept()   # 进程主动轮询12         print("+++",address)13         client_messge = connection.recv(1024)14         print(str(client_messge,utf8))15         connection.close()16     except Exception as e:17         print (e)18         time.sleep(4)19 20 #############################client21 22 import time23 import socket24 sk = socket.socket(socket.AF_INET,socket.SOCK_STREAM)25 26 while True:27     sk.connect((127.0.0.1,6667))28     print("hello")29     sk.sendall(bytes("hello","utf8"))30     time.sleep(2)31     break

 

技术分享
 1 import socket 2 import select 3  4 sock = socket.socket() 5 sock.bind(("127.0.0.1",8800)) 6 sock.listen(5) 7  8 sock.setblocking(False) 9 inputs=[sock,]10 while 1:11     r,w,e=select.select(inputs,[],[]) # 监听有变化的套接字 inputs=[sock,conn1,conn2,conn3..]12     #r=inputs  r=[conn1,conn2]13     print(inputs,"===inputs===") #一定要注意,r不等于inputs,r是会变化得14     print(r,"====r===")15     for obj in r: # 第一次 [sock,]  第二次 #[conn1,]16         if obj==sock:17             conn,addr=obj.accept()18             print(conn,"===conn===")19             inputs.append(conn) #  inputs=[sock,conn]20         else:21             data=http://www.mamicode.com/obj.recv(1024)22             print(data.decode("utf8"))23             send_data = http://www.mamicode.com/input(">>>")24             obj.send(send_data.encode("utf8"))25 26 #输出结果27 # [<socket.socket fd=204, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800)>] ===inputs===28 # [<socket.socket fd=204, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800)>] ====r===29 # <socket.socket fd=196, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800), raddr=(‘127.0.0.1‘, 61457)> ===conn===30 # [<socket.socket fd=204, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800)>, <socket.socket fd=196, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800), raddr=(‘127.0.0.1‘, 61457)>] ===inputs===31 # [<socket.socket fd=196, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800), raddr=(‘127.0.0.1‘, 61457)>] ====r===32 # aaa #接收得数据33 # >>>bbb #客户端发送数据
基于select机制(服务端)
技术分享
 1 import socket 2 import select 3  4 sock = socket.socket() 5 sock.bind(("127.0.0.1",8800)) 6 sock.listen(5) 7  8 sock.setblocking(False) 9 inputs=[sock,]10 while 1:11     r,w,e=select.select(inputs,[],[]) # 监听有变化的套接字 inputs=[sock,conn1,conn2,conn3..]12     #r=inputs  r=[conn1,conn2]13     print(inputs,"===inputs===") #一定要注意,r不等于inputs,r是会变化得14     print(r,"====r===")15     for obj in r: # 第一次 [sock,]  第二次 #[conn1,]16         if obj==sock:17             conn,addr=obj.accept()18             print(conn,"===conn===")19             inputs.append(conn) #  inputs=[sock,conn]20         else:21             data=http://www.mamicode.com/obj.recv(1024)22             print(data.decode("utf8"))23             send_data = http://www.mamicode.com/input(">>>")24             obj.send(send_data.encode("utf8"))25 26 #输出结果27 # [<socket.socket fd=204, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800)>] ===inputs===28 # [<socket.socket fd=204, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800)>] ====r===29 # <socket.socket fd=196, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800), raddr=(‘127.0.0.1‘, 61457)> ===conn===30 # [<socket.socket fd=204, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800)>, <socket.socket fd=196, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800), raddr=(‘127.0.0.1‘, 61457)>] ===inputs===31 # [<socket.socket fd=196, family=AddressFamily.AF_INET, type=SocketKind.SOCK_STREAM, proto=0, laddr=(‘127.0.0.1‘, 8800), raddr=(‘127.0.0.1‘, 61457)>] ====r===32 # aaa #接收得数据33 # >>>bbb #客户端发送数据
基于select机制(客户端)

 

IO multiplexing(IO多路复用)

      IO multiplexing这个词可能有点陌生,但是如果我说select,epoll,大概就都能明白了。有些地方也称这种IO方式为event driven IO。我们都知道,select/epoll的好处就在于单个process就可以同时处理多个网络连接的IO。它的基本原理就是select/epoll这个function会不断的轮询所负责的所有socket,当某个socket有数据到达了,就通知用户进程。它的流程如图:

技术分享

      当用户进程调用了select,那么整个进程会被block,而同时,kernel会“监视”所有select负责的socket,当任何一个socket中的数据准备好了,select就会返回。这个时候用户进程再调用read操作,将数据从kernel拷贝到用户进程。
这个图和blocking IO的图其实并没有太大的不同,事实上,还更差一些。因为这里需要使用两个system call (select 和 recvfrom),而blocking IO只调用了一个system call (recvfrom)。但是,用select的优势在于它可以同时处理多个connection。(多说一句。所以,如果处理的连接数不是很高的话,使用select/epoll的web server不一定比使用multi-threading + blocking IO的web server性能更好,可能延迟还更大。select/epoll的优势并不是对于单个连接能处理得更快,而是在于能处理更多的连接。)
在IO multiplexing Model中,实际中,对于每一个socket,一般都设置成为non-blocking,但是,如上图所示,整个用户的process其实是一直被block的。只不过process是被select这个函数block,而不是被socket IO给block。

注意1:select函数返回结果中如果有文件可读了,那么进程就可以通过调用accept()或recv()来让kernel将位于内核中准备到的数据copy到用户区。

注意2: select的优势在于可以处理多个连接,不适用于单个连接

特点:1.全程(wait for data,copy) 阻塞

   2.能监听多个文件描述符

 

而对于文件描述符(套接字对象fd):

1.是一个非零整数 ,不会变化

2.收发数据的时候,对于接收端而言,数据先到内核空间,然后copy到用户空间,同时清空内核空间数据。

  对于发送端,没有返回信息,一直保留信息

sock相当于一个管道,这是一个对象。

 1 #***********************server.py 2 import socket 3 import select 4 sk=socket.socket() 5 sk.bind(("127.0.0.1",8801)) 6 sk.listen(5) 7 inputs=[sk,] 8 while True: 9     r,w,e=select.select(inputs,[],[],5)10     print(len(r))11 12     for obj in r:13         if obj==sk:14             conn,add=obj.accept()15             print(conn)16             inputs.append(conn)17         else:18             data_byte=obj.recv(1024)19             print(str(data_byte,utf8))20             inp=input(回答%s号客户>>>%inputs.index(obj))21             obj.sendall(bytes(inp,utf8))22 23     print(>>,r)24 25 #***********************client.py26 27 import socket28 sk=socket.socket()29 sk.connect((127.0.0.1,8801))30 31 while True:32     inp=input(">>>>")33     sk.sendall(bytes(inp,"utf8"))34     data=http://www.mamicode.com/sk.recv(1024)35     print(str(data,utf8))

 

 

驱动信号

 

内核态和用户态

加入寻址内存4G,内核空间(缓存)分享一个G,用户用3个G

发的数据先到操作系统内核空间,两个操作系统通过内核空间发送数据

写的py文件在用户空间 ,想传输必须先到内核空间

 

进程间的切换,效率远远大于线程间的切换

线程间的切换,效率远远大于协程的切换

apache select

nginx   epoll

总结:

同步: 阻塞IO 非阻塞IO IO多路复用

异步: 异步IO

 

异步IO

 

Asynchronous I/O(异步IO)

linux下的asynchronous IO其实用得很少。先看一下它的流程:

技术分享

用户进程发起read操作之后,立刻就可以开始去做其它的事。而另一方面,从kernel的角度,当它受到一个asynchronous read之后,首先它会立刻返回,所以不会对用户进程产生任何block。然后,kernel会等待数据准备完成,然后将数据拷贝到用户内存,当这一切都完成之后,kernel会给用户进程发送一个signal,告诉它read操作完成了。

特点:全程无阻塞

IO模型