Build a Reactor Server
作者:ffengc
这一部分不多说,直接进入代码编写,后面有需要解释的特性,再解释。
基本结构搭建好
tcp_server.hpp
为什么上面我们写的epoll的recv是不正确的?
我们好好的看一下这一份代码。
调用recv的时候读取的是完整的报文吗?不知道,所以我们buffer[10240]里面的也是不完整的报文。
此时能够直接交付给__handler_request()做我们的业务逻辑吗?不可以!这样是错的!
但是,我们上节课写的epoll服务器,也没有对应的缓冲区让我们暂时存放,等报文完整才__handler_request(),所以,上面的epoll_recver是错误的。
而且,一个epoll_server可能有成百上千的sock,每一个sock,都需要缓冲区才行!
sock要封装了,要维护缓冲区
所以要维护!
tcp_server.hpp
每一个文件描述符,都要封装!因为每一个文件描述符,都有可能有三种时间,读事件,写事件,异常事件。
简单来说就是,我们通过封装func_t,后面这个sock需要读的时候,就去调用__recv_callback。后面的同理!
这三个函数对象,都要从用户层传过来!
当然,输入输出缓冲区也是需要的!目前的用string做缓冲区,暂时没有办法处理二进制流,但是文本是可以的。
这个指针也很好理解,毕竟我这个connector总要知道是哪个服务器在调用我吧。
然后初始化什么的这里就不说了,看代码就行。然后我也写了一个void set_callback(func_t recv_cb, func_t send_cb, func_t except_cb)来设置这个sock封装(connector)的回调。
封装epoll(1)
这次封装和上次就不同了,这次我们把epoll的所有动作都封装到epoll.hpp里面去,包括epollfd什么的,我们的tcp_server就不管这个epoll里面的事情了,tcp_server只负责调用接口!
然后,其实在很多真正的开发场景中,多路转接的方法都是可以选的,一般就是写一个虚基类class poll {},里面的函数就是纯虚的,然后去继承epoll, select, poll 这些。
所以对于tcp_server, 我们多路转接都叫poll比较好,因为也不一定要用epoll。
继续先写tcp_server
这里需要理解一下!首先,我们知道,有两种sock,一种是listensock,一种是其他sock。
但是对于listensock来说,他只需要关注读事件啊!因此,conn->set_callback(read_callback, nullptr, nullptr);。
tcp_server要对所有的connection进行管理
因为处理监听套接字,未来我们会存在大量的socket,每一个sock都必须被封装成一个connction。 当服务器中存在大量的connection的时候,tcp_server就需要将所有的connection进行管理!
那就用一个哈希表来存!
文件描述符是唯一的,所以O(1)直接找到对应的connection!
所以我们不仅要将sock添加到poll中,还要将sock加到映射表中去!
未来,poll会告诉我哪个sock就绪了,然后我就可以通过这个sock立刻找到对应的connection对象,然后缓冲区,回调,都有了!这句话很重要! 未来,poll会告诉我哪个sock就绪了,然后我就可以通过这个sock立刻找到对应的connection对象,然后缓冲区,回调,都有了!这句话很重要! 未来,poll会告诉我哪个sock就绪了,然后我就可以通过这个sock立刻找到对应的connection对象,然后缓冲区,回调,都有了!这句话很重要!
编写__add_connection:把套接字加入到服务中
什么意思呢? 加入到服务中有三件事:
封装成connection
加入到poll中
加入到connection的哈希表中
所以我们需要在poll里面添加一个方法,把sock添加到epoll中,这个很简单,写epoll的时候已经写过了。
poll.hpp
一个要注意的点
任何多路转接的服务器,一般默认只会打开对读取时间的关心,写入事件回按需进行打开。
所以,这里要这么写
注意这一行:__poll.add_sock_to_poll(sock, EPOLLIN | EPOLLET);
默认打开关心读事件+设置ET模式!
设置了ET模式,我们要设置sock是非阻塞
所以在sock.hpp里面加
所以,在__add_connection里面,第一步,先把套接字设置成非阻塞
listensock的recv方法是accept, 其他都不需要,怎么写?
这个绑定需要注意!因为__accepter写在类里面了,记得有个this,std::placeholders::_1就是我们的参数connection*,是__accepter要传的。
理解重要概念:派发
tcp_server.hpp
在dispather中,我们需要先获取到所有就绪的事件!
所以我们要写一个,从epoll中捞取所有就绪事件的接口。
poll.hpp
所以dispather就是这样了
已经拿到就绪的事件了,如何处理
其实就是
这里面的for循环怎么去写了。
注意细节
首先,为什么要判断这个套接字在不在map中呢?因为服务器会有大量的异常情况,可能走到这里的时候,虽然事件就绪了,但是sock早就被关掉了,释放了,这个时候就要做区分。
写事件也是一样的处理方式
如果这个sock在map里面(表示这个sock是合法的),与此同时,这个回调不是空指针(被设置过) 执行这个回调!
进行初步的测试
略
完善__accepter函数
tcp_server.hpp
accept回来得到的sock,就是普通的io套接字,是要交给tcpserver托管的,要交给poll的。 所以,读回调,写回调,异常回调,我们在代码中可以先写好。
一共四个回调
所以可以总结了,一共有四个回调!
tcp_server.hpp
__accepter是给监听套接字用的! 后面三个是给普通的io套接字用的!
所以:
此时的__accepter还有问题吗
注意,所有文件描述符都是ET模式,所以:你怎么保证,底层只有一个链接就绪呢?
所以需要while,把这些东西包起来!
因为sock已经被设置成非阻塞了,所以就算一直循环到没有数据,也不会阻塞。
此时,问题来了:如何区分,这个accept的推出是因为读取出错了,还是因为底层已经读完了(没有数据了)呢?所以要加以区分。

所以sock.hpp的accept可以多加上一个参数,表示errno这个码,我们就能在上层区分了
所以这种形式才是对的 tcp_server.hpp
此时进行一个测试

发现__recver的回调成功了!
编写__recver
和accept其实差不太多,反正读取要while读取,因为是ET非阻塞,要读完。
读取进来的数据,直接丢到缓冲区里面去!如果测试,我们就能看到缓冲区是叠加的!

解耦上层业务
现在我们把报文都读进来了,然后当然我们要分割这些报文,问题是,分割好之后干什么?
如果是web服务器,分割好的都是一个一个http报文,所以我们应该分析http报文,作出对应的回应。
如果是其他服务器,业务逻辑就不同了。因为我们要解耦合,把上层业务逻辑分割出去。
分割出一个一个报文之后,当成放到request里面,传给business_func_t,让他去对这些报文做处理。
所以这个,交给上层处理!上层的代码 web_server.hpp 我就不给大家讲解了,可以直接看代码。
如何响应
当响应构建好之后,要发给客户端,也就是要调用 __sender 了。那么怎么让服务器发送呢?
我们构建ET模式的时候,只关心了读事件,写事件压根儿没被打开,所以现在是发不了的!那怎么发?
两个步骤:
需要完整的发送的逻辑
要触发发送这个动作
完成发送的逻辑
和前面一样,不重复解释。
触发发送
一旦开启EPOLLOUT,epoll回立刻自动触发一次事件就绪,如果后续保持发送的开启,epoll会一直发。
所以需要这么一个函数
所以此时:__sender里面要补充。
如果此次调用__sender已经把数据发完了,就要关闭写事件!enable_read_write(conn, true, false);。
谁打开的写事件?业务逻辑那里触发!
web_server.hpp
__excepter处理
至此,服务器全部搞定!
Last updated