服务器主要有以下模块
阻塞IO和非阻塞IO
阻塞和非阻塞可以应用于所有的文件描述符,而不仅仅是socket,阻塞的文件描述符称为阻塞IO,非阻塞的文件描述符称为非阻塞IO。
阻塞IO:阻塞IO执行的系统调用可能因为没有执行完成而被操作系统挂起,直到等待的事件发生为止。只有得到返回值才会继续向下执行,否则将一直阻塞。比如read函数,如果接收缓冲区为空(读事件未发生),将一直阻塞。
非阻塞IO:针对非阻塞IO的系统调用总是立即返回,不管事件有没有发生。就比如read函数,如果读事件没有发生,返回-1,和出错的情况一样。这时候必须通过error来区分是出错还是事件未发生。对于recv,accept,send,事件未发生的时候error通常被设置为EAGAIN(再来一次),EWOULDBLOCK(想要阻塞)。对connect而言,error被设置为EINPROGRESS(在处理中)。
区别
阻塞与非阻塞最主要的区别就是事件未就绪的反应,阻塞就是等待,直到事件就绪。
非阻塞就是先返回,没有就绪就返回error,等过一段时间再来看,是否就绪,如果就绪了就进行处理,没有的话继续返回error。
同步IO和异步IO
以上这两种都是同步IO,那什么是异步IO呢?
其实同步io和异步io的区别就在于是用户自己干这件事还是内核帮你干这件事。就read函数来说,同步io就是上面那两种,不管是阻塞还是非阻塞,始终是在用户空间在干这件事。但是异步io就不一样了,用户告诉内核读写缓冲区的位置,就不用再管了,有事件产生内核自己会进行处理,把数据放到缓冲区的位置。
也就是说,同步IO是自己处理,将数据从内核缓冲区拷贝到用户缓冲区,或者从用户缓冲区拷贝到内核缓冲区,但是异步IO是不用用户自己处理,后台直接将这些工作干了,完成后通知你就可以了。
reactor模型
主线程(IO处理单元)只负责监听文件描述符上是否有就绪事件发生,有的话就通知工作线程处理,接收连接,处理事件都不用管。
proactor模型
与reactor不同,proactor将所有的io都交给主线程处理,工作线程只负责业务处理。
《Linux高性能服务器编程 》第八章高性能服务器程序框架