这一节pg初始化进程表,通过CreateSharedProcArray例程实现,该例程中初始化的相关结构主要是为了支持维护一个所有活跃backend进程的PGPROC结构的未排序数组。尽管多处用到此数组,但主要是作为确定当前运行进程的事务集合的一种方式。
1先上个图,看一下函数调用过程梗概,中间略过部分细节
初始化SharedProcArray方法调用流程图
2初始化xlog相关结构
话说main()->…->PostmasterMain()->…->reset_shared() ->CreateSharedMemoryAndSemaphores()>…->CreateSharedProcArray(),调用ShmemInitStruct(),在其中调用hash_search()在哈希表索引"ShmemIndex"中查找"ProcArray",如果没有,就在shmemIndex中给"Proc Array"分一个HashElement和ShmemIndexEnt(entry),在其中的Entry中写上"Proc Array"。返回ShmemInitStruct(),再调用ShmemAlloc()在共享内存上给"Proc Array"相关结构(见下面“Proc Array相关结构图”)分配空间,设置entry(在这儿及ShmemIndexEnt类型变量)的成员location指向该空间,size成员记录该空间大小,最后返回InitProcGlobal(),让ProcArrayStruct *类型全局变量procArray指向所分配内存,设置PROC_HDR结构类型的成员值。
相关结构定义见下面:
/* Our shared memory area */
typedef struct ProcArrayStruct
{
int numProcs; /* number of valid procs entries */
int maxProcs; /* allocated size of procs array */
/*
* Known assigned XIDs handling
*/
int maxKnownAssignedXids; /* allocated size of array */
int numKnownAssignedXids; /* currrent # of valid entries */
int tailKnownAssignedXids; /* index of oldest valid element */
int headKnownAssignedXids; /* index of newest element, + 1 */
slock_t known_assigned_xids_lck; /* protects head/tail pointers */
/*
* Highest subxid that has been removed fromKnownAssignedXids array to
* prevent overflow; or InvalidTransactionId ifnone. We track this for
* similar reasons to tracking overflowingcached subxids in PGPROC
* entries. Must hold exclusive ProcArrayLock to change this, and shared
* lock to read it.
*/
TransactionIdlastOverflowedXid;
/*
* We declare procs[] as 1 entry because Cwants a fixed-size array, but
* actually it is maxProcs entries long.
*/
PGPROC *procs[1]; /* VARIABLELENGTH ARRAY */
} ProcArrayStruct;
static ProcArrayStruct *procArray;
初始化完ProcArray相关结构的共享内存结构图
为了精简上图,把创建shmem的哈希表索引"ShmemIndex"时创建的HCTL结构删掉了,这个结构的作用是记录创建可扩展哈希表的相关信息,不过这个结构在"ShmemIndex"创建完成后也会由于出了对象作用域而消失。增加了左边灰色底的部分,描述共享内存/shmem里各变量物理布局概览,由下往上,由低地址到高地址。图中黄色的索引项就是本节新增加的索引项。
Proc Array相关结构图