关于IO，同步/异步/阻塞/非阻塞，这几个关键词是经常听到的，譬如：
“Java oio是阻塞的，nio是非阻塞的”
“NodeJS的IO是异步的”
但是这些东西听多了就容易迷糊，比方说同步是否就是阻塞，异步是否就是非阻塞呢？
先给出结论：
- 异步/同步与阻塞/非阻塞之间没有必然的联系
- 同步IO可以是阻塞，也可以是非阻塞的
- 异步IO就是异步IO，它一定是非阻塞的，不存在异步阻塞IO这个说法
POSIX对同步/异步的定义如下，这两句话非常关键
- A synchronous I/O operation causes the requesting process to be blocked until that I/O operation completes;
- An asynchronous I/O operation does not cause the requesting process to be blocked;
再给出权威文档：《UNIX网络编程：卷一》的第六章
书中列出了如下五种IO模型：
-
阻塞式I/O；
-
非阻塞式I/O；
-
I/O复用（select，poll，epoll...）；
-
信号驱动式I/O（SIGIO）；
-
异步I/O（POSIX的aio_系列函数）；
1. 阻塞式IO
ssize_t recvfrom(int sockfd, void *buf, size_t len, int flags,
struct sockaddr *src_addr, socklen_t *addrlen);
在默认情况下，recvfrom方法会被阻塞，直到从指定的socket上收到数据才会返回，返回时，buf中已经填充好了数据.
阻塞的过程实际上可以分割成两段：等待kernel准备好从网络上接收到的数据报 + 等待收到的报文被从kernel复制到buf中.
只有在这两个过程全部完成后，recvfrom方法才会返回。
这就是阻塞式IO模型
2. 非阻塞式IO
还是上面的recvfrom方法，如果将其设置为非阻塞模式（flag与MSG_DONTWAIT异或），情况就会有所不同了：
在内核没有准备好数据报时，调用recvfrom方法会立即返回异常码（EWOULDBLOCK或者EAGAIN）（这一段是非阻塞的！）
如果内核已经准备好数据，调用recvfrom方法则会在数据报被从kernel拷贝到buf中后返回（这一段是同步的！）
也就是说，阻塞与非阻塞式IO的主要区别在于等待数据报准备好的第一阶段， 至于将数据从kernel拷贝到buf中的过程，两者都是同步的。
但是个人觉得非阻塞式IO可能并不好用，因为在轮询一个socket是否可读的过程会直接占满一个core
如果想要减少cpu资源占用的话，又会增加编程的复杂度。
3. I/O多路复用
IO多路复用有select/poll/epoll这样的几种方式
先介绍一下最有代表性的select方法
int select(int nfds, fd_set *restrict readfds,
fd_set *restrict writefds, fd_set *restrict errorfds,
struct timeval *restrict timeout);
select方法的返回值代表当前可以操作的fd数量，如果返回值大于0，说明已经有fd准备就绪，下一步我们就可以调用recvfrom方法从就绪的fd中读取数据了（先只考虑可读的情况）
select方法是否阻塞，与timeout参数有关
如果timeout被设置为0，那么select是非阻塞的，对select方法的调用会立即返回。
如果timeout被设置为非0，则select会阻塞，直到有fd可读，或者timeout到期为止。
总的来说，I/O多路复用是同步阻塞的， 但主要是阻塞在对select/poll/epoll方法的调用上，后续的recvfrom则是同步的。
多说一句，I/O多路复用，实际上跟第一条介绍的阻塞IO差不多
只是I/O多路复用可以同时监听多个fd罢了
这样就减少了为每个需要监听的fd开启一个线程的开销。
4. 信号驱动式I/O
没用过也没见过，直接上截图：
5. 异步I/O
同步IO中，在调用recvfrom方法时，即使kernel已经将数据准备好，recvfrom方法也不会立即返回
必须要在耗费一定的时间，将数据从kernel完全拷贝到用户buf中后，recvfrom方法才会返回
也就是说，在recvfrom方法无异常返回的时候，数据已经在buf中准备好了
异步IO则有相当大的不同：
- 用户调用一次请求数据的方法，该方法会无阻塞的立即返回。
- OS接到这个请求后，会将用户所请求的数据从kernel拷贝到指定的位置。
- 数据拷贝完成后，第一步中注册的回调方法会被调用（或者触发一个信号，总之就是要让用户感知到数据已经拷贝完成）
- 用户感知到这一事件，此时数据已经准备好，可以直接处理数据了
如下图所示
但是目前Linux的aio还不成熟，而且epoll提供的IO多路复用模型在性能上已经够用了，所以在此就不举例了
ps. NodeJS在Linux上的异步实现是基于libeio，这是用阻塞IO和线程池模拟出来的异步IO
最后上一张图作为总结
网友评论