APR Pool内存管理策略是以memnode为单位整存零取
先看看memnode的定义:
struct apr_memnode_t {
apr_memnode_t *next;
apr_memnode_t **ref;
apr_uint32_t index;
apr_uint32_t free_index;
char *first_avail;
char *endp;
};
memnode分为两种:正在使用的和已释放的
正在使用的memnode利用next和ref两个字段组织为一个双向的环:
最有趣的在于ref字段
从定义上可以看到这是一个指向指针的指针
实际上它指向环中上一个memnode节点的next字段
上一个节点的next字段指向哪儿呢?
就是ref所在memnode的地址
所以注释说是"reference to self"
知道了数据结构,操作链表的算法也就不言自明了:
#define list_insert(node, point) do { /
node->ref = point->ref; /
*node->ref = node; /
node->next = point; /
point->ref = &node->next; /
} while (0)
#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大小为212(即上面定义的MIN_ALLOC)
以后以2为幂递增
超过数组允许最大值的(230)则放入free[0]中
这里有趣的地方在于赋予了数组的位置以寻址以外的含义
就像阿拉伯数字所做的那样,不过是以2为进制而已