百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术资源 > 正文

图解丨Nginx 中的四级指针

off999 2025-03-05 20:11 18 浏览 0 评论

Nginx的所有配置结构体全部放在一个cycle的四级指针中,本文就具体分析一下每级指针究竟指向的是什么,下图表示了这个四级指针每一级的指向,图中虚拟地址模拟了真实地址,ctx指针存的指向虚拟地址为1的数据,图中只列举出core,event,http模块最基础的配置结构。

需要注意得是,从图中不难发现,对于常用的模块,core模块,event模块,http模块,core模块只需要2级指针就能搞定,event模块按照逻辑只需要3级指针,而http模块需要4级指针。event按照常理缺少了http模块中间那个虚拟地址1000的结构体(区分main conf,serv conf,loc conf),需要3级指针就行。但是nginx为了方便配置,也在event模块中间也加入了类似的一个结构体指针(虚拟地址75存储100 的指针),不过这个指针直接指向了event模块的指针。这样event模块和http模块一样也形成了4级指针,这样设计event模块我认为是为了兼容http模块配置才形成了4级指针。


从代码切入,看一下ctx的初始化过程。


cycle->conf_ctx = ngx_pcalloc(pool, ngx_max_module * sizeof(void *));


这段代码初始化了cycle的context,conf_ctx指向一段空间,每个地址存储void *的指针,这个指针能指向任何的一段空间,也就是各种conf结构体。

以下代码为第一层指针赋值,也就是每个conf_ctx每个空间存储第一层conf的结构体的首地址,这类conf的结构体不会包含event,http模块的,因为nginx并不确定配置一定有event和http模块的配置,所以在conf文件中没有碰到event和http的时候,是不会建立对应的结构体的。


for (i = 0; ngx_modules[i]; i++) {

 if (ngx_modules[i]->type != NGX_CORE_MODULE) { //加载core module,log module等

            continue;

 }



        module = ngx_modules[i]->ctx;



 if (module->create_conf) {

            rv = module->create_conf(cycle); //rv 是conf结构体首地址

 if (rv == NULL) {

                ngx_destroy_pool(pool);

                return NULL;

 }

            cycle->conf_ctx[ngx_modules[i]->index] = rv; //conf_ctx每个空间存储conf的首地址,构造了两层指针

 }

 }




下面的代码是解析command,获得这个command的conf结构体



if (cmd->type & NGX_DIRECT_CONF) {

                conf = ((void **) cf->ctx)[ngx_modules[i]->index]; //1



 } else if (cmd->type & NGX_MAIN_CONF) {

                conf = &(((void **) cf->ctx)[ngx_modules[i]->index]); //2



 } else if (cf->ctx) {

                confp = *(void **) ((char *) cf->ctx + cmd->conf); //3



 if (confp) {

                    conf = confp[ngx_modules[i]->ctx_index];

 }

 }



            rv = cmd->set(cf, cmd, conf);


1.NGX_DIRECT_CONF表示ngx_core_module,也就是配置中最外边配置的那些参数,因为 ngx_core_module,所对应的conf结构体,在初始化的时候已经创建好了,所以再ctx[index]的位 置是有conf的首地址的指针的,相当于图中虚拟地址50,后面在set command到结构体的时候,只需要把这个指针传过去就行了,这里ctx 2级指针是说明ctx一级指针指向的存储conf的首地址虚拟地址1,ctx二级指针指向conf的首地址,相当于图中虚拟地址50。 2.NGX_MAIN_CONF表示events http的配置,也就是说在cycle初始化的时候并不会初始化这些conf,前面说了因为我们根本不确定这些配置项是否真的有。所以在碰到events 或者http那种配置项的时候,那么就是初始化这一类配置项的时候,首先需要在ctx的相应位置赋值他们core conf module的结构体。因为之前ctx在这个位置并没有任何指向结构体的指针。所以把ctx位置的指针(虚拟地址2)赋值给conf,让后面的set函数,为这个位置赋值配置项结构体的首地址。

相关视频推荐

C/C++Linux服务器开发/后台架构师【零声教育】-学习视频教程-腾讯课堂

【文章福利】:小编整理了一些个人觉得比较好的学习书籍、视频资料共享在群文件里面,有需要的可以自行添加哦!~点击加入(832218493需要自取)

对于第三个位置注释的代码说明,应该还是先说说event模块的加载,下面的代码是nginx events模块set函数

ctx = ngx_pcalloc(cf->pool, sizeof(void *)); //建立一个指针,虚拟地址75 (为了兼容http模块的4级指针的指针,图中红色的位置)

 if (ctx == NULL) {

        return NGX_CONF_ERROR;

 }



 *ctx = ngx_pcalloc(cf->pool, ngx_event_max_module * sizeof(void *)); //可以看到 event模块位置被赋值了一段空间,相当于ctx指向虚拟地址100,也就是虚拟地址75存储了100,相当于图中标黄色的过程1

 if (*ctx == NULL) {

        return NGX_CONF_ERROR;

 }



 *(void **) conf = ctx; //所以这里conf相当于虚拟地址2的地方存储是首地址为75的指针,相当于图中标红的过程2



 for (i = 0; ngx_modules[i]; i++) {

 if (ngx_modules[i]->type != NGX_EVENT_MODULE) {

            continue;

 }



        m = ngx_modules[i]->ctx;



 if (m->create_conf) {

 (*ctx)[ngx_modules[i]->ctx_index] = m->create_conf(cf->cycle); //相当于图中标绿的过程3

 if ((*ctx)[ngx_modules[i]->ctx_index] == NULL) { //相当于地址为100的位置存储首地址600,600是event core module的位置,虚拟地址101的地方存储首地址700,700是event epoll模块的结构体的首地址

                return NGX_CONF_ERROR;

 }

 }

 }



    pcf = *cf;

    cf->ctx = ctx; //重新赋值虚拟地址75的指针,继续解析配置。

    cf->module_type = NGX_EVENT_MODULE;

    cf->cmd_type = NGX_EVENT_CONF;



    rv = ngx_conf_parse(cf, NULL);


从上面的代码可以看出event模块的四级指针确实有些牵强,完全可以省略虚拟地址75位置的指针,虚拟地址2的位置直接存储100,不省略的原因正是前面说的原因,为了兼容http模块的配置,再看下http的代码




ctx = ngx_pcalloc(cf->pool, sizeof(ngx_http_conf_ctx_t));

 if (ctx == NULL) {

        return NGX_CONF_ERROR;

 }



 *(ngx_http_conf_ctx_t **) conf = ctx; //相当于图中标红的过程1



    ngx_http_max_module = 0;

 for (m = 0; ngx_modules[m]; m++) {

 if (ngx_modules[m]->type != NGX_HTTP_MODULE) {

            continue;

 }



        ngx_modules[m]->ctx_index = ngx_http_max_module++;

 }



    ctx->main_conf = ngx_pcalloc(cf->pool,

                                 sizeof(void *) * ngx_http_max_module); //相当于图中标黄的过程2

 if (ctx->main_conf == NULL) {

        return NGX_CONF_ERROR;

 }

    ctx->srv_conf = ngx_pcalloc(cf->pool, sizeof(void *) * ngx_http_max_module);

 if (ctx->srv_conf == NULL) {

        return NGX_CONF_ERROR;

 }



    ctx->loc_conf = ngx_pcalloc(cf->pool, sizeof(void *) * ngx_http_max_module);

 if (ctx->loc_conf == NULL) {

        return NGX_CONF_ERROR;

 }



 for (m = 0; ngx_modules[m]; m++) {

 if (ngx_modules[m]->type != NGX_HTTP_MODULE) {

            continue;

 }



        module = ngx_modules[m]->ctx;

        mi = ngx_modules[m]->ctx_index;



 if (module->create_main_conf) {

            ctx->main_conf[mi] = module->create_main_conf(cf); //相当于图中标绿色的过程3

 if (ctx->main_conf[mi] == NULL) {

                return NGX_CONF_ERROR;

 }

 }


看完了上面http模块的初始化,应该就了解前面代码的用意:


  confp = *(void **) ((char *) cf->ctx + cmd->conf);



 if (confp) {

         conf = confp[ngx_modules[i]->ctx_index];

 }


在初始化完event模块之后,cf->ctx存储的就是75,event模块的cmd->conf都是0,因为这个cf->ctx一个兼容指针,所以confp指向的就是虚拟地址100,那么后面的代码根据模块的ctx_index就可以得到conf 了。

对于http模块cf->ctx存储的是1000,那么cmd->conf对于http模块不是0,在结构体ngx_http_conf_ctx_t中main,srv,loc有不同的位移,后面的逻辑和event一致,所以event模块的四级指针只是为了兼容http模块而多设了一层指针,那层指针充当了http指向ngx_http_conf_ctx_t结构体作用,这层对event模块是没有什么用的,对于http模块来说可以区分是main,srv,loc的配置。

相关推荐

Python设计模式 第 13 章 中介者模式(Mediator Pattern)

在行为型模式中,中介者模式是解决“多对象间网状耦合”问题的核心模式。它就像“机场调度中心”——多个航班(对象)无需直接沟通起飞、降落时间,只需通过调度中心(中介者)协调,避免航班间的冲突与混乱...

1.3.1 python交互式模式的特点和用法

什么是Python交互模式Python交互模式,也叫Python交互式编程,是一种在Python解释器中运行的模式,它允许用户在解释器窗口中输入单个Python语句,并立即查看结果,而不需要编写整个程...

Python设计模式 第 8 章 装饰器模式(Decorator Pattern)

在结构型模式中,装饰器模式是实现“动态功能扩展”的核心模式。它就像“手机壳与手机的关系”——手机(原始对象)具备通话、上网等基础功能,手机壳(装饰器)可在不改变手机本身的前提下,为其新增保护、...

python设计模式 综合应用与实战指南

经过前面16章的学习,我们已系统掌握创建型模式(单例、工厂、建造者、原型)、结构型模式(适配器、桥接、组合、装饰器、外观、享元、代理)、行为型模式(责任链、命令、迭代器、中介者、观察者、状态、策略...

Python入门学习教程:第 16 章 图形用户界面(GUI)编程

16.1什么是GUI编程?图形用户界面(GraphicalUserInterface,简称GUI)是指通过窗口、按钮、菜单、文本框等可视化元素与用户交互的界面。与命令行界面(CLI)相比,...

Python 中 必须掌握的 20 个核心:str()

str()是Python中用于将对象转换为字符串表示的核心函数,它在字符串处理、输出格式化和对象序列化中扮演着关键角色。本文将全面解析str()函数的用法和特性。1.str()函数的基本用法1.1...

Python偏函数实战:用functools.partial减少50%重复代码的技巧

你是不是经常遇到这样的场景:写代码时同一个函数调用了几十次,每次都要重复传递相同的参数?比如处理文件时总要用encoding='utf-8',调用API时固定传Content-Type...

第2节.变量和数据类型【第29课-输出总结】

同学们,关于输出的知识点讲解完成之后,把重点性的知识点做一个总结回顾。·首先对于输出这一章节讲解的比如有格式化符号,格式化符号这里需要同学们额外去多留意的是不是百分号s格式化输出字符串。当然课上也说百...

AI最火语言python之json操作_python json.loads()

JSON(JavaScriptObjectNotation,JavaScript对象表示法)是一种开放标准的文件格式和数据交换格式,它易于人阅读和编写。JSON是一种常用的数据格式,比如对接各种第...

python中必须掌握的20个核心函数—split()详解

split()是Python字符串对象的方法,用于将字符串按照指定的分隔符拆分成列表。它是文本处理中最常用的函数之一。一、split()的基本用法1.1基本语法str.split(sep=None,...

实用方法分享:pdf文件分割方法 横向A3分割成纵向A4

今天在街上打印店给儿子打印试卷时,我在想:能不能,把它分割成A4在家中打印,这样就不需要跑到街上的打印店打印卷子了。原来,老师发的作业,是电子稿,pdf文件,A3格式的试卷。可是家中的打印机只能打印A...

20道常考Python面试题大总结_20道常考python面试题大总结免费

20道常考Python面试题大总结关于Python的面试经验一般来说,面试官会根据求职者在简历中填写的技术及相关细节来出面试题。一位拿了大厂技术岗SpecialOffer的网友分享了他总结的面试经...

Kotlin Data Classes 快速上手_kotlin快速入门

引言在日常开发中,我们常常需要创建一些只用来保存数据的类。问题是,这样的类往往需要写一堆模板化的方法:equals()、hashCode()、toString()……每次都重复,既枯燥又容易出错。//...

python自动化RobotFramework中Collections字典关键字使用(五)

前言介绍安装好robotframework库后,跟之前文章介绍的BuiltIn库一样BuiltIn库使用介绍,在“python安装目录\Lib\site-packages\robot\librarie...

Python中numpy数据分析库知识点总结

Python中numpy数据分析库知识点总结二、对已读取数据的处理②指定一个值,并对该值双边进行修改③指定两个值,并对第一个值的左侧和第二个值的右侧进行修改2.4数组的拼接和行列交换①竖直拼接(np...

取消回复欢迎 发表评论: