webserver服务器从零搭建到上线(九)|⭐️EventLoop类(一)——详解成员变量、简述成员方法

news2025/1/6 20:19:30

在本节中,我们一起来仔细探讨一下EpollPoller类。该类可以说是muduo库中最最核心的类了,一定要搞懂!

文章目录

  • 私有成员
    • `using ChannelList = std::vector<Channel*>`
    • `looping_`、`quit_`
    • `threadId_`
    • `pollReturnTime_`、`poller_`
    • `wakeup_fd`、`wakeupChannel_`
      • int wakeupFd_
      • std::unique_ptr<Channel> wakeupChannel_
    • ChannelList activeChannels_
    • 和回调相关的变量
  • 简介成员方法
  • 实现获取当前程序运行所属线程

私有成员

//事件循环类    主要包含了两个大模块channel Pollor(epoll的抽象)
class EventLoop : noncopyable {
public:
    using Functor = std::function<void()>;
private:
    using ChannelList = std::vector<Channel*>;

    std::atomic_bool looping_;  //原子操作,通过CAS实现
    std::atomic_bool quit_;     //标识退出loop循环

    const pid_t threadId_;      //记录当前loop所在线程的id

    Timestamp pollReturnTime_;  //poller返回事件的channels的时间点
    std::unique_ptr<Poller> poller_;

    int wakeupFd_; 
    std::unique_ptr<Channel> wakeupChannel_;

    ChannelList activeChannels_;

    std::atomic_bool calllingPendingFunctors_; //标识当前loop是否有需要执行的回调操作
    std::vector<Functor> pendingFunctors_;  //存储loop需要执行的所有回调操作
    std::mutex mutex_; //互斥锁,用来保护上面vector容器的线程安全操作
};

从上到下依次讲解各个成员:

using ChannelList = std::vector<Channel*>

这个就不用说了,每个EventLoop下面都封装了很多很多的channel类,我们使用一个数组来对这些channel进行管理

looping_quit_

    std::atomic_bool looping_;  //原子操作,通过CAS实现
    std::atomic_bool quit_;     //标识退出loop循环

这两个变量都是跟事件循环本身是否继续工作下去相关的控制变量。

looping_用来判断当前的EventLoop是否已经退出,我们定义的是原子操作的布尔值,底层使用CAS实现。
quit_,一般我们是在其他线程来调用EventLoop的quit,来退出eventLoop循环

threadId_

const pid_t threadId_; //记录当前loop所在线程的id

这里我们需要结合图片来讲解:

首先需要明确的是,这里的Reactor就表示我们的EventLoop,并且每一个线程都应该有而且只有一个Reactor模型。

在多线程反应堆模型中,mainReactor只用来建立新用户的连接,拿到cfd之后,把该fd和它感兴趣的事件打包成一个channel,然后唤醒我们某一个workerReactor(使用轮询的方式),把这个channel扔给一个workerReactor,每一个 workReactor 都监听一组channel,并且每一组channel发生的事件都得在自己的EventLoop线程中去执行

所以在代码上就是通过这个threadId来实现这个流程,因为threadId作为EventLoop的成员变量就记录了创建的EventLoop对象所在的线程ID,等到运行时和当前工作的线程一比较,就能够判断EventLoop在不在它自己的线程中。

更加具体的描述请看后面具体的应用。

pollReturnTime_poller_

    Timestamp pollReturnTime_;  //poller返回事件的channels的时间点
    std::unique_ptr<Poller> poller_;
  • 这里pollReturnTime_记录的是poller返回发生时间的channels的时间点。
    EventLoop调用的是多路事件分发器也就是我们的Poller类,事件分发器epoll_wait开启循环后就监听事件发生,有事件发生后就会给Reactor返回发生事件的event,就是我们之前写的EPollPoler中Poll函数处理的那个activeChannels,其函数返回值就是 epoll_wait 监听到事件发生的时间戳。
  • 接下来当然少不了我们的poller了,这是Reactor模型中需要管理的重要资源多路事件分发器。

wakeup_fdwakeupChannel_

    int wakeupFd_; 
    std::unique_ptr<Channel> wakeupChannel_;

这是两个相当重要的组建,我们首先介绍 wakeupFd_。

int wakeupFd_

我们想要弄明白muduo库,就必须**搞明白mainReactor如何给我们的subReactor分配新连接**,muduo库中使用的是轮询操作,那么它具体是如何唤醒subReactor线程的呢?要知道,在subReactor中如果没有事件发生,他们loop所在的线程都是阻塞的,假如说现在mainReactor监听到了一个新用户的连接,得到了表示新用户连接的fd\以及感兴趣事件的channel的话,他把这个channel怎么扔给subReactor呢?

假如说我通过轮询,决定把新用户连接的channel分发给下面的那个subReactor,我怎么把他叫醒呢?

这其实就是统一事件元的原理了,

在我们的libevent中,它的基本原理和muduo差不多,不过在唤醒子线程的步骤中,它采用的是socketpair。创建了一个本地socket的数组,跟管道不一样的是,这两个socket都是可读可写的,不像管道只能一端读、一端写。

我们的muduo采用的是系统调用eventfd,这个eventfd就是用于线程通信的,我这个线程可以通知其他线程起来做事,并且调用这个方法内核可以直接去notify用户空间的应用程序线程起来做事情,效率非常之高

所以这个wakeupFd_就是我们使用函数eventfd创建出来的,主要作用就是当mainLoop获取一个新用户的channel,通过轮询算法选择一个subLoop反应堆,通过该成员唤醒subloop。

std::unique_ptr wakeupChannel_

这个wakeupChannel肯定是要把wakeupFd封装起来的,因为我们在Poller里面并不会直接操作fd,而是在操作channel。

ChannelList activeChannels_

这个就是我们的EventLoop所管理的所有的Channel。并且他们都已经有相应的事件被激活了,该成员肯定是要被用于回调中的。

和回调相关的变量

    std::atomic_bool calllingPendingFunctors_; //标识当前loop是否有需要执行的回调操作
    std::vector<Functor> pendingFunctors_;  //存储loop需要执行的所有回调操作
    std::mutex mutex_; //互斥锁,用来保护上面vector容器的线程安全操作

可以看到,我们的EventLoop类还是比较复杂的,至于为什么需要这些成员变量后续会进行一个总结性的探讨。

简介成员方法

//事件循环类    主要包含了两个大模块channel Pollor(epoll的抽象)
class EventLoop : noncopyable {
public:
    using Functor = std::function<void()>;
    
    EventLoop();
    ~EventLoop();

    //开启事件循环
    void loop();
    //退出事件循环
    void quit();

    Timestamp pollReturnTime() const { return pollReturnTime_; }

    // 在当前loop中执行cb
    void runInLoop(Functor cb);
    //把cb放入队列中,唤醒loop所在的线程后再去执行cb
    void queueInLoop(Functor cb);

    //用来唤醒loop所在的线程
    void wakeup();

    // EventLoop的方法==》Poller的方法
    void updateChannel(Channel *channel);
    void removeChannel(Channel *channel);
    void hasChannel(Channel *channel);

    //判断EventLoop对象是否已经在自己的线程里面
    bool isInLoopThread() const { return threadId_ == CurrentThread::tid(); }
private:
    void handleRead(); //wake up我们唤醒来使用的
    void doPendingFunctors(); //执行回调的内部接口

这里主要强调一下函数 isInLoopThread()

这里的CurrentThread::tid()是返回当前线程的线程ID;

如果这两个相等的话,说明我们的EventLoop对象目前所处的线程就在创建它的线程里,那么我们可以正常执行回调,如果不在的话,我们就得调用queueInLoop,当唤醒到它自己线程的时候,才去执行该loop相关的回调操作。

因为我们前文已经反复强调过,我们的每一个channel都有自己的EventLoop,每一个EventLoop也只属于一个线程,所以当事件发生需要执行回调,我们不能让别的EventLoop来执行,必须让自己的EventLoop来执行相对应的回调。

那么问题来了,为什么必须得是对应的EventLoop来处理回调任务呢?

  • 线程安全问题
    • EventLoop及其管理的资源(如Channel、Poller等)并不是线程安全的。如果一个EventLoop对象被多个线程同时访问,可能会导致数据竞争、状态不一致等问题,最终导致程序崩溃或产生难以调试的错误。
  • 事件处理顺序错乱
    • EventLoop依赖于事件循环机制按顺序处理事件。如果回调操作由非对应的EventLoop调用,事件处理的顺序可能会错乱,导致意外的行为。例如,某些依赖顺序的事件处理(如读取数据后处理数据)可能会发生在不正确的顺序,从而导致逻辑错误。

实现获取当前程序运行所属线程

//CurrenThread.h
#pragma once

#include <unistd.h>
#include <syscall.h>

namespace CurrentThread {
    extern __thread int t_cachedTid;

    void cacheTid();

    inline int tid() {
        if (__builtin_expect(t_cachedTid == 0, 0))
            cacheTid();
        return t_cachedTid;
    }
}

//CurrenThread.cc
#include "CurrentThread.h"

namespace CurrentThread {
    __thread int t_cachedTid = 0;

    void cacheTid() {
        if (t_cachedTid == 0) {
            //通过linux系统调用,获取当前线程的tid值
            t_cachedTid = static_cast<pid_t>(::syscall(SYS_gettid));
        }
    }
} // namespace CurrentThread

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1709393.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

机器学习-1-了解机器学习machine learning的基本概念

参考机器学习算法 - 一文搞懂ML(机器学习) 参考机器学习算法 - 一文搞懂SL(监督学习) 参考机器学习算法 - 一文搞懂UL(无监督学习) 1 机器学习 1.1 机器学习的本质 基本思路:无论使用什么样的算法和数据,机器学习的基本思路都可以归结为以下三个核心步骤。 (1)问题…

Nginx的集群负载均衡(nginx构建tomcat集群案例)

一 .Nginx的集群负载均衡 1.nginx 集群负载均衡示意图 2.四层负载均衡和7层负载均衡 LVS 四层负载均衡(常用); Haproxy四层负载均衡;Nginx 四层负载均衡; Haproxy七层负载均衡;Nginx 七层负载均衡(常用); 3.nginx构建tomcat集群 步骤1:安装tomcat 步骤2:nginx配置tom…

图论(五)-最短路

一、Bellman-Ford算法 算法思想&#xff1a;通过 n 次循环&#xff0c;每次循环都遍历每条边&#xff08;共 m 条边&#xff09;&#xff0c;进而更新节点的距离&#xff0c;每次循环至少可以确定一个点的最短路&#xff0c;循环 n 次&#xff0c;求出 n 个点的最短路 时间复杂…

git:Unable to negotiate问题解决

场景说明&#xff1a; 安装了Gitblit(自架的代码仓库服务)发现部分电脑无法推代码&#xff0c;报错误如下&#xff1a; Unable to negotiate with **** port 22: no matching host key type found. Their offer: ssh-rsa 并排队了账户权限问题。 解决方案&#xff1a; 1.打开问…

HttpClient cookie爬虫记录

记录一次java语言使用httpclient爬取网站接口数据的经历 需要用到的依赖&#xff1a; httpclient和httpcore是封装了http请求的工具类 jsoup可以将返回的网页html找到你需要的xml节点&#xff0c;很方便 <dependency><groupId>org.apache.httpcomponents</gr…

Spring系列-01-IOC的依赖查找和依赖注入

IOC基础 IOC发展 初始场景, 不使用IOC如何实现 假定现在有一下需求, 开始使用的数据源是MySQL, 后续数据源变动为Oracle, 那么我们的代码就需要改动 每次切数据源都需要改动, 那么进行优化 静态工厂解决强依赖 在01版本基础上, 使用静态工厂对多个数据源进行了封装, 要哪…

Unity UGUI系统概念分析

文章目录 前言一、UGUI运行原理二、UGUI组件分析1、Canvas组件2、Canvas Scaler3、Graphic Raycaster组件4、EventTrigger组件5、Image 和 RawImage组件5、Mask 和 RectMask2D组件6、Button、Sider、DropDown等组件 三、UGUI源码分析三、UGUI优化四、UI框架设计五、UI适配总结 …

三十一、openlayers官网示例Draw Features解析——在地图上自定义绘制点、线、多边形、圆形并获取图形数据

官网demo地址&#xff1a; Draw Features 先初始化地图&#xff0c;准备一个空的矢量图层&#xff0c;用于显示绘制的图形。 initLayers() {const raster new TileLayer({source: new XYZ({url: "https://server.arcgisonline.com/ArcGIS/rest/services/World_Imagery/…

快团团帮卖团长怎么对供货大团长进行评分?

都说帮卖“躺赚”&#xff1f; 一旦遇团不淑&#xff0c;惨遭不靠谱团长挖坑&#xff0c;售后拖延、发货慢、产品瑕疵…… 加上顾客夺命连环催&#xff0c;双面夹击&#xff0c;夹缝生存。供货团长靠不靠谱太重要了&#xff01; 快团团供货团长评分系统上线&#xff01; 帮卖团…

深入理解MySQL索引下推优化

在MySQL中&#xff0c;索引的使用对于查询性能至关重要。然而&#xff0c;即使有合适的索引&#xff0c;有时查询性能仍然不尽如人意。索引下推&#xff08;Index Condition Pushdown&#xff0c;ICP&#xff09;是一项能够进一步优化查询性能的技术。本文将详细讲解索引下推的…

Postman入门 - 环境变量和全局变量

&#x1f345; 视频学习&#xff1a;文末有免费的配套视频可观看 &#x1f345; 点击文末小卡片&#xff0c;免费获取软件测试全套资料&#xff0c;资料在手&#xff0c;涨薪更快 一、发送请求 二、设置并引用环境变量 比如&#xff1a;我建的这个生产环境 使用环境有两个方式&…

大学数学常用的搜题软件?分享四个搜题直接出答案的软件 #微信#媒体#职场发展

以下软件拥有强大的搜索功能&#xff0c;能够快速找到与题目相关的资料和答案&#xff0c;让大学生们更容易理解和掌握知识点。 1.The Sky The Sky 是一个让人惊艳的天文知识学习软件&#xff0c;也是一个唯美好看的天文科普软件。 它的功能全面丰富&#xff0c;支持识别查看…

常见排序算法之插入排序

目录 一、直接插入排序 1.1 什么是插入排序 1.2 代码思路 1.3 C语言源码 二、希尔排序 2.0 插入排序的弊端 2.1 什么是希尔排序&#xff1f; 2.2 排序思路 2.3 C语言源码 一、直接插入排序 1.1 什么是插入排序 插入排序是一种简单直观的排序算法&#xff0c;它通过构…

003 仿muduo实现高性能服务器组件_前置知识

​&#x1f308;个人主页&#xff1a;Fan_558 &#x1f525; 系列专栏&#xff1a;仿muduo &#x1f339;关注我&#x1f4aa;&#x1f3fb;带你学更多知识 文章目录 前言时间轮timewheel设计正则表达式介绍&#xff08;了解知道怎么使用&#xff09;通用型any容器的实现 小结 …

蓝牙模块选型之蓝牙功能

蓝牙模块&#xff0c;是一种集成蓝牙功能的PCBA板&#xff0c;用于短距离无线通讯&#xff0c;蓝牙模块将芯片和外围硬件电路集成到一个PCB上&#xff0c;开发出所需的内置程序实现蓝牙功能的设备。可以通过相关接口和MCU控制设备进行数据传输、可实现蓝牙标准通信和组网。 目前…

海外仓系统要多少钱?最贵的未必是最好的,性价比高的才是

海外仓系统可以说已经是现在海外仓管理不可或缺的重要工具&#xff0c;然而&#xff0c;很多海外仓企业在选择海外仓系统时最头疼的问题就是不知道到底多少钱才合适。 确实&#xff0c;现在的海外仓系统市场价格体系非常多&#xff0c;几万几十万各种定价都有&#xff0c;让人…

揭秘编程逻辑:布瑞克(break)与坎特牛(continue)的较量

新书上架~&#x1f447;全国包邮奥~ python实用小工具开发教程http://pythontoolsteach.com/3 欢迎关注我&#x1f446;&#xff0c;收藏下次不迷路┗|&#xff40;O′|┛ 嗷~~ 目录 一、布瑞克与坎特牛&#xff1a;逻辑差异的探索 二、代码案例分析&#xff1a;布瑞克与坎特…

远程抄表及预付费管理系统:智能管理的新篇章

1.系统简述 远程抄表及预付费管理系统是现代能源管理方面的一项重要自主创新&#xff0c;它将传统手动式抄水表方式转变为自动化技术、智能化管理模式&#xff0c;大大提高了高效率并减少了经营成本。该系统搭载了前沿的通讯技术、数据分析技术和财务管理系统核心理念&#xf…

UVa1466/LA4849 String Phone

UVa1466/LA4849 String Phone 题目链接题意分析AC 代码 题目链接 本题是2010年icpc亚洲区域赛大田赛区的G题 题意 平面网格上有n&#xff08;n≤3000&#xff09;个单元格&#xff0c;各代表一个重要的建筑物。为了保证建筑物的安全&#xff0c;警察署给每个建筑物派了一名警察…