讨论/求职面试/阻塞非阻塞与同步异步的区别是什么?/
阻塞非阻塞与同步异步的区别是什么?

为了便于大家对这两个概念的理解,请结合实例解答此问题。

共 7 个回复

IO 概念区分

四个相关概念:

  1. 同步(Synchronous)
  2. 异步 (Asynchronous)
  3. 阻塞 (Blocking)
  4. 非阻塞 (Nonblocking)

这四个概念的含义以及相互之间的区别与联系,并不如很多网络博客所写的那么简单,通过举一些什么商店购物,买书买报的例子就能讲清楚。

先修知识

  1. 用户空间和内核空间
  2. 进程切换
    • 系统调用(system call)
    • 中断(interrupt)
  3. 进程的阻塞

用户空间和内核空间操作系统为了支持多个应用同时运行,需要保证不同进程之间相对独立(一个进程的崩溃不会影响其他的进程,恶意进程不能直接读取和修改其他进程运行时的代码和数据)。因此操作系统内核需要拥有高于普通进程的权限,以此来调度和管理用户的应用程序。

于是内存空间被划分为两部分,一部分为内核空间,一部分为用户空间,内核空间存储的代码和数据具有更高级别的权限。内存访问的相关硬件在程序执行期间会进行访问控制(Access Control),使得用户空间的程序不能直接读写内核空间的内存。

有《微机原理》 课程基础同学可以 Google 搜索 DPL,CPL 这两个关键字了解硬件层面的内存访问权限控制细节

进程切换

6cefdb7f4c2c35dcdaaba08c684200562a3f3465e6c134ea232ad314ecc55711-switch.jpg

上图展示了进程切换中几个最重要的步骤:

  1. 当一个程序正在执行的过程中,中断(interrupt) 或 系统调用(system call) 发生可以使得 CPU 的控制权会从当前进程转移到操作系统内核。
  2. 操作系统内核负责保存进程 i 在 CPU 中的上下文(程序计数器,寄存器)到 PCBi (操作系统分配给进程的一个内存块)中。
  3. 从 PCBj 取出进程 j 的CPU 上下文,将 CPU 控制权转移给进程 j ,开始执行进程 j 的指令。

几个底层概念的通俗(不严谨)解释:

  • 中断(interrupt)
    • CPU 微处理器有一个中断信号位,在每个CPU时钟周期的末尾, CPU会去检测那个中断信号位是否有中断信号到达,如果有,则会根据中断优先级决定是否要暂停当前执行的指令,转而去执行处理中断的指令。(其实就是 CPU 层级的 while 轮询)
  • 时钟中断(Clock Interrupt)
    • 一个硬件时钟会每隔一段(很短)的时间就产生一个中断信号发送给 CPU,CPU 在响应这个中断时,就会去执行操作系统内核的指令,继而将 CPU 的控制权转移给了操作系统内核,可以由操作系统内核决定下一个要被执行的指令。
  • 系统调用(system call)
    • system call 是操作系统提供给应用程序的接口。用户通过调用 systemcall 来完成那些需要操作系统内核进行的操作,例如硬盘,网络接口设备的读写等。

从上述描述中,可以看出来,操作系统在进行进切换时,需要进行一系列的内存读写操作,这带来了一定的开销:

  • 对于一个运行着 UNIX 系统的现代 PC 来说,进程切换通常至少需要花费 300 us 的时间

进程阻塞

230736276955db4ad0565f919a511508abe0ee57b35f2d6c110d16a917f394e8-block.jpg

上图展示了一个进程的不同状态:

  • New. 进程正在被创建.
  • Running. 进程的指令正在被执行
  • Waiting. 进程正在等待一些事件的发生(例如 I/O 的完成或者收到某个信号)
  • Ready. 进程在等待被操作系统调度
  • Terminated. 进程执行完毕(可能是被强行终止的)

我们所说的 “阻塞”是指进程在发起了一个系统调用(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 连接请求后,读取请求中的文件名,然后读请求的文件名内容,将文件内容返回给客户端。那么一个请求的处理流程会如下图所示。

5703f9e0bf7ca58bec2aefbf49684d0579f997c3d2521a28e14de38202c8551c-bio.jpg

  • R 表示读操作
  • W 表示写操作
  • C 表示关闭操作

在这个过程中,我们可以看到,CPU 和 硬盘IO 的资源大部分时间都是闲置的。此时,我们会希望在等待 I/O 的过程中继续处理新的请求。

方案一:多进程

  • 每到达一个请求,我们为这个请求新创建一个进程来处理。这样,一个进程在等待 IO 时,其他的进程可以被调度执行,更加充分地利用 CPU 等资源。
  • 问题:每新创建一个进程都会消耗一定的内存空间,且进程切换也会有时间消耗,高并发时,大量进程来回切换的时间开销会变得明显起来。

方案二:多线程

  1. 和多进程方案类似,为每一个请求新建一个线程进行处理,这样做的重要区别是,所有的线程都共享同一个进程空间
  2. 问题:需要考虑是否需要为特定的逻辑使用锁。

引申问题:一个进程中的某一个线程发起了 system call 后,是否造成整个进程的阻塞? 如果会,那么多线程方案与单进程方案相比就没有明显的改善。

  • 解决办法1:内核支持的线程(kenerl supported threads)
    • 操作系统内核能够感知到线程,每一个线程都会有一个内核调用栈(kenerl stack) 和 保存CPU 寄存器下文的 t)。在这种方案中,如果 CPU 是多核的,不同的线程还可以运行在不同的 CPU processor 上。既实现了IO 并发,也实现了 CPU 并发。
    • 问题:内核支持线程可移植性差,其实现对于不同的操作系统而言有所差别。

6fb898a38baf05edac887f69a0120f10e9b8a54a856431892646f8322ea14458-thread.jpg

  • 解决办法2:用户支持的线程(user supported threads)
    • 内核感知不到用户线程,每一个用户的进程拥有一个调度器,该调度器可以感知到线程发起的系统调用,当一个线程产生系统调用时,不阻塞整个进程,切换到其他线程继续运行。当 I/O 调用完成以后,能够重新唤醒被阻塞的线程。
    • 实现细节:
      • 应用程序基于线程库 thread libray 编写线程库中包含 “虚假的” read(), write(), accept()等系统调用。
      • 线程库中的 read(), write(), accept() 的底层实现为非阻塞系统调用(Non-blocking system call),调用后,由于可以立即返回,则将特定的线程状态标记为 waiting, 调度其他的可执行线程。内核完成了 IO 操作后,调用线程库的回调函数,将原来处于 waiting 状态的线程标记为 runnable.

0bd798fccb10ec0973634701a49110fc377ae864cdd5258212cb349da253cf43-uthread.jpg

从上面的过程可以看出,用户级支持线程(User-Supported Threads)的解决方案基于非阻塞IO系统调用( non-blocking system call) ,且是一种基于操作系统内核事件通知(event-driven)的解决方案,该方案可以降低系统处理并发请求时的进程切换开销。基于这个方案,可以引申到更为宽泛的 event-driven progreamming 话题上。但是这里就不作赘述了。

总结

  1. 阻塞/非阻塞,同步/异步的概念要注意讨论的上下文:
    • 在进程通信层面,阻塞/非阻塞,同步/异步基本是同义词,但是需要注意区分讨论的对象是发送方还是接收方。
    • 发送方阻塞/非阻塞(同步/异步)和接收方的阻塞/非阻塞(同步/异步) 是互不影响的。
    • 在 IO 系统调用层面( IO system call )层面,非阻塞 IO 系统调用 和 异步 IO 系统调用存在着一定的差别,它们都不会阻塞进程,但是返回结果的方式和内容有所差别,但是都属于非阻塞系统调用( non-blocing system call )
  2. 非阻塞系统调用(non-blocking I/O system call 与 asynchronous I/O system call) 的存在可以用来实现线程级别的 I/O 并发,与通过多进程实现的 I/O 并发相比可以减少内存消耗以及进程切换的开销。

作者:萧萧
链接:https://www.zhihu.com/question/19732473/answer/241673170
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

153

说下我的理解,同步和异步关注的是数据返回的方式,如果需要去不断询问数据是否准备好,那么就是同步,反之就是异步。而阻塞和非阻塞强调的是调用线程的情况,阻塞就是该线程不能做其他事情,反之就可以执行其他任务。

4

同步/异步:是针对操作系统来说的,发送请求后,是否一直等待数据的到来。如果一直等待,则是同步。
阻塞/非阻塞:是针对接口来说的,接收请求后,是否立即返回响应。如果不是立即响应,则是阻塞。

比如,在NIO多路复用中,是一种同步非阻塞机。listener一直监听socket(fd),是同步的,当socket(fd
)有数据时,会通过类似callback回调机制立即响应然后发出提示,是非阻塞的。

5

看着大佬们的解释,的确很正确,可是有点难理解,我想到一个案例,不知道对不对,就是模仿生活中的案例来解释一下:

老王烧水问题——同步/异步 阻塞/非阻塞

比如说,老王有两只水壶,一只不会响的(下文叫水壶),另一只会响的(下文叫响水壶),有一天老王口渴了,要烧水,他做个四个选择。

选择一:同步阻塞
老王用水壶烧水,他搬来小板凳就在水壶旁边等水开,而且期间一直看着水壶,没做其他事

选择二:同步非阻塞
老王还是用水壶烧水,他搬来小板凳就在水壶旁边等水开,但是期间他可以打游戏,学习,编码,做了很多事情

选择三:异步阻塞
老王觉得自己待在水壶旁边效率太傻了,于是改用响水壶,这玩意能叫,告诉他水开了,但是外面太热了,他回屋内等水开,但是回屋没干别的事,就是单纯等水开,可真是傻傻的老王呀!

选择三:异步非阻塞
这次老王聪明了,用响水壶烧水,回屋内打游戏,学习、编码,两不误,等水开了响水壶会叫就去倒水

自己想的案例,不知道对不对,希望大佬们给予评价,谢谢,要是对的,夸夸渣渣我呗,嘿嘿!

3

其中阻塞更加强调在函数返回前线程发生了调度,而同步的话更加强调线程依旧停留在当前线程

阻塞非阻塞 ,表示能不能做后面的事;

同步异步 ,表示做了是不是马上有结果

我的理解,阻塞非阻塞是说一个东西的状态。同步异步是说两个东西的关系。