Nginx内存池

nginx内存池分析

内存池的优点

使用系统自带函数的缺陷：

• 系统自带的ptmalloc内存管理分配器，在分配和回收内存时虽然都有自己的策略，但是直接使用malloc/free仍然性能比较底下。
• 频繁的使用malloc分配内存会产生内存碎片，不容易让系统回收。
• 容易产生内存泄漏（管理麻烦）。

内存池的优点：

• 管理方便，分配一块大内存，回收的时候只需要直接回收整块大内存即可；
• 提高效率，不需要每次都调用malloc/free系统调用；

内存对齐

• d和p为需要对齐的数字（地址），a为对齐参数：
  #define nat_align(d, a) (((d) + ((a) - 1)) & ~(a-1))
  #define nat_align_ptr(p, a)
  (uchar*)(((uintptr_t)§ + ((uintptr_t)a - 1)) & ~((uintptr_t)a-1))
• 对齐参数：
  #define NAT_ALIGNMENT sizeof(unsigned long)

内存池模型分析

//nginx_pool中用到的数据结构
typedef struct ngx_pool_s  ngx_pool_t;
//内存池中每个内存块的数据域结构
typedef struct {
    u_char               *last;  /* 内存池中未使用内存的开始节点地址 */
    u_char               *end;   /* 内存池的结束地址 */
    ngx_pool_t           *next;  /* 指向下一个内存池 */
    ngx_uint_t            failed;/* 失败次数 */
} ngx_pool_data_t;
/*
* 管理内存池的数据结构，在nginx内存池中，以内存块（ngx_pool_data_t）的形式对已经申请的内存进行管理，
* 内存块又被分为主内存块（管理链表的头节点）和子内存块，chain、large、cleanup、log成员由主内存块管理，
* 子内存块只需要维护ngx_pool_data_t，即内存块分配的数据区域;
*/
struct ngx_pool_s {
    ngx_pool_data_t       d; 		/* 内存池的数据区域*/
    size_t                max; 		/* 最大每次可分配内存 */
    ngx_pool_t           *current;  /* 指向当前内存管理块节点，为了减少分配内存时遍历链表的次数，current可能会后移*/
    ngx_chain_t          *chain;	/* 缓冲区链表 */
    ngx_pool_large_t     *large;    /* 存储大数据的链表 */
    ngx_pool_cleanup_t   *cleanup;  /* 可自定义回调函数，清除内存块分配的内存 */
    ngx_log_t            *log;      /* 日志 */
};
//存储分配大数据内存的链表
struct ngx_pool_large_s {
    ngx_pool_large_t     *next;   /* 指向下一个存储地址 通过这个地址可以知道当前块长度 */
    void                 *alloc;  /* 数据块指针地址 */
};
//释放内存时清理工作
struct ngx_pool_cleanup_s {
    ngx_pool_cleanup_pt   handler;  /* 清理的回调函数 */
    void                 *data; 	/* 指向存储的数据地址 */
    ngx_pool_cleanup_t   *next; 	/* 下一个ngx_pool_cleanup_t */
};

内存池模型说明：

• nginx内存池由多个内存块组成，它们以链表的形式连接在一起，由主内存块统一管理；
• 内存块由ngx_pool_s管理，内存块被分为主内存块和子内存块，chain、large、cleanup、log成员由主内存块管理，子内块只需要维护子内存块分配的数据区域（即新块的ngx_pool_data_t区）；ngx_pool_data_t区记录了本内存块内的可用内存区域（last-end）以及保存了下一个内存块的地址；
• 当申请的内存大小大于max时，nginx会单独申请一块内存，并将其挂在large（large也是一个链表结构）下；
  

内存分配策略（ngx_palloc.c）：

• 内存分配可以选择是否内存对齐（浪费空间但是效率更高）；
• 通过内存需求的大小，选择是从ngx_pool_data_t中获取小内存还是分配大内存逻辑；
• 如果是大内存分配，则会申请一块独立的内存并挂在large上；
• 如果是从小内存中获取所需内存，循环读取pool->d，看是否有足够的size满足需求，如果有则直接返回，如果没有则需要分配新的子内存块；
• 内存池内分配的内存需要等到整个内存池destory时才会被释放；

注意：本文章到此结束-----------------------------

架构分析

事件处理

worker如何竞争连接请求

通过竞争文件锁，获取文件锁的进程可以处理accept事件请求，未获得文件锁的进程只处理read事件请求（解决惊群）。

什么是惊群现象？
惊群现象是指所有的进程/线程在等待同一资源，每当资源可用时，所有进程/线程都来竞争资源的现象。

nginx平滑启动

（1）通过fork的方式，父子进程可以共享同样一份套接字；
（2）以环境变量的方式，子进程获取父进程拥有的套接字组的值，实现平滑启动；