nginx源码剖析内存池

拒绝躺平@

已于 2024-09-02 22:07:56 修改

阅读量1k

点赞数 13

文章标签： nginx 运维 c++ 开发语言数据结构

于 2024-09-02 22:05:38 首次发布

本文链接：https://blog.csdn.net/m0_60773087/article/details/141817462

版权

内存对齐（字节对齐 - Word）

内存对齐是指数据在内存中存储时，按照特定的字节边界进行排列，以提高 CPU 访问内存的效率。对于 32 位 CPU，一个 word 通常是 4 字节；对于 64 位 CPU，一个 word 通常是 8 字节。

示例：结构体对齐

考虑以下结构体 abc：

struct abc {
    char a;  // 1 字节
    char b;  // 1 字节
    int c;   // 4 字节
};

不考虑内存对齐

如果不进行内存对齐，内存布局可能如下：

| a | b |   |   | c |   |   |   |
|---|---|---|---|---|---|---|---|
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |

在这种情况下，a 和 b 占用 2 字节，c 占用 4 字节。访问 c 时，CPU 需要从内存中读取两次（从地址 4 和 5），效率较低。

考虑内存对齐

如果使用内存对齐，结构体的布局将变为：

| a | b |   |   | c |   |   |   |
|---|---|---|---|---|---|---|---|
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 |

在这种情况下，a 和 b 占用 2 字节，后面填充 2 字节以对齐 c。这样，c 只需一次内存读取即可访问。

内存对齐中的元素顺序

如果我们交换 b 和 c 的顺序：

struct abc {
    char a;  // 1 字节
    int c;   // 4 字节
    char b;  // 1 字节
};

在 4 字节对齐的情况下，内存布局将变为：

| a |   |   |   | c |   |   |   | b |   |   |   |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | A | B |

这里，a 占用 1 字节，后面填充 3 字节以对齐 c，c 占用 4 字节，b 占用 1 字节，后面再填充 3 字节。总共占用 12 字节，比之前的布局多占用了 4 字节的空间。

内存对齐对数组的影响

假设我们有一个数组 v，其中包含 10 个 abc 结构体。如果使用内存对齐，访问 v[3] 时，编译器会进行优化，使用如下指令：

leal (%eax, %eax, 2), %eax

这条指令直接计算出 v[3] 的地址，避免了逐个元素的计算。v[3] 的地址是 3 倍的 abc 大小，提升了访问效率。

总结

内存对齐主要是为了帮助 CPU 更快地从内存中读取数据。良好的软件设计会充分考虑内存对齐的情况，以提高性能。在 Nginx 的内存池中，使用了优化的内存对齐策略，以减少内存访问的延迟和提高效率。

nginx内存池源码

在本次分析中，我们将重点关注Nginx内存池的三个主要部分：小块内存、大块内存和内存释放。Nginx的内存池源码主要位于src/core/ngx_palloc.h。
先看内存池结构在这里插入图片描述
这里有一个large和d，再分配内存的时候大块内存就分配在large中，小块内存就分配在ngx_pool_data中
这个max就是用来判断是大内存还是小内存，current就是指向当前的ngx_pool，因为当内存池不够了，就要重新分配一个ngx_pool_s,大内存large是一个链表也是这个原因。