从这一节开始讲解网络库代码的实现,在触及完整的运行逻辑之前,我们先来了解底层的Reactor模式关键结构。
事件分发
让我们先理清一下事件分发的概念。在linux系统中,信奉着一切皆文件的思想,对于我们网络库使用的socket套接字,也是用文件描述符来表示。现在假设我们有一个socket,这个socket连接了一个客户机,那么现在我们想象出下面这一场景:
可以看到,socket相当于一个电话,客户机那边也有一个,服务器就是通过这一对socket实现和客户机的通信。
但是这和实际意义上的电话又有点区别,因为我们并不能想说话就说话,具体来说,每个tcp socket在内核中都有一个接收缓冲区和发送缓冲区,客户机有消息到来实际上是存放到接收缓冲区中,而服务器要发送消息也是放在发送缓冲区等待内核发送而已。
现在就可引入事件的概念了,我们要朝客户发送消息需要什么条件呢?需要发送缓冲区有足够空间;同理,要读取客户发过来的消息就需要接收缓冲区有内容。因此,我们需要关注的是发送缓冲区有足够空间,这称为可写事件,关注接收缓冲区有内容,这称为可读事件。
事件分发