【Nginx源码分析】Nginx的内存管理

一. 概述

1. 应用程序的内存可以简单分为堆内存，栈内存。对于栈内存而言，在函数编译时，编译器会插入移动栈当前指针位置的代码，实现栈空间的自管理。而对于堆内存，通常需要程序员进行管理。我们通常说的内存管理亦是只堆空间内存管理。
2. 对于内存，我们的使用可以简化为3步，申请内存、使用内存、释放内存。申请内存，使用内存通常需要程序员显示操作，释放内存却并不一定需要程序员显示操作，目前很多的高级语言提供了垃圾回收机制，可以自行选择时机释放内存，例如: Go、Java已经实现垃圾回收, C语言目前尚未实现垃圾回收，C++中可以通过智能指针达到垃圾回收的目的。
3. 除了语言层面的内存管理外，有时我们需要在程序中自行管理内存，总体而言，对于内存管理，我认为主要是解决以下问题:

• 用户申请内存时，如何快速查找到满足用户需求的内存块？
• 用户释放内存时，如何避免内存碎片化？

1. nginx内存管理整体可以分为2个部分，

• 第一部分是常规的内存池，用于进程平时所需的内存管理；
• 第二部分是共享内存的管理。总体而言，共享内存较内存池要复杂的多。

二. nginx内存池管理

2.1 说明

1. 本部分使用的nginx版本为1.15.3
2. 具体源码参见src/core/ngx_palloc.c文件

2.2 nginx实现

2.2.1 使用流程

nginx内存池的使用较为简单,可以分为3步，

• 调用ngx_create_pool函数获取ngx_pool_t指针。

//size代表ngx_pool_t一块的大小
ngx_pool_t* ngx_create_pool(size_t size, ngx_log_t *log)

• 调用ngx_palloc申请内存使用

//从pool中申请size大小的内存
void* ngx_palloc(ngx_pool_t *pool, size_t size)

• 释放内存(可以释放大块内存或者释放整个内存池)

//释放从pool中申请的大块内存
ngx_int_t ngx_pfree(ngx_pool_t *pool, void *p)
//释放整个内存池
void ngx_destroy_pool(ngx_pool_t *pool)

2.2.2 具体实现

1. 如下图所示，nginx将内存分为2种，一种是小内存，一种是大内存，当申请的空间大于pool->max时，我们认为是大内存空间，否则是小内存空间。

//创建内存池的参数size减去头部管理结构ngx_pool_t的大小
pool->max = size - sizeof(ngx_pool_t);

1. 对于小块内存空间, nginx首先查看当前内存块待分配的空间中，是否能够满足用户需求，如果可以，则直接将这部分内存返回。如果不能满足用户需求，则需要重新申请一个内存块，申请的内存块与当前块空间大小相同，将新申请的内存块通过链表链接到上一个内存块，从新的内存块中分配用户所需的内存。

1. 对于大块内存, nginx会将这些内存放到链表中存储，通过pool->large进行管理。值得注意的是，用户管理大内存的ngx_pool_large_t结构是从本内存池的小块内存中申请而来，也就意味着无法释放这些内存，nginx则是直接复用ngx_pool_large_t结构体。当用户需要申请大内存空间时，利用c函数库malloc申请空间，然后将其挂载某个ngx_pool_large_t结构体上。nginx在需要一个新的ngx_pool_large_t结构时，会首先pool->large链表的前3个元素中，查看是否有可用的,如果有则直接使用，否则新建ngx_pool_large_t结构。

三. nginx共享内存管理

3.1 说明

1. 本部分使用的nginx版本是1.15.3
2. 本部分源码详见src/core/ngx_slab.c, src/core/ngx_shmtx.c
3. nginx共享内存内容相对较多，本文仅做简单概述。

3.2 直接使用共享内存

3.2.1 基础

1. nginx中需要创建互斥锁，用于后面多进程同步使用。除此之外，nginx可能需要一些统计信息，例如设置(stat_stub),对于这些变量，我们并不需要特意管理，只需要开辟共享空间后，直接使用即可。
2. 设置stat_stub后所需的统计信息，亦是放到共享内存中，我们此处仅以nginx中的互斥锁进行说明。

3.2.2 nginx互斥锁的实现

1. nginx互斥锁，有两种方案，当系统支持原子操作时，采用原子操作，不支持时采用文件锁。本节源码见ngx_event_module_init函数。
2. 下图为文件锁实现互斥锁的示意图。

1. 下图为原子操作实现互斥锁的示意图。

1. 问题

3.3 通过slab管理共享内存

1. nginx允许各个模块开辟共享空间以供使用,例如ngx_http_limit_conn_module模块。
2. nginx共享内存管理的基本思想有:

1. nginx共享内存的基本结构图如下:

• 在上图中，除了最右侧的ngx_slab_pool_t接口开始的一段内存位于共享内存区外，其他内存都不是共享内存。
• 共享内存最终是从page中分配而来。