高级I/O编程:从Select、Poll到Epoll的演进与Reactor服务器实现

高级I/O编程

1. 五种IO模型

I/O操作为什么慢?因为 I/O的核心是 等待 + 拷贝(比如 read 操作要先等数据再拷贝,write 同理),但访问外设(像网卡)时等待耗时太长,导致 IO 速度慢。

而高效 IO 的关键,是在单位时间里降低 IO 过程中的等待占比。

  1. 阻塞IO:在内核在将数据准备好之前,在系统调用处会一直等待,所有的套接字,默认都是阻塞方式。

  2. 非阻塞IO :如果内核还未将数据准备好,系统调用会直接返回,并且返回 EWOULDBLOCK 错误码。

    • 非阻塞的方式需要通过循环不断 轮询(反复尝试读写文件描述符),轮询会大量消耗CPU资源。
  3. 信号驱动IO:内核将数据准备好的时候,使用 SIGIO 信号通知进程进行IO操作。

    • 等待数据就绪的时间是异步的(由内核通过信号通知),但将数据从内核空间拷贝到用户空间的过程必须是同步完成的。

    • 信号驱动I/O的核心缺陷是信号可能丢失或合并。

  4. IO多路复用/多路转接:使用 select、poll、epoll 等系统调用监控多个文件描述符,当有事件就绪时,通知进程进行实际的IO操作。

  5. 异步IO:进程发起IO请求后立即返回,内核完成所有工作(等待数据 + 复制到用户空间),完成后通知进程。

    • 与信号驱动的区别:

      • 信号驱动:内核通知何时可以开始IO。

      • 异步IO:内核通知IO操作已完成。

阻塞 VS 非阻塞: 阻塞会因为IO条件不具备,而导致阻塞等待,直到条件就绪;非阻塞检测到IO条件不具备,出错返回。本质的区别是等待数据就绪的方式不同 ,非阻塞 I/O 相比于阻塞 I/O 的效率提升,本质上源自于其在等待数据就绪期间能够执行其他任务 ,而非缩短了内核与用户空间之间的数据拷贝时间实际数据拷贝量是完全相同的,这一环节在两种模型下是同等耗时且不可避免的。

为什么多路复用效率最高:

  • 多路复用的效率飞跃,源于将串行等待并行化,从而消除了等待时间的累加效应。

  • 系统调用的开销减少

  • 减少进程/线程切换上下文的开销

同步IO与异步IO只要程序参与了I/O操作的 等待数据就绪 或 数据拷贝 中的任意一个阶段,就是同步I/O。只有这两个阶段完全由内核完成,才是真正的异步I/O。

2. 非阻塞 IO 之 fcntl

文件描述符默认都是阻塞IO

fcntl系统调用: 对已打开的文件描述符进行各种控制操作。底层本质是修改内核中 struct file 的属性。

函数原型:

c 复制代码
#include <fcntl.h>
#include <unistd.h>

int fcntl(int fd, int cmd, ... /* arg */); // 传入的cmd值的不同,后面可变参数也不同

根据cmd参数的不同,功能也对应不同。

参数:

  • fd: 要操作的文件描述符。

  • cmd: 控制命令,决定函数的行为。

    • F_FUPFD: 复制文件描述符

    • F_GETFD/F_SETFD: 获得/设置文件描述符标记

    • F_GETFL/F_SETFL: 获得/设置文件状态标记

    • F_GETOWN/F_SETOWN: 获得/设置异步I/O所有权

实现将文件描述符设置为非阻塞的函数SetBlock

cpp 复制代码
void SetNonBlock(int fd) {
    int fl = fcntl(fd, F_GETFL);
    if (fl < 0) {
        perror("fcntl");
        return;
    } 

    fcntl(fd, F_SETFL, fl | O_NONBLOCK); // O_NONBLOCK:将fd设置为非阻塞
}

int main()
{
    SetNonBlock(0);

    char buffer[1024];
    while (true)
    {
        // Linux中ctrl + d:标识输入结束,read返回值是0,类似读到文件结尾
        ssize_t n = read(0, buffer, sizeof(buffer) - 1);
        if (n > 0)
        {
            buffer[n - 1] = 0;    // 消除换行符的同时 + '\0'
            std::cout << buffer << std::endl;
        }
        else if (n < 0)
        {
            // 1. 读取出错 2. 底层没有数据准备好
            // eagain ewouldblock
            if(errno == EAGAIN || errno == EWOULDBLOCK) // 错误码
            {
                std::cout << "数据没有准备好..." << std::endl;
                sleep(1);
                // 做你的事情
                continue;
            }
            else if(errno == EINTR)    // read被信号打断
            {
                continue;
            }
            else
            {
                // 真正的read出错了
            }
        }
        else
        {
            break;
        }
    }
}
  • F_GETFL 返回值文件状态标志的位图。

  • EINTR(Error Interrupted)表示系统调用被信号中断(read被中断)。

  • EAGAIN / EWOULDBLOCK 表示资源没有就绪。

3. select

3.1 接口介绍

I/O = 等 + 拷贝,select 是 I/O 多路复用中常用的系统调用,用于同时等待多个fd的事件就绪通知机制。

  • select主要负责等。

  • 可读:底层有数据,读事件就绪。

  • 可写:底层有空间,写事件就绪。

函数原型:

c 复制代码
#include <sys/select.h>

int select(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, struct timeval *timeout);

参数:

  • nfds: 需要监听的最大文件描述符值 + 1。

  • readfds、writefds、exceptfds: 输入输出型参数,分别对应需要检测的文件描述符,可读事件的集合、可写事件的集合及异常事件的集合。

    • 设置的时候:用户告诉内核,需要监听哪些fd上面的对应事件。

    • 返回的时候:内核告诉用户,监听的fd上面的对应事件已经就绪。

    • fd_set 类型:是一个位图结构 。低位 -> 高位分别代表文件描述符0、1、2...,位为1表示文件描述符在该事件集合中,位为0表示文件描述符不在该事件集合中。同时,还提供了操作该位图类型的接口

      c 复制代码
        /* fd_set 的典型实现(不同系统可能略有差异) */
      
        /* 在 /usr/include/sys/select.h 或类似位置 */
      
        /* 定义最大文件描述符数 */
        #define FD_SETSIZE 1024  /* 默认值,可通过编译时修改 */
      
        typedef long int __fd_mask;
      
        /* fd_set 结构定义 */
        #define __NFDBITS (8 * (int) sizeof (__fd_mask))
        typedef struct {
            __fd_mask __fds_bits[FD_SETSIZE / __NFDBITS];
            /* 或者在某些系统上是: */
            /* __fd_mask fds_bits[howmany(FD_SETSIZE, __NFDBITS)]; */
        } fd_set;
    • fd_set类型最大可以监听的文件描述符个数:sizeof(fd_set) * 8 = 1024 根据系统版本的不同,该值可能会有变化。但是是有上限的

    • fd_set 操作接口:

      c 复制代码
      // 用来清除 fd_set 类型的全部比特位
      void FD_ZERO(fd_set *set);
      
      // 用来设置 fd_set 类型中相关 fd 的比特位  
      void FD_SET(int fd, fd_set *set);
      
      // 用来清除 fd_set 类型中相关 fd 的比特位
      void FD_CLR(int fd, fd_set *set);
      
      // 用来检测 fd_set 类型中相关 fd 的比特位是否为真
      int  FD_ISSET(int fd, fd_set *set);
  • timeout: 设置 select 的超时时间。

    c 复制代码
    struct timeval
    {
        time_t tv_sec;  /* Seconds */
        suseconds_t tv_usec;    /* Microseconds */
    }
    • nullptr: select 阻塞等待,直到某个文件描述符上某个事件就绪。

    • {0 , 0}: 非阻塞等待,立即返回。

    • > 0: 时间内阻塞等待,超时非阻塞返回。

返回值:

  • > 0: 在监控的文件描述符中,至少有一个或多个描述符的就绪事件发生。返回值数字 = 所有集合中已就绪的描述符总数。

    • 假设:描述符3读就绪、描述符4读就绪 + 写就绪,select返回值 = 3。
  • = 0: timeout 设置的时间超时或非阻塞方式等待但没有事件就绪时。

  • -1: select 出错,errno被设置。

3.2 SelectServer.hpp

cpp 复制代码
#pragma once

#include "Socket.hpp"
#include <memory>
#include <sys/select.h>

class SelectServer{
    const static int fds_size = sizeof(fd_set) * 8;
    const static int default_fd = -1;
    public:
        SelectServer(uint16_t port)
            :_sockptr(std::make_unique<SocketModule::TcpSocket>())
            ,_is_running(false)
        {
            // 创建TCP套接字
            _sockptr->buildTcpListenSocket(port);

            // 初始化 _fds
            for(int i = 0; i < fds_size; i++)
                _fds[i] = default_fd;

            // 添加 listenfd
            _fds[0] = _sockptr->getfd();
        }

        void start() {
            _is_running = true;
            while(_is_running) {
                // rfds 需要每次重置
                fd_set rfds;
                FD_ZERO(&rfds);
                int maxfd = default_fd;
                // 根据辅助数组赋值
                for(int i = 0; i < fds_size; i++) {
                    if(_fds[i] == default_fd)
                        continue;
                    // 设置 rfds 对应比特位
                    FD_SET(_fds[i] , &rfds);
                    // 更新 maxfd
                    maxfd = std::max(maxfd , _fds[i]);
                }
                // 打印 _fds
                printFds();

                // struct timeval timeout = {0 , 0};
                // 阻塞方式 仅设置监听读事件
                int n = select(maxfd + 1 , &rfds , nullptr , nullptr , nullptr);
                if(n < 0) {
                    LogModule::LOG(LogModule::LogLevel::ERROR) << "select error";
                    break;
                } else if(n == 0) {
                    LogModule::LOG(LogModule::LogLevel::INFO) << "select timeout...";
                    continue;
                } else {
                    // 事件就绪调用事件派发器
                    dispatcher(rfds);
                }
            }
            _is_running = false;
        }

        void accepter() {
            // 获取与客户端的新连接 accept不会被阻塞
            InetAddr client;
            int sockfd = _sockptr->accept(&client);
            if(sockfd < 0) {
                return;
            }
            LogModule::LOG(LogModule::LogLevel::INFO) << "get a new link socket: " << sockfd << " - client: " << client.showIpPort();

            int i = 0; 
            for(; i < fds_size; i++) {
                if(_fds[i] == default_fd)
                    break;
            }
            // _fds 已满
            if(i == fds_size) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "select fd_set full";
                close(sockfd);
            } else {
                // 添加到辅助数组中
                _fds[i] = sockfd;
            }
        }

        void printFds() {
            std::cout << "_fds[] = ";
            for(int i = 0; i < fds_size; i++) {
                if(_fds[i] != default_fd)
                    std::cout << _fds[i] << " ";
            }
            std::cout << std::endl;
        }

        void recver(int pos) {
            char buffer[4096];
            // 这里读取有bug 读取的可能不是一个完整的报文
            ssize_t n = ::recv(_fds[pos] , buffer , sizeof(buffer) - 1, 0); //recv 不会阻塞
            if(n > 0) {
                buffer[n - 1] = 0;
                std::cout << "client echo: " << buffer << std::endl;
            } else if(n == 0) {
                // client quit
                close(_fds[pos]);
                _fds[pos] = default_fd;
            } else {
                // recv error
                LogModule::LOG(LogModule::LogLevel::ERROR) << "recv error";
                close(_fds[pos]);
                _fds[pos] = default_fd;
            }
        }

        // 事件分发器
        void dispatcher(fd_set& rfds) {
            for(int i = 0; i < fds_size; i++) {
                if(_fds[i] == default_fd)
                    continue;
                // 
                if(FD_ISSET(_fds[i] , &rfds)) {
                    if(_fds[i] == _sockptr->getfd())
                        accepter();
                    else
                        recver(i);
                }
            }
        }
    private:
        std::unique_ptr<SocketModule::Socket> _sockptr;
        bool _is_running;

        // select 辅助数组记录需要监听的文件描述符
        int _fds[fds_size];
};

3.3 select优缺点

特点:

  • 跨平台兼容性好:几乎所有操作系统都支持,代码可移植性强。

  • 需要构建辅助数组,将监视的文件描述符永久保存到辅助数组中,因为 readfds、writefds、exceptfds 是输入输出型参数, 当 select 返回后,fd_set 集合中只保留就绪的文件描述符,原始集合被破坏。

缺点:

  • 事件就绪和设置事件监听不是分离的,通过输入输出型参数同时控制,因此每次调用 select 时,都需要手动重新设置监听的 fd 集合。

  • 内核底层也会通过 nfds 和用户设置的监听文件描述符事件 遍历文件描述符数组。效率比较低。

  • select 支持的文件描述符数量有上限。

4. poll

4.1 接口介绍

poll 是 select 的改进版本,解决了 select 一些问题,但仍然有瓶颈。

函数原型:

c 复制代码
#include <poll.h>

int poll(struct pollfd *fds, nfds_t nfds, int timeout);

参数:

  • fds: 一个结构体数组。

    • struct pollfd 类型:

      c 复制代码
      struct pollfd {
        int   fd;         /* 文件描述符 */
        short events;     /* 等待的事件 是一个位图通过按位或的方式 */
        short revents;    /* 实际发生的事件 是一个位图通过按位或的方式 */
      };
    • 调用的时候:fd + events 有效,用户告诉内核,监听 fd 对应的 events 事件。

    • 返回的时候:fd + revents 有效,内核告诉用户,fd 的 revents 事件就绪。

  • nfds: fds的数组长度。

  • timeout: 超时时间。

    • -1: 阻塞等待,直到有事件就绪。

    • 0: 立即返回,非阻塞模式。

    • > 0: 等待的毫秒数。

返回值:

  • > 0: 在监控的文件描述符中,至少有一个或多个描述符的就绪事件发生。返回值数字 = 已就绪的描述符总数。

    • 假设:描述符3读就绪、描述符4读就绪 + 写就绪,poll返回值 = 2。
  • = 0: timeout 设置的时间超时或非阻塞方式等待但没有事件就绪时。

  • -1: poll 出错,errno被设置。

events 与 revents 的取值:

事件 描述 是否可作为输入 是否可作为输出
POLLIN 数据(包括普通数据和优先数据)可读
POLLRDNORM 普通数据可读
POLLRDBAND 优先级带数据可读(Linux 不支持)
POLLPRI 高优先级数据可读,比如 TCP 带外数据
POLLOUT 数据(包括普通数据和优先数据)可写
POLLWRNORM 普通数据可写
POLLWRBAND 优先级带数据可写
POLLRDHUP TCP 连接被对方关闭,或者对方关闭了写操作(GNU 引入)
POLLERR 错误
POLLHUP 挂起(如管道写端关闭后,读端描述符将收到 POLLHUP 事件)
POLLNVAL 文件描述符没有打开

4.2 PollServer.hpp

c 复制代码
#pragma once

#include "Socket.hpp"
#include <memory>
#include <poll.h>

class PollServer{
    const static int default_fd = -1;
    const static int default_capacity = 1;
    public:
        PollServer(uint16_t port)
            :_sockptr(std::make_unique<SocketModule::TcpSocket>())
            ,_is_running(false)
            ,_capacity(default_capacity)
        {
            // 创建TCP套接字
            _sockptr->buildTcpListenSocket(port);

            // 初始化 _fds
            _fds = new struct pollfd[16];
            for(int i = 0; i < _capacity; i++)
                _fds[i] = {default_fd , 0 , 0};

            // 监听 listenfd 读事件
            _fds[0] = {_sockptr->getfd() , POLLIN , 0};
        }

        void start() {
            _is_running = true;
            while(_is_running) {
                
                // 打印 _fds
                printFds();

                // 阻塞方式
                int n = poll(_fds , _capacity , -1);
                if(n < 0) {
                    LogModule::LOG(LogModule::LogLevel::ERROR) << "poll error";
                    break;
                } else if(n == 0) {
                    LogModule::LOG(LogModule::LogLevel::INFO) << "poll timeout...";
                    continue;
                } else {
                    // 事件就绪调用事件分发器
                    dispatcher();
                }
            }
            _is_running = false;
        }

        void accepter() {
            // 获取与客户端的新连接 accept不会被阻塞
            InetAddr client;
            int sockfd = _sockptr->accept(&client);
            if(sockfd < 0) {
                return;
            }
            LogModule::LOG(LogModule::LogLevel::INFO) << "get a new link socket: " << sockfd << " - client: " << client.showIpPort();
            
            int i = 0; 
            for(; i < _capacity; i++) {
                if(_fds[i].fd == default_fd)
                    break;
            }
            // _fds 已满
            if(i == _capacity) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "poll fds full";
                // 扩容
                struct pollfd* temp = new struct pollfd[_capacity * 2];
                for(int i = 0; i < _capacity; i++) {
                    temp[i] = _fds[i];
                }
                for(int i = _capacity; i < _capacity * 2; i++) {
                    temp[i] = {default_fd , 0 , 0};
                }
                delete[] _fds;
                _fds = temp;
                _capacity *= 2;
            } 
            LogModule::LOG(LogModule::LogLevel::DEBUG) << "poll relloc capaciyt: " << _capacity;
            // 添加到辅助数组中·
            _fds[i].fd = sockfd;
            _fds[i].events = POLLIN;
            _fds[i].revents = 0;
        }

        void printFds() {
            std::cout << "_fds[] = ";
            for(int i = 0; i < _capacity; i++) {
                if(_fds[i].fd != default_fd)
                    std::cout << _fds[i].fd << " ";
            }
            std::cout << std::endl;
        }

        void recver(int pos) {
            char buffer[4096];
            // 这里读取有bug 读取的可能不是一个完整的报文
            ssize_t n = ::recv(_fds[pos].fd , buffer , sizeof(buffer) - 1, 0); //recv 不会阻塞
            if(n > 0) {
                buffer[n - 1] = 0;
                std::cout << "client echo: " << buffer << std::endl;
            } else if(n == 0) {
                // client quit
                close(_fds[pos].fd);
                _fds[pos].fd = default_fd;
                _fds[pos].events = 0;
                _fds[pos].revents = 0;
            } else {
                // recv error
                LogModule::LOG(LogModule::LogLevel::ERROR) << "recv error";
                close(_fds[pos].fd);
                _fds[pos].fd = default_fd;
                _fds[pos].events = 0;
                _fds[pos].revents = 0;
            }
        }

        // 事件分发器
        void dispatcher() {
            for(int i = 0; i < _capacity; i++) {
                if(_fds[i].fd == default_fd)
                    continue;
                // 该文件描述符的读事件就绪
                if(_fds[i].revents & POLLIN) {
                    if(_fds[i].fd == _sockptr->getfd())
                        accepter(); // 获取新连接
                    else
                        recver(i);  // 某个连接读事件就绪
                }
            }
        }
    private:
        std::unique_ptr<SocketModule::Socket> _sockptr;
        bool _is_running;

        // poll 结构体数组 可以通过 new 来动态扩容
        struct pollfd* _fds;
        unsigned int _capacity;
};

4.3 poll的优缺点

优点:

  • 不同于 select 使用三个位图方式,poll 使用一个结构体指针数组实现。

  • poll 通过 events 和 revents 将设置监听与返回时事件就绪分离,无需每次调用设置。

  • poll 没有 fd 数量限制。

缺点:

  • 无论用户还是内核都需要大量的遍历操作,随着监听的文件描述符数量的增多,效率也会线性下降。

5. epoll

epoll 是 Linux 内核实现的高效 I/O 事件通知机制,用于处理大量文件描述符的 I/O 事件。它是 select/ poll 的增强版本。

它几乎具备了之前所说的一切优点,被公认为Linux2.6下性能最好的多路I/O就绪通知方法.

5.1 epoll_create

创建 epoll 实例,内核中创建对应的数据结构

函数原型:

c 复制代码
#include <sys/epoll.h>

int epoll_create(int size);

参数:

  • size: 该参数在现代内核中已废弃,但仍需传递大于 0 的值。

返回值:

  • 成功:返回新的 epoll 文件描述符。

  • 失败:返回 -1,并设置 errno

5.2 epoll_ctl

向 epoll 实例中添加、修改、删除要监控的文件描述符。内核中注册回调机制。

函数原型:

c 复制代码
int epoll_ctl(int epfd, int op, int fd, struct epoll_event *event);

参数:

  • epfd: epoll 实例的文件描述符(由 epoll_create() 返回)。

  • op: 操作类型,必须是以下之一:

    • EPOLL_CTL_ADD: 添加新的文件描述符到 epoll 实例中。

    • EPOLL_CTL_MOD: 修改已注册的文件描述符的监听事件。

    • EPOLL_CTL_DEL: 从 epoll 实例中删除文件描述符及事件。

  • fd: 要操作的目标文件描述符。

  • event: 事件配置的结构体指针。

    • struct epoll_event:
    c 复制代码
    typedef union epoll_data {
        void        *ptr;     // 用户自定义指针
        int          fd;      // 文件描述符(常用)
        uint32_t     u32;     // 32位整数
        uint64_t     u64;     // 64位整数
    } epoll_data_t;
    
    struct epoll_event {
        uint32_t     events;  // Epoll 事件(位掩码)
        epoll_data_t data;    // 用户数据(事件触发时返回)
    };

events可以是如下的取值:

  • EPOLLIN: 表示对应的文件描述符可以读 (包括对端SOCKET正常关闭);

  • EPOLLOUT: 表示对应的文件描述符可以写;

  • EPOLLPRI: 表示对应的文件描述符有紧急的数据可读 (这里应该表示有带外数据到来);

  • EPOLLERR: 表示对应的文件描述符发生错误;

  • EPOLLHUP: 表示对应的文件描述符被挂断;

  • EPOLLET: 将EPOLL设为边缘触发(Edge Triggered)模式,默认为水平触发(Level Triggered)。

  • EPOLLONESHOT:只监听一次事件,当监听完这次事件之后,如果还需要继续监听这个socket,需要 epoll_ctl 重新添加。

返回值:

  • 成功:返回0。

  • 失败: 返回 -1 ,并设置 errno

5.3 epoll_wait

等待被监控的文件描述符上事件就绪,并返回就绪的事件列表。

函数原型:

c 复制代码
int epoll_wait(int epfd, struct epoll_event *events, int maxevents, int timeout);

参数:

  • epfd: epoll 实例的文件描述符(由 epoll_create() 返回)。

  • events: 用于接收就绪事件的数组指针,由调用者分配内存。

  • maxevents: 每次调用最多返回的事件数量,必须大于 0,且不能超过 events 数组大小。

  • timeout: 超时时间(毫秒)

    • -1: 阻塞等待,直到有时间发生。

    • 0: 立即返回,即使没有时间就绪。

    • > 0: 等待指定毫秒数后返回。

返回值:

  • 成功:返回就绪的文件描述符数量。

  • 失败:返回 -1,并设置 errno

  • 超时:返回0。

5.4 epoll 原理

内核中的 epoll 模型:

c 复制代码
// 内核源码中的关键结构(简化版)
struct eventpoll {
    // 红黑树根节点:存储所有监控的 fd
    struct rb_root rbr;
    
    // 双向链表:存储就绪的 fd
    struct list_head rdllist;
    
    // 等待队列:存放调用 epoll_wait 而阻塞的进程
    wait_queue_head_t wq;
    
    // 互斥锁
    struct mutex mtx;
    
    // 其他字段...
};

// 红黑树中和就绪队列中的节点
struct epitem {
    // 红黑树节点
    struct rb_node rbn;
    
    // 双向链表节点(用于就绪链表)
    struct list_head rdllink;
    
    // 监控的文件描述符
    int fd;
    
    // 监控的事件
    uint32_t events;
    
    // 用户数据
    epoll_data_t data;
    
    // 指向所属的 eventpoll
    struct eventpoll *ep;
    
    // 等待队列项(用于回调)
    struct wait_queue_entry wq;
};
  • epoll 模型的核心由三部分构成:用于管理文件描述符及事件的红黑树、存放就绪事件的就绪队列、以及当事件发生时由内核触发的回调函数。

  • 每一个 epoll 对象都有一个独立的 eventpoll 结构体,其中包含了红黑树和就绪队列。

  • 红黑树的本质是允许用户主动向内核注册特定文件描述符及其关注的事件类型。

    • 这些事件会以节点的方式挂载到红黑树上,因此效率提高了。

    • 红黑树的 key 是 fd。

  • 就绪队列本质是内核告诉用户哪些文件描述符的哪些事件已就绪。

    • 用户、内核、就绪队列,可以理解为基于事件就绪的生产者消费者模型。

    • 获取就绪事件,如果缓冲区大小不够怎么办?因为是生产者消费者模型,下次继续拿。

    • 检测是否有事件就绪,时间复杂度O(1),只需要关心就绪队列是否为空即可。

  • eventpoll 中包含了互斥锁和条件变量,因此,epoll 是线程安全的。

  • 红黑树中的每一个节点都会被注册一个回调机制,当该文件描述符上的事件就绪,会自动调用回调,激活红黑树中的节点到就绪队列中。只有指针操作,时间复杂度O(1)。

    • epitem 节点既可以属于红黑树,又可以属于就绪队列。

    • 回调机制也被通过链表管理起来了,因为同一个文件描述符可能会被不同的 epoll 实例同时监控。

  • epoll_wait 中的 events,内核会严格按照下标0开始,依次拷贝,应用层不需要向 select 或 poll 一样进行非法检测。

  • epoll_create 内核中在创建 eventpoll 结构体,本质是创建内核数据结构(红黑树和就绪队列)。

  • epoll_ctl 内核中在红黑树中增加、修改、或删除节点,添加节点时向该节点注册回调方法。

  • 为什么 epoll_create 返回值是一个文件描述符,如何根据文件描述符找到 eventpoll 结构?

    • struct files_struct -> fd_array[4] -> struct file -> void* private_data -> struct eventpoll

5.5 epoll 的特点

  • 文件描述符没有数量限制。

  • 解决了用户设置监听事件与内核告诉用户哪些事件就绪的分离。

  • 通过事件回调机制,避免使用遍历。

5.6 epoll 的LT模式与ET模式

epoll 默认模式为 LT 模式。设置 ET 模式将 events 添加 EPOLLET 标志位。

LT(Level Trigger):水平触发,只要有事件就绪,就一直通知你。

  • 有10个就绪,你只读走5个,之后会一直通知

  • 如果10kb数据,只读走2kb数据,则之后会一直通知。

ET(Edge Trigger):边缘触发,只有当事件就绪状态变化时,才通知你一次。

  • 有10个就绪,只读走5个,如果没有新的事件就绪,则不会继续通知。

  • 如果10kb数据,只读走2kb数据,除非有新的数据到来,否则不会通知。

总结:

  • 使用 ET 模式必须一次性读完所有数据,否则可能会造成数据丢失。

  • 在ET模式下,用户程序无法预知底层缓冲区是否读完,因此必须使用非阻塞I/O进行循环读取,直到 recv 返回 EAGAIN 错误(表示缓冲区已空),否则剩余数据将无法再次触发事件通知。

  • ET 比 LT 更高效

    • ET通知效率更高,因为ET每次都是有效通知。

    • ET迫使上层尽快读完所有的数据,可以给对方更新一个更大的win窗口(tcp接收缓冲区大小),提高对方滑动窗口的大小,提高 TCP 的传输效率。

LT 也可以和 ET 类似循环读取,为什么还要有 ET?
增加 IO 读写方式的确定性,使用 ET 模式是 OS 在约束程序员,如果一次性不读完则代码是存在bug的。若使用 LT 模式,没有人约束程序员,存在不确定性。

6. 多路转接设置监听写事件

  • 读事件默认是不就绪的,写事件是默认就绪的。

  • 读事件监听要常设,而写事件监听是按需设置的。

  • 当发送失败时,再将写事件的监听设置到 epoll 内部。

  • 手动开启 EPOLLOUT 的监听时,默认就会触发一次写事件就绪(即使发送缓冲区是满的·)。

7. 基于 Reactor 反应堆模式的服务器

7.1 Common.hpp

cpp 复制代码
#pragma once

#include <iostream>
#include <string>
#include <sys/types.h>
#include <sys/socket.h>
#include <netinet/in.h>
#include <arpa/inet.h>
#include <memory>
#include <fcntl.h>
#include <unistd.h>
#include <functional>

enum ExitCode{
    OK = 0,
    SOCKET_ERROR,
    BIND_ERROR,
    LISTEN_ERROR,
    USAGE_ERROR,
    CONNECT_ERROR,
    FORK_ERRO
};

class NoCopy{
    public:
        NoCopy() = default;
        ~NoCopy() = default;
        NoCopy(const NoCopy&) = delete;
        NoCopy& operator=(const NoCopy&) = delete;
};

// 设置文件描述符为非阻塞
void setNonBlock(int fd) {
    int fl = fcntl(fd , F_GETFL);
    if(fl < 0) {
        perror("fcntl");
        return;
    }
    fcntl(fd, F_SETFL , fl | O_NONBLOCK);
}

7.2 Mutex.hpp

cpp 复制代码
// Mutex.hpp
#pragma once

#include <pthread.h>

class Mutex{
    public:
        Mutex() {
            pthread_mutex_init(&_mutex , nullptr);
        }

        void lock() {
            int n = pthread_mutex_lock(&_mutex);
            (void)n;
        }

        void unlock() {
            int n = pthread_mutex_unlock(&_mutex);
            (void)n;
        }

        pthread_mutex_t* getMutex() {
            return &_mutex;
        }

        ~Mutex() {
            pthread_mutex_destroy(&_mutex);
        }
    private:
        pthread_mutex_t _mutex;
};
// 基于 RAII 的互斥锁
class MutexGuard{
    public:
        MutexGuard(Mutex& mutex)
            :_mutex(mutex)
        {
            _mutex.lock();
        }
        ~MutexGuard() {
            _mutex.unlock();
        }
    private:
        Mutex& _mutex;
};

7.3 Log.hpp

cpp 复制代码
#pragma once

#include <iostream>
#include <fstream>
#include <sstream>
#include <string>
#include <memory>
#include <filesystem>
#include <sys/types.h>
#include <unistd.h>
#include <ctime>
#include "Mutex.hpp"

namespace LogModule{
    // 定义一个刷新策略的基类
    class FlushStrategy{
        public:
            virtual void synlog(const std::string&) = 0;
            FlushStrategy() = default;
            ~FlushStrategy() = default;
    };

    class ConsoleFlushStrategy : public FlushStrategy{
        public:
            virtual void synlog(const std::string& message) override {
                MutexGuard mg(_mutex);
                std::cout << message << std::endl;
            }
        
            ConsoleFlushStrategy() = default;
            ~ConsoleFlushStrategy() = default;
        private:
            Mutex _mutex;
    };

    const std::string default_path = "./log";
    const std::string default_name = "log.log";
    class FileFlushStrategy : public FlushStrategy{
        public:
            virtual void synlog(const std::string& message) override {
                MutexGuard mg(_mutex);
                std::string pathname = _path + (_path.back() != '/' ? "/" : "") + _name;
                std::ofstream file(pathname , std::ios::app);
                if(!file.is_open()) {
                    std::cerr << "文件打开失败" << std::endl;
                    return;
                }
                file << message << std::endl;
                file.close();
            }
            FileFlushStrategy(const std::string& path = default_path , const std::string& name = default_name)
                :_path(path) , _name(name)
            {
                // 这里主要负责路径不存在创建路径
                if(!std::filesystem::exists(_path)) {
                    try
                    {
                        std::filesystem::create_directory(_path);
                    }
                    catch(const std::exception& e)
                    {
                        std::cerr << e.what() << '\n';
                    }
                }
            }
            ~FileFlushStrategy() = default;
        private:
            std::string _path;  // 日志文件所在的路径
            std::string _name;  // 日志文件的名字
            Mutex _mutex;
    };

    // 日志等级
    enum class LogLevel{
        DEBUG , INFO , WARNING , ERROR , FATAL
    };

    std::string LogLevelToString(LogLevel level) {
        switch(level) {
            case LogLevel::DEBUG:
                return "DEBUG";
            case LogLevel::INFO:
                return "INFO";
            case LogLevel::WARNING:
                return "WARNING";
            case LogLevel::ERROR:
                return "ERROR";
            case LogLevel::FATAL:
                return "FATAL";
            default:
                return "UNKNOWN";
        }
    }

    std::string GetTime() {

        // struct tm {
        //     int tm_sec;    /* Seconds (0-60) */
        //     int tm_min;    /* Minutes (0-59) */
        //     int tm_hour;   /* Hours (0-23) */
        //     int tm_mday;   /* Day of the month (1-31) */
        //     int tm_mon;    /* Month (0-11) */
        //     int tm_year;   /* Year - 1900 */
        //     int tm_wday;   /* Day of the week (0-6, Sunday = 0) */
        //     int tm_yday;   /* Day in the year (0-365, 1 Jan = 0) */
        //     int tm_isdst;  /* Daylight saving time */
        // };
        
        struct tm cur_time;
        time_t timestamp = time(nullptr);
        // 可重入的函数
        localtime_r(&timestamp , &cur_time);
        char format[64];
        snprintf(format , sizeof(format) , "%02d-%02d-%02d %02d:%02d:%02d" , 
            cur_time.tm_year + 1900,
            cur_time.tm_mon + 1,
            cur_time.tm_mday,
            cur_time.tm_hour,
            cur_time.tm_min,
            cur_time.tm_sec
        );
        return format;
    }

    // 日志类
    class Logger{
        public:
            Logger() {
                enableConsoleFlushStrategy();
            }

            void enableConsoleFlushStrategy() {
                // make_unique返回的是一个右值对象,这里调用的是unique_ptr的移动赋值
                _flush_strategy = std::make_unique<ConsoleFlushStrategy>();
            }

            void enableFileFlushStrategy() {
                _flush_strategy = std::make_unique<FileFlushStrategy>();
            }
            
            // 表示一条完整的日志消息
            class LogMessage{
                public:
                    LogMessage(LogLevel level , const std::string& filename , int line , Logger& logger) 
                        :_cur_time(GetTime())
                        ,_log_level(level)
                        ,_pid(getpid())
                        ,_cur_file(filename)
                        ,_line_number(line)
                        ,_logger(logger)
                    {
                        // [2025-10-30 12:24:30][DEBUG][102939][Main.cc][10] - 
                        // 日志的左半部分
                        std::stringstream ss;
                        ss << "[" << _cur_time << "]"
                           << "[" << LogLevelToString(_log_level) << "]"
                           << "[" << _pid << "]"
                           << "[" << _cur_file << "]"
                           << "[" << _line_number << "]"
                           << " - ";
                        
                        message = ss.str();
                    }

                    // 日志的右半部分
                    template<typename T>
                    LogMessage& operator<<(const T& info) {
                        std::stringstream ss;
                        ss << info;
                        message += ss.str();
                        return *this;
                    }

                    ~LogMessage() {
                        // 智能指针不能为空
                        if(_logger._flush_strategy)
                            _logger._flush_strategy->synlog(message);
                    }
                private:
                    std::string _cur_time;
                    LogLevel _log_level;
                    pid_t _pid;
                    std::string _cur_file;
                    int _line_number;
                    std::string message;    // 保存一条完整的日志消息
                    Logger& _logger;
            };  

            // 这里故意返回临时的 LogMessage 对象
            LogMessage operator()(LogLevel level ,const std::string& filename , int line) {
                // 只会调用一次析构函数
                return LogMessage(level , filename , line , *this);
            }
        private:
            std::unique_ptr<FlushStrategy> _flush_strategy;
    };

    // 全局的日志对象
    Logger log;

    // 使用宏,简化用户操作,获取文件名和行号
    #define LOG(le)                           log(le , __FILE__ , __LINE__)
    #define ENABLE_CONSOLE_FLUSH_STRATEGY()   log.enableConsoleFlushStrategy()
    #define ENABLE_FILE_FLUSH_STRATEGY()      log.enableFileFlushStrategy()
}

7.4 InetAddr.hpp

cpp 复制代码
#pragma once

#include <sys/types.h>
#include <sys/socket.h>
#include <netinet/in.h>
#include <arpa/inet.h>
#include <string>
#include <cstring>

const std::string any_ip = "0.0.0.0";

// 解析IP地址和端口号的类
class InetAddr{
    public:
        InetAddr() = default;
        // 这个构造函数用来将 struct sockaddr_in 结构体转换为 
        //      - 1.本地序列的字符串风格的点分十进制的IP 
        //      - 2.本地序列的整数端口
        // 网络转主机
        InetAddr(const struct sockaddr_in& addr) 
            :_addr(addr)
        {
            _port = ntohs(addr.sin_port);
            char ip_buffer[64];
            inet_ntop(AF_INET , &addr.sin_addr , ip_buffer, sizeof(ip_buffer));
            _ip = ip_buffer;
        }

        void setSockaddrIn(const struct sockaddr_in& addr) {
            _addr = addr;
            _port = ntohs(addr.sin_port);
            char ip_buffer[64];
            inet_ntop(AF_INET , &addr.sin_addr , ip_buffer, sizeof(ip_buffer));
            _ip = ip_buffer;
        }

        // 主机转网络
        // #define INADDR_ANY 0
        InetAddr(const std::string ip , u_int16_t port) 
            :_ip(ip)
            ,_port(port)
        {
            memset(&_addr , 0 , sizeof(_addr));
            _addr.sin_family = AF_INET;
            _addr.sin_port = htons(_port);
            inet_pton(AF_INET , _ip.c_str() , &_addr.sin_addr);
        }

        InetAddr(u_int16_t port) 
            :_port(port)
            ,_ip(any_ip)
        {
            memset(&_addr , 0 , sizeof(_addr));
            _addr.sin_family = AF_INET;
            _addr.sin_port = htons(_port);
            _addr.sin_addr.s_addr = INADDR_ANY; 
            // inet_pton(AF_INET , _ip.c_str() , &_addr.sin_addr);
        }

        const std::string& getIP() const { return _ip; }
        u_int16_t getPort() const { return _port; }
        const struct sockaddr_in& getSockaddrin() const { return _addr; } 
        const struct sockaddr* getSockaddr() const { return (const struct sockaddr*)&_addr; }
        struct sockaddr* getSockaddr() { return (struct sockaddr*)&_addr; }
        socklen_t getSockaddrLen() const { return sizeof(_addr); }
        
        // 格式化显示IP + Port
        std::string showIpPort() const {
            return "[" + _ip + " : " + std::to_string(_port) + "]";
        }

        bool operator==(const InetAddr& addr) const {
            return _ip == addr.getIP() && _port == addr.getPort(); 
        }
    private:
        struct sockaddr_in _addr;
        std::string _ip;
        u_int16_t _port;
};

7.5 Socket.hpp

cpp 复制代码
#pragma once

#include "Common.hpp"
#include "Log.hpp"
#include "InetAddr.hpp"

namespace SocketModule{
    const static int default_backlog = 16;
    // 设计为虚基类,TCP和UDP的模板类
    class Socket{
        public:
            virtual ~Socket() {}
            virtual void socket() = 0;
            virtual void bind(uint16_t server_port) = 0;
            virtual void listen(int backlog) = 0;
            // virtual std::shared_ptr<Socket> accept(InetAddr* client_addr) = 0;
            virtual int accept(InetAddr* client_addr) = 0;
            virtual void close() = 0;
            virtual int recv(std::string* res) = 0;
            virtual int send(const std::string& message) = 0;
            virtual void connect(const InetAddr& server_addr) = 0;
            virtual int getfd() = 0;
        public:
            void buildTcpListenSocket(uint16_t server_port , int backlog = default_backlog) {
                socket();
                bind(server_port);
                listen(default_backlog);
            }
            void buildTcpClientListendSocket() {
                socket();
            }
    };

    const static int default_sockfd = -1;
    class TcpSocket : public Socket{
        public: 
            TcpSocket() :_sockfd(default_sockfd) {}         // 初始化sockfd为listenfd
            // TcpSocket(int acceptfd) :_sockfd(acceptfd) {}   // 初始化sockfd为accpetfd

            virtual void socket() override {
                _sockfd = ::socket(AF_INET , SOCK_STREAM , 0);
                if(_sockfd < 0) {
                    LogModule::LOG(LogModule::LogLevel::FATAL) << "socket create error";
                    exit(SOCKET_ERROR);
                }
                LogModule::LOG(LogModule::LogLevel::INFO) << "socket create success - sockfd: " << _sockfd;
            }

            virtual void bind(uint16_t server_port) override {
                InetAddr server_addr(server_port);
                int n = ::bind(_sockfd , server_addr.getSockaddr() , server_addr.getSockaddrLen());
                if(n < 0) {
                    LogModule::LOG(LogModule::LogLevel::FATAL) << "bind error";
                    exit(BIND_ERROR);
                }
                LogModule::LOG(LogModule::LogLevel::INFO) << "bind success - sockfd: " << _sockfd;
            }

            virtual void listen(int backlog) override {
                int n = ::listen(_sockfd , backlog);
                if(n < 0) {
                    LogModule::LOG(LogModule::LogLevel::FATAL) << "listen error";
                    exit(LISTEN_ERROR);
                }
                LogModule::LOG(LogModule::LogLevel::INFO) << "listen success - sockfd: " << _sockfd;
            }

            // virtual std::shared_ptr<Socket> accept(InetAddr* client_addr) override {
            int accept(InetAddr* client_addr) override {
                struct sockaddr_in client;
                socklen_t addrlen = sizeof(client);
                int acceptfd = ::accept(_sockfd , (struct sockaddr*)&client , &addrlen);
                if(acceptfd < 0) {
                    return -1;
                }
                client_addr->setSockaddrIn(client);
                return acceptfd;
                // client_addr->setSockaddrIn(client); // 输出型参数
                // return std::make_shared<TcpSocket>(acceptfd);   // 多个服务器可以共享一个客户端的链接
            }

            virtual void close() override {
                if(_sockfd > 0)
                    ::close(_sockfd);   // close(listenfd) 或 close(accpetfd)
            }

            // recv返回值和::recv返回值保持一致
            virtual int recv(std::string* res) override {
                char buffer[4096];
                ssize_t n = ::recv(_sockfd , buffer , sizeof(buffer) , 0);
                *res += buffer; // 读取可能会不完整
                return n;
            }

            virtual int send(const std::string& message) override {
                ssize_t n = ::send(_sockfd , message.c_str() , message.size() , 0);
                return n;
            }

            virtual void connect(const InetAddr& server_addr) override {
                int n = ::connect(_sockfd , server_addr.getSockaddr() , server_addr.getSockaddrLen());
                if(n < 0) {
                    LogModule::LOG(LogModule::LogLevel::FATAL) << "connect server error";
                    exit(CONNECT_ERROR);
                }
            }

            virtual int getfd() override { return _sockfd; }
        private:
            int _sockfd;    // listenfd 或 accpetfd 
    };
}

7.6 Epoller.hpp

cpp 复制代码
#pragma once

#include <unistd.h>
#include <sys/epoll.h>
#include "Log.hpp"

enum EpollerExit{
    EPOLL_CREATE_ERROR = 1,
    EPOLL_CTL_ERROR,
    EPOLL_WAIT_ERROR
};

class Epoller{
    const static int default_fd = -1;
    public:
        Epoller()
            :_epfd(default_fd)
        {
            _epfd = epoll_create(128);
            if(_epfd < 0) {
                LogModule::LOG(LogModule::LogLevel::FATAL) << "epoll create error";
                exit(EPOLL_CREATE_ERROR);
            }
            LogModule::LOG(LogModule::LogLevel::INFO) << "epoll create success - epfd: " << _epfd;
        }

        void addEvent(int fd , uint32_t events) {
            struct epoll_event ep;
            ep.data.fd = fd;
            ep.events = events; 
            int n = epoll_ctl(_epfd , EPOLL_CTL_ADD , fd , &ep);
            if(n < 0) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "epoll add error";
            }
        }

        void modEvent(int fd , uint32_t events) {
            struct epoll_event ep;
            ep.data.fd = fd;
            ep.events = events; 
            int n = epoll_ctl(_epfd , EPOLL_CTL_MOD , fd , &ep);
            if(n < 0) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "epoll mod error";
            }
        }

        void delEvent(int fd) {
            int n = epoll_ctl(_epfd , EPOLL_CTL_DEL , fd , nullptr);
            if(n < 0) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "epoll del error";
            }
        }

        int waitEvent(struct epoll_event* events , int maxevents , int timeout) {
            int n = epoll_wait(_epfd , events , maxevents , timeout);
            if(n < 0) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "epoll wait error";
                return -1;
            } else if(n == 0) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "epoll waitout";
                return -2;
            }
            return n;
        }

        ~Epoller() {
            if(_epfd > 0)
                close(_epfd);
        }
    private:
        int _epfd;
};

7.7 Reactor.hpp

cpp 复制代码
#pragma once

#include <iostream>
#include <unordered_map>
#include "Epoller.hpp"
#include "Connection.hpp"

#define EPOLL_WAIT_SIZE 1024

class Reactor{
    bool connectionIsExist(int key_fd) {
        auto iter = _connect_manager.find(key_fd);
        return iter == _connect_manager.end();
    }

    void dispatcher(int n) {
        for(int i = 0; i < n; i++) {
            int ready_fd = _ep_wait_queue[i].data.fd;
            uint32_t ready_event = _ep_wait_queue[i].events;
            
            // 就绪事件发生错误或客户端断开链接,交到下层I/O事件中处理异常
            if(ready_event & EPOLLERR) {
                ready_event |= (EPOLLIN | EPOLLOUT);
            }
            if(ready_event & EPOLLHUP) {
                ready_event |= (EPOLLIN | EPOLLOUT);
            }

            // 读事件就绪
            if(ready_event & EPOLLIN) {
                // 为了提高代码的鲁棒性,发生错误时,只处理一次,避免处理多次,需判断链接Connection是否存在
                if(!connectionIsExist(ready_fd)) {
                    // 多态调用 Conncetion 的读方法 Connction 可能是 Listener 或 Channel
                    _connect_manager[ready_fd]->recver();
                }
            }

            // 写事件就绪
            if(ready_event & EPOLLOUT) {
                // 为了提高代码的鲁棒性,发生错误时,只处理一次,需判断链接Connection是否存在
                if(!connectionIsExist(ready_fd)) {
                    // 多态调用 Conncetion 的写方法 Connction 可能是 Listener 或 Channel
                    _connect_manager[ready_fd]->sender();
                }
            }
        }
    }
    public:
        Reactor()
            :_epoll_model_ptr(std::make_unique<Epoller>())
            ,_is_running(false)
        {}

        void start() {
            // 增加代码的鲁棒性,若 _connect_manager 为空则不启动服务器
            if(_connect_manager.empty()) {
                return;
            }

            _is_running = true;
            int timeout = -1;   // 阻塞等待
            while(_is_running) {
                PrintConnection();
                int n = _epoll_model_ptr->waitEvent(_ep_wait_queue , EPOLL_WAIT_SIZE , timeout);
                if(n == -1) { // 等待就绪事件失败
                    break;
                } else if(n == -2) {
                    continue; // 超时
                }
                // 就绪事件分发器
                dispatcher(n);
            }
            _is_running = false;    
        }

        void addConnection(std::shared_ptr<Connection> conn) {
            // 1. 判断 connect_manager 是否已经存在 conn
            std::unordered_map<int , std::shared_ptr<Connection>>::iterator iter = _connect_manager.find(conn->getSockfd());
            if(iter != _connect_manager.end()) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "connection have existed";
                return;
            }

            // 2. 获取 Connection 的  fd 与 events
            int fd = conn->getSockfd();
            uint16_t events = conn->getEvents();

            // 3. 将 fd 与 events 添加到 epoller 模型中
            _epoll_model_ptr->addEvent(fd , events);

            // 4. 设置 conn 的回指指针
            conn->setReactorPtr(this);

            // 5. 将 fd 与 conn 添加到 connect_manager 管理容器中
            _connect_manager[fd] = conn;
        }

        void delConnection(int fd) {
            // 1. epoll 模型中删除
            _epoll_model_ptr->delEvent(fd);

            // 2. 哈希表中删除
            _connect_manager.erase(fd);

            // 3. 关闭文件描述符
            close(fd);

            LogModule::LOG(LogModule::LogLevel::INFO) << "client quit";
        }

        void openWriteReadEvents(int fd , bool write , bool read) {
            // fd不存在
            if(connectionIsExist(fd)) {
                LogModule::LOG(LogModule::LogLevel::INFO) << "fd: " << fd << " is not exists";
                return;
            }

            // 1. 修改哈希表中该fd的事件
            uint32_t new_events = EPOLLET | (write ? EPOLLOUT : 0) | (read ? EPOLLIN : 0);
            _connect_manager[fd]->setEvents(new_events);
            
            // 2. 修改 epoll 模型中fd的事件
            _epoll_model_ptr->modEvent(fd , new_events);
        }

        void stop() {
            _is_running = false;
        }

        void PrintConnection()
        {
            std::cout << "当前Reactor正在进行管理的fd List:";
            for(auto &conn : _connect_manager)
            {
                std::cout << conn.second->getSockfd() << " ";
            }
            std::cout << "\r\n";
        }
    private:
        // 1.epoll 模型
        std::unique_ptr<Epoller> _epoll_model_ptr;
        // 2.epoll 用户就绪队列
        struct epoll_event _ep_wait_queue[EPOLL_WAIT_SIZE];
        // 3.链接管理器 [fd : Connection]
        std::unordered_map<int , std::shared_ptr<Connection>> _connect_manager;
        // 4.是否运行标志
        bool _is_running;
};

7.8 Connection.hpp

cpp 复制代码
#pragma once

#include <iostream>
#include <sys/epoll.h>
#include <functional>

class Reactor;

using callback_t = std::function<std::string(std::string&)>;

class Connection{
    public:
        Connection()
            :_reactor(nullptr)
            ,_events(0)
        {}

        // get/set方法
        void setReactorPtr(Reactor* reactor) { _reactor = reactor; }
        Reactor* getReactorPtr() { return _reactor; }
        void setEvents(uint32_t events) { _events = events; }
        uint32_t getEvents() { return _events; }

        // 纯虚方法
        virtual int getSockfd() = 0;
        virtual void recver() = 0;
        virtual void sender() = 0;
        virtual void except() = 0;

        // 公共方法
        void registerCallback(callback_t callback) {
            _callback = callback;
        }
    private:    
        // 1.回指指针
        Reactor* _reactor;
        // 2.监听的事件
        uint32_t _events;
    protected:
        // 3.回调函数
        callback_t _callback;
};

7.9 Listener.hpp

cpp 复制代码
#pragma once

#include <memory>
#include "Socket.hpp"
#include "Channel.hpp"
#include "Reactor.hpp"

class Listener : public Connection{
    const static uint16_t default_port = 8080;
    public:
        Listener(uint16_t port = default_port)
            :_port(port) 
            ,_socket_ptr(std::make_unique<SocketModule::TcpSocket>())
        {   
            // 1. 创建TCP套接字
            _socket_ptr->buildTcpListenSocket(_port); 
            // 2. 设置监听的事件 listener 只负责获取新连接 | 开启 ET 模式
            setEvents(EPOLLIN | EPOLLET);  
            // 3. 设置文件描述符为非阻塞模式
            setNonBlock(_socket_ptr->getfd());
        }

        virtual void recver() override {
            InetAddr client;
            // ET 模式 必须一次性读完所有客户端链接
            while(true) {
                int sockfd = _socket_ptr->accept(&client);
                if(sockfd < 0) {
                    // 本次读取完毕
                    if(errno == EAGAIN) {
                        break;
                    } else if(errno == EINTR) {
                        // accept 被信号打断
                        continue;
                    } else {
                        // 读取错误
                        LogModule::LOG(LogModule::LogLevel::ERROR) << "accpet error";
                        break;
                    }
                }
                // 读取成功 sockfd > 0
                // 1. 创建 Channel 对象
                std::shared_ptr<Connection> conn = std::make_shared<Channel>(sockfd , client);
                // 2. 将 listener 的回调函数设置到每个 Channel 中
                if(_callback != nullptr)
                    conn->registerCallback(_callback);
                // 3. 通过回指指针将 Channel 添加到 Reactor 链接管理容器中
                getReactorPtr()->addConnection(conn);
            }
        }

        virtual void sender() override {}
        virtual void except() override {}
        virtual int getSockfd() override {
            return _socket_ptr->getfd();
        }
    private:
        uint16_t _port;
        std::unique_ptr<SocketModule::Socket> _socket_ptr;  // socket中包含fd
};

7.10 Channel.hpp(多路转接写事件的具体写法)

cpp 复制代码
#pragma once

#include "Connection.hpp"
#include "Reactor.hpp"

#define RECV_SIZE 4096

class Channel : public Connection{
    public:
        Channel(int sockfd  , const InetAddr& client)
            :_sockfd(sockfd)
            ,_client_addr(client)
        {
            // 1. 设置 Channel 监听的事件和开启 ET 模式
            setEvents(EPOLLIN | EPOLLET); // todo
            // 2. 设置文件描述符为非阻塞
            setNonBlock(_sockfd);
        }

        virtual int getSockfd() override { return _sockfd; }

        virtual void recver() override {
            char buffer[RECV_SIZE];
            while(true) {
                buffer[0] = 0;  // 清空字符串
                ssize_t n = recv(_sockfd , buffer , RECV_SIZE - 1 , 0); // 非阻塞方式读取
                if(n > 0) {
                    buffer[n] = 0;
                    _inbuffer += buffer;
                } else if(n == 0) {
                    // 客户端关闭 异常处理
                    except();
                    return;
                } else {
                    if(errno == EAGAIN) {
                        // 非阻塞读取完毕
                        break;
                    } else if(errno == EINTR) {
                        // 读取被信号打断
                        continue;
                    } else {
                        // recv error
                        LogModule::LOG(LogModule::LogLevel::ERROR) << "channel recv error";
                        except();
                        return;
                    }
                }
            }
            LogModule::LOG(LogModule::LogLevel::DEBUG) << "Channel inbuffer: " << _inbuffer;
            // ET 非阻塞读取数据完毕
            // 1. 判断是否报文是否是一个完整的报文,如果是多个报文?数据不完整问题或TCP粘包问题
            if(!_inbuffer.empty()) {
                // 将数据交付给 Protocol 层处理
                _outbuffer += _callback(_inbuffer);
            }

            // 2. 不为空发送
            if(!_outbuffer.empty()) {
                sender();
            }
        }

        virtual void sender() override {
            while(true) {
                ssize_t n = send(_sockfd , _outbuffer.c_str() , _outbuffer.size() , 0);
                if(n >= 0) {
                    // n 表示实际发送的字节
                    _outbuffer.erase(0 , n);
                    if(_outbuffer.empty())
                        break;
                } else {
                    // 写事件这里的 errno == EAGAIN 表示的意思是发送缓冲区已满
                    if(errno == EAGAIN || errno == EWOULDBLOCK)
                        break;
                    else if(errno == EINTR)
                        continue;
                    else {
                        except();
                        return;
                    }
                }
            }

            // 1.数据发送完毕
            // 2.发送缓冲区已满,发送条件不具备
            if(!_outbuffer.empty()) {
                // 开启对写事件的关心
                getReactorPtr()->openWriteReadEvents(_sockfd , true , true);
            } else {
                // 关闭对写事件的关心
                getReactorPtr()->openWriteReadEvents(_sockfd , false , true);
            }
        }

        virtual void except() override {
            // 处理读出错、写出错、客户端关闭
            // 本质都是关闭链接
            getReactorPtr()->delConnection(_sockfd);
        }
    private:    
        int _sockfd;
        std::string _inbuffer;
        std::string _outbuffer;
        InetAddr _client_addr;
};

7.11 Protocol.hpp

cpp 复制代码
#pragma once
#include <iostream>
#include <string>
#include "Socket.hpp"
#include <jsoncpp/json/json.h>  // 引入jsoncpp第三方库

using namespace SocketModule;

// 基于网络版本的计算器
class Request{
    public:
        Request() = default;

        Request(int x , int y , char op)
            :left(x)
            ,right(y)
            ,oper(op)
        {}

        std::string serialization() {
            Json::Value root;
            root["x"] = left;
            root["y"] = right;
            root["oper"] = oper;
            Json::StyledWriter writer;
            return writer.write(root);
        }

        bool deserialization(const std::string& data) {
            Json::Value root;
            Json::Reader reader;
            bool ok = reader.parse(data , root);
            if(!ok) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "request deserialization error";
                return false;
            }
            left = root["x"].asInt();
            right = root["y"].asInt();
            oper = root["oper"].asInt();
            return true;
        }

        int get_x() const { return left; }
        int get_y() const { return right; }
        char get_oper() const { return oper; }

    private:
        int left;
        int right;
        char oper;
};

class Response{
    public:
        Response(int res = 0 , bool _valid = false) 
            :result(res)
            ,valid(_valid)
        {}

        std::string serialization() {
            Json::Value root;
            root["result"] = result;
            root["valid"] = valid;
            Json::StyledWriter writer;
            return writer.write(root);
        }

        bool deserialization(const std::string& data) {
            Json::Value root;
            Json::Reader reader;
            bool ok = reader.parse(data , root);
            if(!ok) {
                LogModule::LOG(LogModule::LogLevel::WARNING) << "response deserialization error";
                return false;
            }
            result = root["result"].asInt();
            valid = root["valid"].asBool();
            return true;
        }

        void showResult() {
            std::cout << "result: " << result << " [valid:" << valid << "]" << std::endl;
        }
    private:
        int result;
        bool valid;
};

using calculate_t = std::function<Response(const Request&)>;

// 协议类,需要解决两个问题
//   1. 需要有序列化和反序列化功能
//   2. 对于Tcp必须保证读到完整的报文
const static std::string sep = "\r\n";
// format: 10\r\n{"x":10, "y":20, "oper":"+"}\r\n
class Protocol{
    public:
        Protocol() = default;   
        Protocol(calculate_t cal_handler) :_cal_handler(cal_handler) {}

        // 添加报头
        std::string encode(const std::string& jsonstr) {
            std::string json_len = std::to_string(jsonstr.size());
            return json_len + sep + jsonstr + sep;
        }

        // 分离报头
        bool decode(std::string& buffer_queue , std::string& res) {
            size_t pos = buffer_queue.find(sep);
            if(pos == std::string::npos) {
                return false;
            }
            std::string json_len = buffer_queue.substr(0 , pos); // 有效载荷总长度
            int packet_len = json_len.size() + std::stoi(json_len) +  2 * sep.size();
            if(packet_len > buffer_queue.size()) {
                return false;   //说明当前读取的数据不足一个完整的报文,读取失败,应该继续读取
            }
            // 来到这里,当前已经有一个完整的报文或者多个完整的报文,或者一个半报文
            res = buffer_queue.substr(json_len.size() + sep.size() , std::stoi(json_len));   //将有效载荷带回上层
            // 将整个报文从buffer_queue分离
            buffer_queue.erase(0 , packet_len);
            return true;
        }

        std::string execute(std::string& request_json) {
            // request_json 是一个完整的json报文
            // 1. 反序列化
            Request req;
            req.deserialization(request_json);  // 注意:反序列化也可能会失败

            // 2. 交付上层处理请求
            Response res = _cal_handler(req);

            // 3. 将响应序列化 + 添加报头
            return encode(res.serialization());
        }
    private:
        calculate_t _cal_handler;
};

7.12 Calculate.hpp

cpp 复制代码
#pragma once

#include "Protocol.hpp"

class Calculate{
    public:
        Response execute(const Request& req) {
            switch(req.get_oper()) {
                case '+':
                    return Response(req.get_x() + req.get_y() , true);
                case '-':
                    return Response(req.get_x() - req.get_y() , true);
                case '*':
                    return Response(req.get_x() * req.get_y() , true);
                case '/':
                    {
                        if(req.get_y() == 0)
                            return Response(0, false);
                        else 
                            return Response(req.get_x() / req.get_y() , true);
                    }
                default:
                    LogModule::LOG(LogModule::LogLevel::WARNING) << "未知的操作符";
            }
            return Response(0 , false);
        }
};

7.13 Main.cc

cpp 复制代码
#include "Calculate.hpp"
#include "Protocol.hpp"
#include "Listener.hpp"
#include "Reactor.hpp"

// reactorServer port
int main(int argc , char* argv[]) {

    if(argc != 2) {
        std::cout << argv[0] << " port" << std::endl;
        exit(USAGE_ERROR);
    }

    uint16_t port = std::stoi(argv[1]);

    LogModule::ENABLE_CONSOLE_FLUSH_STRATEGY();

    // 1. 应用层
    Calculate cal;

    // 2. 表示层
    Protocol protocol([&cal](const Request& req) -> Response {
        LogModule::LOG(LogModule::LogLevel::DEBUG) << "应用层处理报文";
        return cal.execute(req);
    });

    // 3. 会话层
    std::shared_ptr<Connection> listener_ptr = std::make_shared<Listener>(port);
    listener_ptr->registerCallback([&protocol](std::string& inbuffer)->std::string{
        LogModule::LOG(LogModule::LogLevel::DEBUG) << "表示层处理报文开始";
        // 1.能否读取出一个完整的报文
        // 2.能否处理多个报文
        std::string outbuffer;
        while(true) { 
            std::string request_json;
            if(!protocol.decode(inbuffer , request_json))  // 不存在完整的报文
                break;
            // 来到这里,response_json 里100%存在一个完整的报文
            outbuffer += protocol.execute(request_json);
        }
        LogModule::LOG(LogModule::LogLevel::DEBUG) << "表示层处理报文结束";
        return outbuffer;
    });
    
    std::unique_ptr<Reactor> reactor_server_ptr = std::make_unique<Reactor>();
    reactor_server_ptr->addConnection(listener_ptr);
    reactor_server_ptr->start();


    return 0;
}

7.14 Makefile

makefile 复制代码
reactorServer: Main.cc
	g++ -o $@ $^ -std=c++17 -ljsoncpp
.PHONY:clean
clean:
	rm -f reactorServer
相关推荐
Elnaij8 小时前
从C++开始的编程生活(16)——继承
开发语言·c++
纵有疾風起8 小时前
【C++11深度解析(2)】从新增类功能到智能指针的现代 C++ 核心新特性
开发语言·c++·经验分享·开源
老蒋新思维8 小时前
创客匠人:工作流嵌入式智能体,重构知识变现的效率底层
大数据·服务器·人工智能·重构·创始人ip·创客匠人·知识变现
小张帅三代8 小时前
华为昇腾服务器ubuntu安装Anaconda步骤
运维·服务器·ubuntu
沧澜sincerely8 小时前
蓝桥杯103 日期问题
c++·蓝桥杯
杜子不疼.8 小时前
【Linux】 进程控制(二):进程等待(wait/waitpid) 与 子进程获取(status)
linux·运维·服务器
YJlio8 小时前
ZoomIt 学习笔记(11.9):绘图模式——演示时“手写板”:标注、圈画、临时白板
服务器·笔记·学习
xiaolongmeiya8 小时前
P3810 【模板】三维偏序 / 陌上花开 cdq分治+树状数组
c++·算法
满天星83035778 小时前
【Linux】信号(下)
android·linux·运维·服务器·开发语言·性能优化