【0257】关于pg内核shared cache invalidation messages （概念篇）

1. inval messages

所谓“共享缓存无效消息（shared cache invalidation messages）”，从概念上讲，共享缓存无效消息存储在一个无限数组中，其中maxMsgNum是存储提交消息的下一个数组下标， minMsgNum是包含尚未被所有后端读取的消息的最小数组下标，并且我们总是有maxMsgNum >= minMsgNum。 (当没有消息挂起时，它们是相等的。)对于每个活动后端，都有一个nextMsgNum指针，指示它需要读取的下一条消息；对于每个后端，我们有maxMsgNum >= nextMsgNum >= minMsgNum。

(在当前的实现中，minMsgNum是每个进程nextMsgNum值的下界，但它并没有严格地保持等于最小的nextMsgNum —— 它可能会落后。我们只在调用SICleanupQueue()时更新它，我们尽量不经常这样做。)

实际上，消息存储在MAXNUMMESSAGES条目的循环缓冲区中。我们通过计算MsgNum % MAXNUMMESSAGES将MsgNum值转换为循环缓冲区索引（只要MAXNUMMESSAGES是一个常数并且是2的幂，这应该很快）。只要maxMsgNum不超过minMsgNum超过MAXNUMMESSAGES，我们在缓冲区中就有足够的空间。如果缓冲区溢出，我们通过为每个落后太远的后端进程设置“reset”标志来恢复。在确定minMsgNum时，处于“reset”状态的后端将被忽略。当它最终尝试接收inval消息时，它必须丢弃所有的invalidatable状态，因为它不知道它错过了什么。

为了