话说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;

其中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，在日志中写错误记录。具体看流程图吧。