同步与异步I/O，阻塞与非阻塞

        这段时间自己一直在纠结同步和异步I/O的概念，网上的说法不一，令我感到十分的疑惑，后面是看了Unix网络编程，才对这对概念有了比较清晰的认识，所以我只是书本的搬运工。

        总的一句话就是“只要I/O过程中引起了进程阻塞就是同步I/O，反之则是异步I/O”，下面将介绍常见的几种I/O模型：

一、几种常见I/O模型

•   阻塞式I/O

      

           此种模型下，当应用进程调用系统调用进行I/O操作时，如果此时数据还没准备好，则进程会阻塞在这里，直到数据报准备好了，然后进程将数据报从内核复制到用户空间。

•   非阻塞式I/O

       

      非阻塞式I/O模型下，进程将反复调用recvfrom，前面几次调用由于没有数据，所以会返回EWOULDBLOUK，直到内核缓冲区的数据准备好后，当下次再调用时会直接把数据复制到用户空间。

•   I/O复用模型

     

        此种模型下，进程首先会调用select调用，等待多个套接字中的任何一个变为可读，当select返回一个可读条件时，进程再调用recvfrom将数据复制到用户空间

•    信号驱动式I/O

      

            此种模型利用了Linux机制，进程首先注册个信号，当内核的数据准备好时，会递交SIGIO信号给进程，进程这期间不阻塞，当进程得到这个信号以后再调用recvfrom读取数据。

•    异步I/O

      

       异步I/O中，系统调用aio_read时会相应地注册个信号，此时如果没有数据会直接返回，进程则继续执行，当内核主动把数据复制到用户空间以后，会传递之前注册的信号给进程，进程可以针对此信号作相应地处理。

二、解释

          前面几种模型中，前四种模型都是同步I/O，因为它们I/O过程中都有被阻塞，可能大家会有疑问，上面途中信号驱动式I/O不是一直没又阻塞吗？实际上当数据准备好后，recvfrom复制数据过程中就会发生阻塞。具体如下图：

         

               可见只有异步I/O，进程一直没有被阻塞！