话说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     (*set.html' target='_blank'>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;

其中free_p由静态函数AllocSetFree()实现，具体签名在下面。它实现了AllocSet/MemoryContext相关的内存回收机制。

static void AllocSetFree(MemoryContext context, void *pointer)

下面就写MemoryContextMethods.free_p的实现者AllocSetFree()这个函数。先上图，然后分块解读处理流程。

AllocSetFree回收内存流程图

传进来了AllocSet和内存指针，根据该内存指针，找到对应的AllocChunk，检查该chunk中是否有非法写的情况，若有，在日志中写警告记录。接着检查该chunk大小是否大于chunk的最大值8k，把小于8k的AllocChunk加到传进来的AllocSet中空闲AllocChunk链表数组freelist中同样大小的AllocChunk链表头部。大于8k的AllocChunk是根据需要分配的只包含一个AllocChunk的AllocBlock，找到包含超大AllocChunk的AllockBlock，释放该AllocBlock以备其他需要时malloc，如果没有找到大于8k的AllocChunk的AllocBlock，在日志中写错误记录。具体看流程图吧。