Reactor为什么必须使用非阻塞io？

概述：

本文解释为什么reactor模型必须使用非阻塞的套接字文件描述符

注：

本文所说的阻塞和非阻塞io指的是使用非阻塞/阻塞属性的套接字文件描述符进行io操作

主题：

为什么reactor模型要使用非阻塞io操作呢，阻塞的io不行吗？

阻塞io会阻塞在io未就绪的阶段，非阻塞io虽然不会阻塞在io未就绪阶段，但是他们都会阻塞在io就绪后，内核将数据copy进用户缓冲区的这一阶段，所以非阻塞io并不是绝对的全程非阻塞

所以select/poll/epoll通知调用者io就绪后，send/recv这些处理io的函数使用阻塞和非阻塞都是一样的效果，所以两者都可以？

答案

表面上是的，但这只是理想的结果，如果使用阻塞io，遇到select/poll/epoll非预期行为时会造成阻塞：

1.检测就绪io出现问题。select/poll/epoll这些系统调用被信号打断或未检测到就绪io返回-1，这时如果调用阻塞的send/recv就会将线程阻塞，不过一般通过判断返回值可以避免这种情况

2.多线程问题。如果多个线程的epoll/select/poll检测同一个fd（文件描述符），且此时只有一个连接请求或就绪io，只有一个线程能进行io操作，而其他线程会被阻塞挂起

3.select有误报读错误bug。select函数本身有一个bug，通过man 2 select命令可以查到。bug是select会将没有发生的事件误报为可读事件，从而引起recv阻塞线程

而使用非阻塞io就不会出现任何以上的情况