APR Pool

APR Pool内存管理策略是以memnode为单位整存零取
先看看memnode的定义：
struct apr_memnode_t {
    apr_memnode_t *next;        /**< next memnode */
    apr_memnode_t **ref;        /**< reference to self */
    apr_uint32_t  index;        /**< size */
    apr_uint32_t  free_index;   /**< how much free */
    char *first_avail;         /**< pointer to first free memory */
    char *endp;                /**< pointer to end of free memory */
};
memnode分为两种：正在使用的和已释放的
正在使用的memnode利用next和ref两个字段组织为一个双向的环:

最有趣的在于ref字段
从定义上可以看到这是一个指向指针的指针
实际上它指向环中上一个memnode节点的next字段
上一个节点的next字段指向哪儿呢？
就是ref所在memnode的地址
所以注释说是"reference to self"
知道了数据结构，操作链表的算法也就不言自明了:

/* Node list management helper macros; list_insert() inserts 'node'
 * before 'point'. */
#define list_insert(node, point) do {           \
    node->ref = point->ref;                     \
    *node->ref = node;                          \
    node->next = point;                         \
    point->ref = &node->next;                   \
} while (0)

/* list_remove() removes 'node' from its list. */
#define list_remove(node) do {                  \
    *node->ref = node->next;                    \
    node->next->ref = node->ref;                \
} while (0)

已被应用程序释放的memnode被回收在allocator的free数组中
先看allocator的定义

#define MIN_ALLOC 8192
#define MAX_INDEX   20

struct apr_allocator_t {
    apr_uint32_t        max_index;
    apr_uint32_t        max_free_index;
    apr_uint32_t        current_free_index;
    apr_thread_mutex_t *mutex;
    apr_pool_t         *owner;
    apr_memnode_t      *free[MAX_INDEX];
};

每个free数组元素是一个用memnode的next字段串起来的链表
(链尾节点的next字段被设置为NULL)
memnode根据自身的大小被放入free数组中相应位置的链表中
free[1]下挂的memnode大小为2¹²(即上面定义的MIN_ALLOC)
以后以2为幂递增
超过数组允许最大值的(2³⁰)则放入free[0]中
这里有趣的地方在于赋予了数组的位置以寻址以外的含义
就像阿拉伯数字所做的那样，不过是以2为进制而已