PostgreSQL的内存管理机制三：AllocSet/MemoryContext实例删除和内存回收

陈辉煌

　　 话说MemoryContextMethods结构里的函数实现了pg里AllocSet/MemoryContext的内存管理机制，定义见下面。
　　typedef structMemoryContextMethods
　　{
　　 void  *(*alloc) (MemoryContext context, Sizesize);
　　 /* call this free_p in case someone #define's free() */
　　 void (*free_p)(MemoryContext context, void *pointer);
　　 void  *(*realloc) (MemoryContext context, void *pointer, Size size);
　　 void (*init)(MemoryContext context);
　　 void (*reset)(MemoryContext context);
　　 void (*delete) (MemoryContext context);
　　 Size (*get_chunk_space) (MemoryContext context, void *pointer);
　　 bool (*is_empty)(MemoryContext context);
　　 void (*stats)(MemoryContext context);
　　#ifdef MEMORY_CONTEXT_CHECKING
　　 void (*check)(MemoryContext context);
　　#endif
　　} MemoryContextMethods;
　　
　　 其中delete由AllocSet的静态函数AllocSetDelete()实现，具体签名在下面。它实现了AllocSet相关的内存删除机制。而MemoryContext即父类的内存删除由MemoryContextDelete()实现，签名在下面。这两个方法各自负责本类型中成员的内存删除工作，好像协作，完成了AllocSet/MemoryContext类型对象的删除和内存回收工作。
　　static void AllocSetDelete(MemoryContextcontext)
　　void MemoryContextDelete(MemoryContext context)
　　
　　 下面就写MemoryContextMethods.delete的实现者负责AllocSet实例删除的AllocSetDelete()这个函数以及相关的负责MemoryContext实例删除的MemoryContextDelete()方法。先上图，然后分块解读处理流程。
　　

AllocSet/MemoryContext实例内存删除流程图

　　
　　 先说红色框吧，在红色框部分，MemoryContextDelete方法检查要删除的context是否有效，然后调用MemoryContextDeleteChildren方法，检查context的firstchild是否不为空，若不空就以firstchild指向的子context为参数调用MemoryContextDelete方法。这样就以MemoryContextDelete方法和MemoryContextDeleteChildren方法形成了递归调用，以删除当前的context及它的子context。
　　 接着看黄色框，在前面形成递归调用的基础上，黄色框中主要是删除context及其子context的nextchild指向的子context。
　　 再接着看蓝色框，主要是在前面形成递归调用的基础上，针对要删除的context及其子context调用AllocSetDelelte方法，处理context的aset和blocks成员，把aset置空，把AllocBlock列表blocks中的block使用过的内存空间逐个置0X7F，然后调free释放。这个blocks链表处理完后就到了绿色框中。
　　 现在看绿色框和紫色框，在绿色框中，还是在前面形成递归调用的基础上，在绿色框中检查要删除的context的有效性，然后找到该context所在的AllockChunk类型实例chunk，根据该chunk找到其所属的context，把要删除的context和其所在的chunk所属的context一起作为参数调用AllocSetFree方法去释放要删除的context所占内存。AllocSetFree释放内存在《pg的内存管理机制二》中已经讨论过了，感兴趣可以去看一下。
　　这样就在以MemoryContextDelete方法和MemoryContextDeleteChildren方法形成的递归调用里逐个删除要删除的context及其firstchild和nextchild成员“链”上的context。具体看流程图吧。
　　 结合图形看一个递归删除MemoryContext类型实例时的顺序的例子，图中一个圆圈代表一个MemoryContext类型实例，在左下方的是MemoryContext的firstshild成员，在右下方的是nextchild成员。图一是初始时的样子，现在要删除节点4，先顺着4的firstchild递归到其最终叶子节点6，将其按上面说的过程删除并释放空间，如图二。然后将节点4的nextchild节点7放到4的父节点3的nextchild子节点上，把节点3原来的nextchild子节点5放到节点7的nenxtchild子节点上，如图三。这时已经处理完了节点4的两个子节点，将节点4删除。
　　

　　就到这儿吧。