菜鸟nginx源码剖析数据结构篇（九） 内存池ngx_pool_t

2024-03-15 03:08
文章标签 源码 剖析 内存 数据结构 nginx 菜鸟 pool ngx

本文主要是介绍菜鸟nginx源码剖析数据结构篇（九） 内存池ngx_pool_t，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

分类： Server - 菜鸟nginx源码剖析 2014-11-11 19:08 20271人阅读 评论(14) 收藏 举报
nginx 内存池 源码 剖析 内存管理

目录(?)[+]

 

菜鸟nginx源码剖析数据结构篇（九） 内存池ngx_pool_t

 

  • Author：Echo Chen（陈斌）

  • Email：chenb19870707@gmail.com

  • Blog：Blog.csdn.net/chen19870707

  • Date：Nov 11th, 2014

    今天是一年一度的光棍节，还没有女朋友的程序猿童鞋不妨new一个出来，内存管理一直是C/C++中最棘手的部分，远不止new/delete、malloc/free这么简单。随着代码量的递增，程序结构复杂度的提高。今天我们就一起研究一下以精巧著称的nginx的内存池。

    1.源代码位置

     

    头文件：http://trac.nginx.org/nginx/browser/nginx/src/core/ngx_palloc.h

    源文件：http://trac.nginx.org/nginx/browser/nginx/src/core/ngx_palloc.c

     

    2.数据结构定义

    先来学习一下nginx内存池的几个主要数据结构：

        ngx_pool_data_t（内存池数据块结构）

       1: typedef struct {
       2:     u_char               *last;        
       3:     u_char               *end;
       4:     ngx_pool_t           *next;
       5:     ngx_uint_t            failed;
       6: } ngx_pool_data_t;
    • last：是一个unsigned char 类型的指针，保存的是/当前内存池分配到末位地址，即下一次分配从此处开始。
    • end：内存池结束位置；
    • next：内存池里面有很多块内存，这些内存块就是通过该指针连成链表的，next指向下一块内存。
    • failed：内存池分配失败次数。

    ngx_pool_s（内存池头部结构）

       1: struct ngx_pool_s {
       2:     ngx_pool_data_t       d;
       3:     size_t                max;
       4:     ngx_pool_t           *current;
       5:     ngx_chain_t          *chain;
       6:     ngx_pool_large_t     *large;
       7:     ngx_pool_cleanup_t   *cleanup;
       8:     ngx_log_t            *log;
       9: };
    • d：内存池的数据块；
    • max：内存池数据块的最大值；
    • current：指向当前内存池；
    • chain：该指针挂接一个ngx_chain_t结构；
    • large：大块内存链表，即分配空间超过max的情况使用；
    • cleanup：释放内存池的callback
    • log：日志信息

    由ngx_pool_data_t和ngx_pool_t组成的nginx内存池结构如下图所示：

    201210171140066270

     

    3.相关函数介绍

    在分析内存池方法前，需要对几个主要的内存相关函数作一下介绍:

    ngx_alloc：（只是对malloc进行了简单的封装）

     

       1: void *
       2: ngx_alloc(size_t size, ngx_log_t *log)
       3: {
       4:     void  *p;
       5:  
       6:     p = malloc(size);
       7:     if (p == NULL) {
       8:         ngx_log_error(NGX_LOG_EMERG, log, ngx_errno,
       9:                       "malloc(%uz) failed", size);
      10:     }
      11:  
      12:     ngx_log_debug2(NGX_LOG_DEBUG_ALLOC, log, 0, "malloc: %p:%uz", p, size);
      13:  
      14:     return p;
      15: }

    ngx_calloc：（调用malloc并初始化为0）

       1: void *
       2: ngx_calloc(size_t size, ngx_log_t *log)
       3: {
       4:     void  *p;
       5:  
       6:     p = ngx_alloc(size, log);
       7:  
       8:     if (p) {
       9:         ngx_memzero(p, size);
      10:     }
      11:  
      12:     return p;
      13: }

    ngx_memzero：

       1: #define ngx_memzero(buf, n)       (void) memset(buf, 0, n)

    ngx_free ：

       1: #define ngx_free          free

    ngx_memalign：

       1: void *
       2: ngx_memalign(size_t alignment, size_t size, ngx_log_t *log)
       3: {
       4:     void  *p;
       5:     int    err;
       6:  
       7:     err = posix_memalign(&p, alignment, size);
       8:  
       9:     if (err) {
      10:         ngx_log_error(NGX_LOG_EMERG, log, err,
      11:                       "posix_memalign(%uz, %uz) failed", alignment, size);
      12:         p = NULL;
      13:     }
      14:  
      15:     ngx_log_debug3(NGX_LOG_DEBUG_ALLOC, log, 0,
      16:                    "posix_memalign: %p:%uz @%uz", p, size, alignment);
      17:  
      18:     return p;
      19: }
  • 这里alignment主要是针对部分unix平台需要动态的对齐，对POSIX 1003.1d提供的posix_memalign( )进行封装，在大多数情况下，编译器和C库透明地帮你处理对齐问题。nginx中通过宏NGX_HAVE_POSIX_MEMALIGN来控制；调用 posix_memalign( )成功时会返回 size字节的动态内存，并且这块内存的地址是 alignment的倍数。参数 alignment必须是2的幂，还是 void指针的大小的倍数。返回的内存块的地址放在了 memptr里面，函数返回值是 0.

  • 4.内存池基本操作

     

      • 内存池对外的主要方法有：
  • 创建内存池ngx_pool_t *  ngx_create_pool(size_t size, ngx_log_t *log);
    销毁内存池void ngx_destroy_pool(ngx_pool_t *pool);
    重置内存池void ngx_reset_pool(ngx_pool_t *pool);
    内存申请（对齐）void *  ngx_palloc(ngx_pool_t *pool, size_t size);
    内存申请（不对齐）void *  ngx_pnalloc(ngx_pool_t *pool, size_t size);
    内存清除ngx_int_t  ngx_pfree(ngx_pool_t *pool, void *p);

     

  •  

  • 4.1 创建内存池ngx_create_pool

    ngx_create_pool用于创建一个内存池，我们创建时，传入我们的需要的初始大小：

  •    1: ngx_pool_t *
       2: ngx_create_pool(size_t size, ngx_log_t *log)
       3: {
       4:     ngx_pool_t  *p;
       5:     
       6:     //以16（NGX_POOL_ALIGNMENT）字节对齐分配size内存
       7:     p = ngx_memalign(NGX_POOL_ALIGNMENT, size, log);
       8:     if (p == NULL) {
       9:         return NULL;
      10:     }
      11:  
      12:     //初始状态：last指向ngx_pool_t结构体之后数据取起始位置
      13:     p->d.last = (u_char *) p + sizeof(ngx_pool_t);
      14:     //end指向分配的整个size大小的内存的末尾
      15:     p->d.end = (u_char *) p + size;
      16:     
      17:     p->d.next = NULL;
      18:     p->d.failed = 0;
      19:  
      20:     size = size - sizeof(ngx_pool_t);
      21:     //#define NGX_MAX_ALLOC_FROM_POOL  (ngx_pagesize - 1)，内存池最大不超过4095，x86中页的大小为4K
      22:     p->max = (size < NGX_MAX_ALLOC_FROM_POOL) ? size : NGX_MAX_ALLOC_FROM_POOL;
      23:  
      24:     p->current = p;
      25:     p->chain = NULL;
      26:     p->large = NULL;
      27:     p->cleanup = NULL;
      28:     p->log = log;
      29:  
      30:     return p;
      31: }

  • nginx对内存的管理分为大内存与小内存，当某一个申请的内存大于某一个值时，就需要从大内存中分配空间，否则从小内存中分配空间。

  • nginx中的内存池是在创建的时候就设定好了大小，在以后分配小块内存的时候，如果内存不够，则是重新创建一块内存串到内存池中，而不是将原有的内存池进行扩张。当要分配大块内存是，则是在内存池外面再分配空间进行管理的，称为大块内存池。

  • 4.2 内存申请 ngx_palloc

  •    1: void *
       2: ngx_palloc(ngx_pool_t *pool, size_t size)
       3: {
       4:     u_char      *m;
       5:     ngx_pool_t  *p;
       6:  
       7:     //如果申请的内存大小小于内存池的max值
       8:     if (size <= pool->max) {
       9:  
      10:         p = pool->current;
      11:  
      12:         do {
      13:             //对内存地址进行对齐处理
      14:             m = ngx_align_ptr(p->d.last, NGX_ALIGNMENT);
      15:  
      16:             //如果当前内存块够分配内存，则直接分配
      17:             if ((size_t) (p->d.end - m) >= size) 
      18:             {
      19:                 p->d.last = m + size;
      20:  
      21:                 return m;
      22:             }
      23:             
      24:             //如果当前内存块有效容量不够分配，则移动到下一个内存块进行分配
      25:             p = p->d.next;
      26:  
      27:         } while (p);
      28:  
      29:         //当前所有内存块都没有空闲了，开辟一块新的内存，如下2详细解释
      30:         return ngx_palloc_block(pool, size);
      31:     }
      32:  
      33:     //分配大块内存
      34:     return ngx_palloc_large(pool, size);
      35: }

    需要说明的几点：

    1、ngx_align_ptr，这是一个用来内存地址取整的宏，非常精巧，一句话就搞定了。作用不言而喻，取整可以降低CPU读取内存的次数，提高性能。因为这里并没有真正意义调用malloc等函数申请内存，而是移动指针标记而已，所以内存对齐的活，C编译器帮不了你了，得自己动手。

       1: #define ngx_align_ptr(p, a)                                                   \
       2:      (u_char *) (((uintptr_t) (p) + ((uintptr_t) a - 1)) & ~((uintptr_t) a - 1))

    2、开辟一个新的内存块 ngx_palloc_block(ngx_pool_t *pool, size_t size)

    这个函数是用来分配新的内存块，为pool内存池开辟一个新的内存块，并申请使用size大小的内存；

       1: static void *
       2: ngx_palloc_block(ngx_pool_t *pool, size_t size)
       3: {
       4:     u_char      *m;
       5:     size_t       psize;
       6:     ngx_pool_t  *p, *new;
       7:  
       8:     //计算内存池第一个内存块的大小
       9:     psize = (size_t) (pool->d.end - (u_char *) pool);
      10:  
      11:     //分配和第一个内存块同样大小的内存块
      12:     m = ngx_memalign(NGX_POOL_ALIGNMENT, psize, pool->log);
      13:     if (m == NULL) {
      14:         return NULL;
      15:     }
      16:  
      17:     new = (ngx_pool_t *) m;
      18:  
      19:     //设置新内存块的end
      20:     new->d.end = m + psize;
      21:     new->d.next = NULL;
      22:     new->d.failed = 0;
      23:  
      24:     //将指针m移动到d后面的一个位置，作为起始位置
      25:     m += sizeof(ngx_pool_data_t);
      26:     //对m指针按4字节对齐处理
      27:     m = ngx_align_ptr(m, NGX_ALIGNMENT);
      28:     //设置新内存块的last，即申请使用size大小的内存
      29:     new->d.last = m + size;
      30:  
      31:     //这里的循环用来找最后一个链表节点，这里failed用来控制循环的长度，如果分配失败次数达到5次，就忽略，不需要每次都从头找起
      32:     for (p = pool->current; p->d.next; p = p->d.next) {
      33:         if (p->d.failed++ > 4) {
      34:             pool->current = p->d.next;
      35:         }
      36:     }
      37:  
      38:     p->d.next = new;
      39:  
      40:     return m;
      41: }

  • 3、分配大块内存 ngx_palloc_large(ngx_pool_t *pool, size_t size)

    在ngx_palloc中首先会判断申请的内存大小是否超过内存块的最大限值，如果超过，则直接调用ngx_palloc_large，进入大内存块的分配流程；

       1: static void *
       2: ngx_palloc_large(ngx_pool_t *pool, size_t size)
       3: {
       4:     void              *p;
       5:     ngx_uint_t         n;
       6:     ngx_pool_large_t  *large;
       7:  
       8:     // 直接在系统堆中分配一块大小为size的空间
       9:     p = ngx_alloc(size, pool->log);
      10:     if (p == NULL) {
      11:         return NULL;
      12:     }
      13:  
      14:     n = 0;
      15:  
      16:     // 查找到一个空的large区，如果有，则将刚才分配的空间交由它管理  
      17:     for (large = pool->large; large; large = large->next) {
      18:         if (large->alloc == NULL) {
      19:             large->alloc = p;
      20:             return p;
      21:         }
      22:         //为了提高效率， 如果在三次内没有找到空的large结构体，则创建一个
      23:         if (n++ > 3) {
      24:             break;
      25:         }
      26:     }
      27:  
      28:  
      29:     large = ngx_palloc(pool, sizeof(ngx_pool_large_t));
      30:     if (large == NULL) {
      31:         ngx_free(p);
      32:         return NULL;
      33:     }
      34:     
      35:     //将large链接到内存池
      36:     large->alloc = p;
      37:     large->next = pool->large;
      38:     pool->large = large;
      39:  
      40:     return p;
      41: }
    整个内存池分配如下图：
    20121017114009366

    • 4.3 内存池重置 ngx_reset_pool

       1: void
       2: ngx_reset_pool(ngx_pool_t *pool)
       3: {
       4:     ngx_pool_t        *p;
       5:     ngx_pool_large_t  *l;
       6:     
       7:     //释放大块内存
       8:     for (l = pool->large; l; l = l->next) {
       9:         if (l->alloc) {
      10:             ngx_free(l->alloc);
      11:         }
      12:     }
      13:     
      14:     // 重置所有小块内存区
      15:     for (p = pool; p; p = p->d.next) {
      16:         p->d.last = (u_char *) p + sizeof(ngx_pool_t);
      17:         p->d.failed = 0;
      18:     }
      19:  
      20:     pool->current = pool;
      21:     pool->chain = NULL;
      22:     pool->large = NULL;
      23: }

    4.4 内存池释放 ngx_pfree

     

  •    1: ngx_int_t
       2: ngx_pfree(ngx_pool_t *pool, void *p)
       3: {
       4:     ngx_pool_large_t  *l;
       5:  
       6:     //只检查是否是大内存块，如果是大内存块则释放
       7:     for (l = pool->large; l; l = l->next) {
       8:         if (p == l->alloc) {
       9:             ngx_log_debug1(NGX_LOG_DEBUG_ALLOC, pool->log, 0,
      10:                            "free: %p", l->alloc);
      11:             ngx_free(l->alloc);
      12:             l->alloc = NULL;
      13:  
      14:             return NGX_OK;
      15:         }
      16:     }
      17:  
      18:     return NGX_DECLINED;
      19: }

    所以说Nginx内存池中大内存块和小内存块的分配与释放是不一样的。我们在使用内存池时，可以使用ngx_palloc进行分配，使用ngx_pfree释放。而对于大内存，这样做是没有问题的，而对于小内存就不一样了，分配的小内存，不会进行释放。因为大内存块的分配只对前3个内存块进行检查，否则就直接分配内存，所以大内存块的释放必须及时。

    4.5 外部资源的清理

    Nginx内存池支持通过回调函数，对外部资源的清理。ngx_pool_cleanup_t是回调函数结构体，它在内存池中以链表形式保存，在内存池进行销毁时，循环调用这些回调函数对数据进行清理。

       1: typedef struct ngx_pool_cleanup_s  ngx_pool_cleanup_t;
       2:  
       3: struct ngx_pool_cleanup_s {
       4:     ngx_pool_cleanup_pt   handler;
       5:     void                 *data;
       6:     ngx_pool_cleanup_t   *next;
       7: };

    其中

        • handler：是回调函数指针；
        • data：回调时，将此数据传入回调函数；

    next：//指向下一个回调函数结构体；

     

    如果我们需要添加自己的回调函数，则需要调用ngx_pool_cleanup_add来得到一个ngx_pool_cleanup_t，然后设置handler为我们的清理函数，并设置data为我们要清理的数据。这样在ngx_destroy_pool中会循环调用handler清理数据；

       1: ngx_pool_cleanup_t *
       2: ngx_pool_cleanup_add(ngx_pool_t *p, size_t size)
       3: {
       4:     ngx_pool_cleanup_t  *c;
       5:     
       6:     //分配ngx_pool_cleanup_t
       7:     c = ngx_palloc(p, sizeof(ngx_pool_cleanup_t));
       8:     if (c == NULL) {
       9:         return NULL;
      10:     }
      11:  
      12:     //给data分配内存
      13:     if (size) {
      14:         c->data = ngx_palloc(p, size);
      15:         if (c->data == NULL) {
      16:             return NULL;
      17:         }
      18:  
      19:     } else {
      20:         c->data = NULL;
      21:     }
      22:  
      23:     //将回掉函数链入内存池
      24:     c->handler = NULL;
      25:     c->next = p->cleanup;
      26:  
      27:     p->cleanup = c;
      28:  
      29:     ngx_log_debug1(NGX_LOG_DEBUG_ALLOC, p->log, 0, "add cleanup: %p", c);
      30:  
      31:     return c;
      32: }

    比如：我们可以将一个开打的文件描述符作为资源挂载到内存池上，同时提供一个关闭文件描述的函数注册到handler上，那么内存池在释放的时候，就会调用我们提供的关闭文件函数来处理文件描述符资源了。

    201210171140326004

  •  

     

    4.6 内存池销毁 ngx_destroy_pool

     

       1: void
       2: ngx_destroy_pool(ngx_pool_t *pool)
       3: {
       4:     ngx_pool_t          *p, *n;
       5:     ngx_pool_large_t    *l;
       6:     ngx_pool_cleanup_t  *c;
       7:  
       8:     //依次调用外部析构回调函数
       9:     for (c = pool->cleanup; c; c = c->next) {
      10:         if (c->handler) {
      11:             ngx_log_debug1(NGX_LOG_DEBUG_ALLOC, pool->log, 0,
      12:                            "run cleanup: %p", c);
      13:             c->handler(c->data);
      14:         }
      15:     }
      16:     
      17:     //释放大块内存
      18:     for (l = pool->large; l; l = l->next) {
      19:  
      20:         ngx_log_debug1(NGX_LOG_DEBUG_ALLOC, pool->log, 0, "free: %p", l->alloc);
      21:  
      22:         if (l->alloc) {
      23:             ngx_free(l->alloc);
      24:         }
      25:     }
      26:     //释放小块内存
      27:     for (p = pool, n = pool->d.next; /* void */; p = n, n = n->d.next) {
      28:         ngx_free(p);
      29:  
      30:         if (n == NULL) {
      31:             break;
      32:         }
      33:     }
      34: }

     

    5.参考资料

     

    1.http://www.cnblogs.com/xiekeli/archive/2012/10/17/2727432.html

    2.《深入理解Nginx》

  •  

  • -Echo Chen

  • Blog.csdn.net/chen19870707

这篇关于菜鸟nginx源码剖析数据结构篇（九） 内存池ngx_pool_t的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/810590。

相关文章

NameNode内存生产配置

NameNode内存生产配置

Hadoop2.x 系列，配置 NameNode 内存 NameNode 内存默认 2000m ，如果服务器内存 4G ， NameNode 内存可以配置 3g 。在 hadoop-env.sh 文件中配置如下。 HADOOP_NAMENODE_OPTS=-Xmx3072m Hadoop3.x 系列，配置 Nam
阅读更多...
JAVA智听未来一站式有声阅读平台听书系统小程序源码

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来，一站式有声阅读平台听书系统 🌟&nbsp;开篇：遇见未来，从“智听”开始 在这个快节奏的时代，你是否渴望在忙碌的间隙，找到一片属于自己的宁静角落？是否梦想着能随时随地，沉浸在知识的海洋，或是故事的奇幻世界里？今天，就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统，它正悄悄改变着我们的阅读方式，让未来触手可及！ 📚&nbsp;第一站：海量资源，应有尽有 走进“智听
阅读更多...
【数据结构】——原来排序算法搞懂这些就行，轻松拿捏

【数据结构】——原来排序算法搞懂这些就行，轻松拿捏

前言：快速排序的实现最重要的是找基准值，下面让我们来了解如何实现找基准值 基准值的注释：在快排的过程中，每一次我们要取一个元素作为枢纽值，以这个数字来将序列划分为两部分。 在此我们采用三数取中法，也就是取左端、中间、右端三个数，然后进行排序，将中间数作为枢纽值。 快速排序实现主框架： //快速排序 void QuickSort(int* arr, int left, int rig
阅读更多...
6.1.数据结构-c/c++堆详解下篇（堆排序，TopK问题）

6.1.数据结构-c/c++堆详解下篇（堆排序，TopK问题）

上篇：6.1.数据结构-c/c++模拟实现堆上篇（向下，上调整算法，建堆，增删数据）-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小)： 2.2 C语言代码（手写堆） 2.3 C++代码（使用优先级队列 priority_queue）
阅读更多...
Java ArrayList扩容机制 （源码解读）

Java ArrayList扩容机制 （源码解读）

结论：初始长度为10，若所需长度小于1.5倍原长度，则按照1.5倍扩容。若不够用则按照所需长度扩容。 一. 明确类内部重要变量含义         1：数组默认长度         2:这是一个共享的空数组实例，用于明确创建长度为0时的ArrayList ，比如通过 new ArrayList<>(0)，ArrayList 内部的数组 elementData 会指向这个 EMPTY_EL
阅读更多...
如何在Visual Studio中调试.NET源码

如何在Visual Studio中调试.NET源码

今天偶然在看别人代码时，发现在他的代码里使用了Any判断List<T>是否为空。 我一般的做法是先判断是否为null，再判断Count。 看了一下Count的源码如下： 1 [__DynamicallyInvokable]2 public int Count3 {4 [__DynamicallyInvokable]5 get
阅读更多...
工厂ERP管理系统实现源码（JAVA）

工厂ERP管理系统实现源码（JAVA）

工厂进销存管理系统是一个集采购管理、仓库管理、生产管理和销售管理于一体的综合解决方案。该系统旨在帮助企业优化流程、提高效率、降低成本，并实时掌握各环节的运营状况。 在采购管理方面，系统能够处理采购订单、供应商管理和采购入库等流程，确保采购过程的透明和高效。仓库管理方面，实现库存的精准管理，包括入库、出库、盘点等操作，确保库存数据的准确性和实时性。 生产管理模块则涵盖了生产计划制定、物料需求计划、
阅读更多...
《数据结构（C语言版）第二版》第八章-排序（8.3-交换排序、8.4-选择排序）

《数据结构（C语言版）第二版》第八章-排序（8.3-交换排序、8.4-选择排序）

8.3 交换排序 8.3.1 冒泡排序 【算法特点】 (1) 稳定排序。 (2) 可用于链式存储结构。 (3) 移动记录次数较多，算法平均时间性能比直接插入排序差。当初始记录无序，n较大时， 此算法不宜采用。 #include <stdio.h>#include <stdlib.h>#define MAXSIZE 26typedef int KeyType;typedef char In
阅读更多...
Spring 源码解读：自定义实现Bean定义的注册与解析

Spring 源码解读：自定义实现Bean定义的注册与解析

引言 在Spring框架中，Bean的注册与解析是整个依赖注入流程的核心步骤。通过Bean定义，Spring容器知道如何创建、配置和管理每个Bean实例。本篇文章将通过实现一个简化版的Bean定义注册与解析机制，帮助你理解Spring框架背后的设计逻辑。我们还将对比Spring中的BeanDefinition和BeanDefinitionRegistry，以全面掌握Bean注册和解析的核心原理。
阅读更多...
音视频入门基础：WAV专题（10）——FFmpeg源码中计算WAV音频文件每个packet的pts、dts的实现

音视频入门基础：WAV专题（10）——FFmpeg源码中计算WAV音频文件每个packet的pts、dts的实现

一、引言 从文章《音视频入门基础：WAV专题（6）——通过FFprobe显示WAV音频文件每个数据包的信息》中我们可以知道，通过FFprobe命令可以打印WAV音频文件每个packet（也称为数据包或多媒体包）的信息，这些信息包含该packet的pts、dts： 打印出来的“pts”实际是AVPacket结构体中的成员变量pts，是以AVStream->time_base为单位的显
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2