Linux下的reactor机制实现

Linux下的reactor实现

在介绍reactor实现之前，我们先了解一下网络后台服务器架构

reactor

在reactor模型中，存在Reactor，Accepror，Handler三个对象，其主要实现的，是事件驱动机制

• Reactor 监听与分发事件
• Acceptor 获取连接
• Handler 处理业务逻辑

reactor特性

• 事件驱动
• 并发/多任务
• IO多路复用

reactor的三种模型

单reactor的多线程模式

执行模式：客户端向服务器发送请求时，服务器在线程池中发放任务，由线程进行处理，值得注意的是，此模式中Handler并不会处理业务逻辑，而是只负责数据的接收与发送，Handler对象接收到数据后，交由线程池的Processor对象进行业务处理，处理完之后，再将结果返回给Handler对象。其优势在于能够充分利用多核CPU的性能，但因为引入的多线程，存在多线程竞争资源的问题。

reactor的单进程/线程模式

执行模式：使用 io层架构，一般使用epoll，客户端发起请求后，服务器将请求交给线程进行处理。 单进程的方案因为全部的工作都在同一个进程中完成，所以实现起来比较简单，不需要考虑进程间通讯，也不用考虑多进程竞争。

多reactor的多线程模式

执行模式：Web服务器将业务逻辑交给 main Reactor，main Reactor则管理着若干个sub reactor 每个sub reactor又关联了一个线程池。不过，使用线程池的方式来处理IO，因为IO可能会频繁阻塞，导致线程等待时间长，且存在线程频繁切换导致的资源占用。

proactor

与Reactor的区别在于，Proactor完全不使用多线程，就使用异步IO方式来实现并发，并且是异步处理，不用阻塞方式，可以同步执行，但还是会等数据到，io_uring使用的就是这一套模型，整体可以视为存在逻辑上的两个队列，一个是submit queue，一个是complete队列，当任务被加入到submit queue并提交之后，被通过异步的方式进行处理，最终处理的结果在complete queue中，整个过程完全实现异步处理。

ACT（Asynchronous Completion Token 异步处理令牌）

ACT使应用程序能够高效分离并处理对异步操作的响应，ACT既不是阻塞，也不是异步，ACT是应对应用程序的异步调用服务操作，并处理相应的服务完成事件。

应用场景：客户端在发送业务请求并需要第三方资源的时候，同步发起资源请求。为了提升服务器性能，通常异步方式发送请求。但如果是异步，有可能资源准备好了的时候，应用程序的状态发生了变化，所以，服务器可以采用token的方式记录异步发生前的信息，发送给接收方，接收方回复的时候带上这个token，方便用来恢复业务的调用场景

Acceptor-Connector

Acceptor：其负责监听客户端的连接请求，并为每个连接创建连接对象与处理器，接收到客户端连接请求时使用回调函数进行处理。

Connector：其负责主动发起对服务器的连接，并对连接的失败超时等错误进行处理。

reactor的部分实现

//封装EPOLL_ctl，将事件驱动独立出来
int set_event(int fd, int event, int flag) {
	if (flag) {  // non-zero add

		struct epoll_event ev;
		ev.events = event;
		ev.data.fd = fd;
		epoll_ctl(epfd, EPOLL_CTL_ADD, fd, &ev);

	} else {  // zero mod

		struct epoll_event ev;
		ev.events = event;
		ev.data.fd = fd;
		epoll_ctl(epfd, EPOLL_CTL_MOD, fd, &ev);
		
	}
}

/* 实现三个回调函数，分别对应accept、recv、send的处理 */
// listenfd(sockfd) --> EPOLLIN --> accept_cb
int accept_cb(int fd) {

}
// EPOLLIN -> recv_cb -> epoll_ctl(ADD,EPOLLOUT)
int recv_cb(int fd) {
//处理完读事件之后，通过epoll_ctl添加写事件，实现应答机制
}

// EPOLLOUT -> send_cb -> epoll_ctl(ADD,EPOLLIN)
int send_cb(int fd) {
//处理完写事件之后，添加读事件，等待用户发送数据
}


while (1) { // mainloop

struct epoll_event events[1024] = {0};
int nready = epoll_wait(epfd, events, 1024, -1);

	int i = 0;
	for (i = 0;i < nready;i ++) {
		int connfd = events[i].data.fd;
		if (events[i].events & EPOLLIN) {
			conn_list[connfd].r_action.recv_callback(connfd);
		} 
		if (events[i].events & EPOLLOUT) {
			conn_list[connfd].send_callback(connfd);
		}
	}
}

以上部分代码，简单描述了reactor的实现机制，主要强调事件驱动，根据对应的事件调用回调进行处理。