关于同步IO与阻塞IO的误解

关注

原创最新推荐文章于 2026-05-30 20:02:20 发布 444 阅读 AI 写同款· GEO 优化 ›

解析linux同步与异步、阻塞与非阻塞概念以及五种IO模型 I/O复用模型会用到select、poll、epoll函数，这几个函数也会使进程阻塞，但是和阻塞I/O所不同的的，这两个函数可以同时阻塞多个I/O操作。而且可以同时对多个读操作，多个写操作的I/O函数进行检测，直到有数据可读或可写时，才真正调用I/O操作函数。这样我们的I/O操作函数将不断的测试数据是否已经准备好，如果没有准备好，继续测试，直到数据准备好为止。阻塞调用是指调用结果返回之前，当前线程会被挂起（线程进入非可执行状态，在这个状态下，cpu不会给线程分配时间片，即线程暂停运行）。阅读详情

我们知道，同步IO是指线程在发起一笔IO调用之后，仅当该调用所请求的数据成功到达指定的内存区域之后，才会继续发起下一笔IO调用。而异步IO是指线程在发起一笔IO调用之后不等数据返回就又发送一笔或者多笔IO调用。至于这两者的执行过程和性能差异，冬瓜哥不做过多描述。

默认方式下，线程发起IO调用之后，后续执行过程便陷入OS内核态，内核会将该线程的状态改为“Suspend”，也就是挂起（阻塞）该线程，在IO数据返回之前，该线程的用户态部分将不会被执行，直到内核返回数据之后，内核将该线程改为“Ready”，以便后续继续调度执行。这种方式就被称为阻塞IO，其一定是同步IO。

如果线程发起IO调用时给出了async参数，向内核声明采用异步的方式，那么当IO请求下发到内核之后，内核并不会将该线程置为挂起状态，该线程可以继续执行，而此时，该线程可以选择继续下发多笔IO，也可以选择不下发IO而做其他事情。此时，该线程并未处于阻塞状态，所以这种IO调用方式就不是阻塞IO，而属于异步IO调用。即便如此，如果该线程选择在上一笔IO数据返回之后再发起下一笔IO，那么其对外表现依然是同步IO的方式，只不过是主观故意的；而在阻塞IO调用模式下，线程只能发出一笔IO然后被内核强制挂起，此时该线程不管是主观上想批量下发多笔IO还是一去一回的同步IO方式，其对外表现只能是同步IO。

所以，阻塞IO一定是同步IO，非阻塞IO（调用时给出async参数）可以是异步IO也可以是同步IO，取决于线程自身的逻辑。至于非阻塞IO调用时给出的参数叫做“async”，其实叫做“suspended”更好。