【PostgreSQL 内核探索笔记】FSM(Free Space Map) 空闲空间映射

FSM是PostgreSQL中用于管理表空间中空闲空间的数据结构。它记录了每个表空间中所有空闲页面的信息，并且通过一个特定的B-Tree结构来管理这些信息，以便高效地查找和利用空闲空间。

在PostgreSQL的源代码中，FreeSpaceMap.c文件和FreeSpaceMap.h文件定义了FSM的实现细节。

以下是一个简化的FSM初始化代码示例：

#include "storage/freespace/FreeSpaceMap.h"
 
/*
 * Initialize a new FSM for the specified relation.
 *
 * rel: the relation for which to initialize the FSM.
 * isLocal: whether the relation is a local one or not.
 */
void
FreeSpaceMapInit(RelFileNode rel, bool isLocal)
{
    FSMAddress addr;
 
    // Compute the address of the FSM
    FSMAddressSet(&addr, rel.spcNode, rel.dbNode, rel.relNode, isLocal);
 
    // Initialize the FSM
    fsm_init(addr, 0);
}

在这个示例中，我们定义了一个FreeSpaceMapInit函数，它接受一个关系文件节点和一个布尔值来指示这个关系是否是局部的。然后，我们使用FSMAddressSet函数来设置FSM的地址，并调用fsm_init来初始化FSM。

这只是FSM操作的一个简单示例，实际的FSM实现和操作会更加复杂，包括空闲空间的分配、合并和释放等。