apache内存池技术内幕

目录

1. 内存池概述 .................................................................................................................................................... 2

2. 内存池分配结点 ............................................................................................................................................ 3

3. 内存池分配子

ALLOCATOR ...................................................................................................................... 6

3.1. 分配子概述....................................................................................................................................................6

3.2. 分配子创建与销毁........................................................................................................................................8

5. APACHE

内存池中分配结点补充说明 ...................................................................................................... 20

6. 内存池中

CURRENT_FREE_INDEX

7. 内存分配子的

CURRENT_FREE_INDEX

7.1. 背景.............................................................................................................................................................. 24

中的对象，而且对于整个  中的大部分对象的内存都是从内存池中进行分配的，因此

我们将把内存池作为整个  的基础。

 内存池概述

而言，少许的内存问题，比如内存泄露可能还能忍受，但是对于  这 种大负载量的服

务器而言，内存的问题变得尤其重要，因为丝毫的内存泄露以及频繁的内存分配都可能导致

服务器的效率下降甚至崩溃。

无味，同时也可能充满各种令人厌恶的问题。对同一块内存的多次释放通常会导致页面错误

方面，即时内存的使用者忘记释放内存或者根本就不想分配，那么这些内存也不会丢失，它

们仍然保存在内存池中，当内存池被销毁的时候这些内存将自动的被销毁。

 函数，如果其内部需要进行资源分配，那么它的函数参数中总是会带有一个内存池

参数，该内存池参数指明分配内存来自的内存池，比如下面的两个函数：

 的结构，用以指明函数内存分配来自的内存池。在后面的大部分过程中我们对于

该参数将不再做多余的解释。

含多个请求，因此连接的生存周期总是比一个请求的周期长，为此连接处理中所需要的内存

则从连接内存池中分配，而请求则从请求内存池中分配。而一个请求处理完毕后请求内存池

被释放，一个连接处理后连接内存池被释放。根内存池在整个  运行期间都存在。

 中一个内存池的层次结构图可以大致如下描述：

* 内存池分配结点

对分配的内存进行管理， 中使用了内存结点的概念来描述每次分配的内存块。其结

构类型则描述为 ，该结构定义在文件  中，其定义如下：

该结点类型是整个  内存管理的基石，在后面的部分我们将其称之为“内存结点类型”

或者简称为“内存结点”或者“结点”。在该结构中，不同的结点之间通过 - 指针形成结点链

表；另外当在结点内部的时候为了方便引用结点本身，成员变量中还引入了 ，该变量主要

容纳实际分配的内存，事实上，它从来不单独存在，总是依附于具体的分配的内存单元。通

常情况下，一旦分配了实际的空间之后， 总是将该结构置于整个单元的最顶部，如

下图所示。

内存结点示意图

为此  采取的则是“规则块”分配原则。 所支持的分配的最小空间是 >6，如果

分配的空间达不到 >6 的大小，则按照 >6 去分配；如果需要的空间超过 >6，则将分配的空

理方式称之为“>6 对齐”或者“?6 对齐”或者类似。

<@!(0>。与之对应， 中为了处理方便，同时也将

 结 构 的 大 小 从 (0 调 整 为

<@)G $(0。在前面的部分我们曾经描述过，对于

一块 56 的内存区域，如果其用  进行记录的话，实际的可用空间大小并

不 是 567(0 ， 更 精 确 地 则 应 该 是 567

<@!G $(0。

分配，实际分配大小为 >I*；如果我们要求分配的空间为 >I*，由于其加上内存结点头，

大 于 >I* ， 此 时 将 按 照 最 小 单 元 分 配 ?' ， 此 时 实 际 分 配 的 空 间 大 小 为

>I*:?II58*6。这样，每个结点的空间大小都不完全一样，为此分配结点本身必须了

解本结点的大小，这个可以使用 (- 进行记录。

不会直接将 *6 赋值给 (- 变量。相反，(- 只是记录当前结点大小相对于 ?6 的倍数，