PostgreSQL启动过程中的那些事七：初始化共享内存和信号十三：shmem中初始化SharedInvalidationState

这一节pg初始化管理共享失效信息状态缓存所用到的相关结构，通过CreateSharedInvalidationState例程实现。共享失效消息主要涉及系统目录、逻辑表、物理表文件、数据库等。

1先上个图，看一下函数调用过程梗概，中间略过部分细节

初始化共享失效状态缓存方法调用流程图

2初始化xlog相关结构

话说main()->…->PostmasterMain()->…->reset_shared() ->CreateSharedMemoryAndSemaphores()>…->CreateSharedInvalidationState()，调用ShmemInitStruct()，在其中调用hash_search()在哈希表索引"ShmemIndex"中查找"shmInvalBuffer"，如果没有，就在shmemIndex中给"shmInvalBuffer"分一个HashElement和ShmemIndexEnt（entry），在其中的Entry中写上"shmInvalBuffer"。返回ShmemInitStruct()，再调用ShmemAlloc()在共享内存上给"shmInvalBuffer"相关结构（见下面“shmInvalBuffer相关结构图”）分配空间，设置entry（在这儿及ShmemIndexEnt类型变量）的成员location指向该空间，size成员记录该空间大小，最后返回CreateSharedInvalidationState()，让SISeg *类型静态全局变量shmInvalBuffer指向所分配内存，设置SISeg和ProcState结构类型的成员值。

相关结构定义见下面：

/* Shared cache invalidationmemory segment */

typedef struct SISeg

{

/*

* General stateinformation

*/

int minMsgNum; /* oldestmessage still needed */

int maxMsgNum; /* nextmessage number to be assigned */

int nextThreshold; /* # ofmessages to call SICleanupQueue */

int lastBackend; /* index of lastactive procState entry, +1 */

int maxBackends; /* size ofprocState array */

slock_t msgnumLock; /* spinlock protectingmaxMsgNum */

/*

* Circular buffer holdingshared-inval messages

*/

SharedInvalidationMessage buffer[MAXNUMMESSAGES];

/*

* Per-backend stateinfo.

*

* We declare procState as1 entry because C wants a fixed-size array, but

* actually it ismaxBackends entries long.

*/

ProcState procState[1]; /* reflects the invalidation state */

} SISeg;

static SISeg *shmInvalBuffer; /* pointerto the shared inval buffer */

初始化完shmInvalBuffer相关结构的共享内存结构图

为了精简上图，把创建shmem的哈希表索引"ShmemIndex"时创建的HCTL结构删掉了，这个结构的作用是记录创建可扩展哈希表的相关信息，不过这个结构在"ShmemIndex"创建完成后也会由于出了对象作用域而消失。增加了左边灰色底的部分，描述共享内存/shmem里各变量物理布局概览，由下往上，由低地址到高地址。图中黄色的索引项就是本节新增加的索引项。

shmInvalBuffer相关结构图