转载出处。:https://leetcode-cn.com/circle/discuss/uHGOZo/ 作者:Arco
IO 概念区分
四个相关概念:
1、同步(Synchronous)
2、异步 (Asynchronous)
3、阻塞 (Blocking)
4、非阻塞 (Nonblocking)
这四个概念的含义以及相互之间的区别与联系,并不如很多网络博客所写的那么简单,通过举一些什么商店购物,买书买报的例子就能讲清楚。
先修知识
1、用户空间和内核空间
2、进程切换
3、进程的阻塞
用户空间和内核空间操作系统为了支持多个应用同时运行,需要保证不同进程之间相对独立(一个进程的崩溃不会影响其他的进程,恶意进程不能直接读取和修改其他进程运行时的代码和数据)。因此操作系统内核需要拥有高于普通进程的权限,以此来调度和管理用户的应用程序。
于是内存空间被划分为两部分,一部分为内核空间,一部分为用户空间,内核空间存储的代码和数据具有更高级别的权限。内存访问的相关硬件在程序执行期间会进行访问控制(Access Control),使得用户空间的程序不能直接读写内核空间的内存。
有《微机原理》 课程基础同学可以 Google 搜索 DPL,CPL 这两个关键字了解硬件层面的内存访问权限控制细节
进程切换
上图展示了进程切换中几个最重要的步骤:
几个底层概念的通俗(不严谨)解释:
CPU 微处理器有一个中断信号位,在每个CPU时钟周期的末尾, CPU会去检测那个中断信号位是否有中断信号到达,如果有,则会根据中断优先级决定是否要暂停当前执行的指令,转而去执行处理中断的指令。(其实就是 CPU 层级的 while 轮询)
一个硬件时钟会每隔一段(很短)的时间就产生一个中断信号发送给 CPU,CPU 在响应这个中断时,就会去执行操作系统内核的指令,继而将 CPU 的控制权转移给了操作系统内核,可以由操作系统内核决定下一个要被执行的指令。
system call 是操作系统提供给应用程序的接口。用户通过调用 systemcall 来完成那些需要操作系统内核进行的操作,例如硬盘,网络接口设备的读写等。
从上述描述中,可以看出来,操作系统在进行进切换时,需要进行一系列的内存读写操作,这带来了一定的开销:
进程阻塞
我们所说的 “阻塞”是指进程在发起了一个系统调用(System Call) 后,由于该系统调用的操作不能立即完成,需要等待一段时间,于是内核将进程挂起为等待 (waiting)状态,以确保它不会被调度执行,占用 CPU 资源。
友情提示:在任意时刻,一个 CPU 核心上(processor)只可能运行一个进程。
I/O System Call 的阻塞/非阻塞,同步/异步
这里再重新审视 阻塞/非阻塞 IO 这个概念,其实阻塞和非阻塞描述的是进程的一个操作是否会使得进程转变为“等待”的状态,但是为什么我们总是把它和 IO 连在一起讨论呢?
原因是,阻塞这个词是与系统调用 System Call 紧紧联系在一起的,因为要让一个进程进入 等待(waiting) 的状态, 要么是它主动调用 wait() 或 sleep() 等挂起自己的操作,另一种就是它调用 System Call, 而 System Call 因为涉及到了 I/O 操作,不能立即完成,于是内核就会先将该进程置为等待状态,调度其他进程的运行,等到 它所请求的 I/O 操作完成了以后,再将其状态更改回 ready 。
操作系统内核在执行 System Call 时,CPU 需要与 IO 设备完成一系列物理通信上的交互,其实再一次会涉及到阻塞和非阻塞的问题,例如,操作系统发起了一个读硬盘的请求后,其实是向硬盘设备通过总线发出了一个请求,它即可以阻塞式地等待IO 设备的返回结果,也可以非阻塞式的继续其他的操作。在现代计算机中,这些物理通信操作基本都是异步完成的,即发出请求后,等待 I/O 设备的中断信号后,再来读取相应的设备缓冲区。但是,大部分操作系统默认为用户级应用程序提供的都是阻塞式的系统调用 (blocking systemcall)接口,因为阻塞式的调用,使得应用级代码的编写更容易(代码的执行顺序和编写顺序是一致的)。
但同样,现在的大部分操作系统也会提供非阻塞I/O 系统调用接口(Nonblocking I/O system call)。一个非阻塞调用不会挂起调用程序,而是会立即返回一个值,表示有多少bytes 的数据被成功读取(或写入)。
非阻塞I/O 系统调用( nonblocking system call )的另一个替代品是 异步I/O系统调用 (asychronous system call)。与非阻塞 I/O 系统调用类似,asychronous system call 也是会立即返回,不会等待 I/O 操作的完成,应用程序可以继续执行其他的操作,等到 I/O 操作完成了以后,操作系统会通知调用进程(设置一个用户空间特殊的变量值 或者 触发一个 signal 或者 产生一个软中断 或者 调用应用程序的回调函数)。
此处,非阻塞I/O 系统调用( nonblocking system call ) 和 异步I/O系统调用 (asychronous system call)的区别是:一个非阻塞I/O 系统调用 read() 操作立即返回的是任何可以立即拿到的数据,可以是完整的结果,也可以是不完整的结果,还可以是一个空值;而异步I/O系统调用 read()结果必须是完整的,但是这个操作完成的通知可以延迟到将来的一个时间点。
下图展示了同步I/O 与 异步 I/O 的区别 (非阻塞 IO 在下图中没有绘出).
注意,上面提到的 非阻塞I/O 系统调用( nonblocking system call ) 和 异步I/O系统调用 都是非阻塞式的行为(non-blocking behavior)。他们的差异仅仅是返回结果的方式和内容不同。
非阻塞 I/O 如何帮助服务器提高吞吐量
考虑一个单进程服务器程序,收到一个 Socket 连接请求后,读取请求中的文件名,然后读请求的文件名内容,将文件内容返回给客户端。那么一个请求的处理流程会如下图所示。
在这个过程中,我们可以看到,CPU 和 硬盘IO 的资源大部分时间都是闲置的。此时,我们会希望在等待 I/O 的过程中继续处理新的请求。
方案一:多进程
方案二:多线程
引申问题:一个进程中的某一个线程发起了 system call 后,是否造成整个进程的阻塞? 如果会,那么多线程方案与单进程方案相比就没有明显的改善。
应用程序基于线程库 thread libray 编写线程库中包含 “虚假的” read(), write(), accept()等系统调用。
线程库中的 read(), write(), accept() 的底层实现为非阻塞系统调用(Non-blocking system call),调用后,由于可以立即返回,则将特定的线程状态标记为 waiting, 调度其他的可执行线程。内核完成了 IO 操作后,调用线程库的回调函数,将原来处于 waiting 状态的线程标记为 runnable.
从上面的过程可以看出,用户级支持线程(User-Supported Threads)的解决方案基于非阻塞IO系统调用( non-blocking system call) ,且是一种基于操作系统内核事件通知(event-driven)的解决方案,该方案可以降低系统处理并发请求时的进程切换开销。基于这个方案,可以引申到更为宽泛的 event-driven progreamming 话题上。但是这里就不作赘述了。
总结
2.非阻塞系统调用(non-blocking I/O system call 与 asynchronous I/O system call) 的存在可以用来实现线程级别的 I/O 并发,与通过多进程实现的 I/O 并发相比可以减少内存消耗以及进程切换的开销。
作者:Arco
链接:https://leetcode-cn.com/circle/discuss/uHGOZo/view/aIcl5x/
来源:力扣(LeetCode)
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。