【0258】pg内核支持的所有 inval messages 类型

1. inval messages类型

pg内核中，共支持几种类型的共享无效消息：

• （1）使特定catcache中的特定元组无效
• （2）使给定系统目录中的所有catcache项无效
• （3）使特定逻辑关系表的relcache条目无效
• （4）使所有relcache项无效
• （5）使特定物理关系表的smgr缓存项无效
• （6）使给定数据库的映射关系表映射无效
• （7）使可能用于扫描给定关系表的任何保存的快照失效

如果需要，可以添加更多类型。消息类型由消息结构的第一个“int8”字段标识。0或正值表示一个特定的catcache无效消息 (也用作catcache ID字段)。负值标识其他消息类型，如下面的代码所示。

Catcache inval事件最初是通过检测系统目录中的元组插入、更新和删除来驱动的（请参阅CacheInvalidateHeapTuple）。更新可以生成两个inval事件，一个用于旧元组，另一个用于新元组，但如果元组的哈希键不变，则会减少为一个事件。请注意，inval事件本身实际上并没有说明元组是被插入还是被删除。此外，由于我们只传输哈希密钥，因此由于哈希密钥的偶然匹配，存在不必要的无效风险。

请注意，有些系统目录上有多个缓存（具有不同的索引）。在这样的目录中检测到元组无效时，
必须为其每个缓存生成单独的catcache inval消息，因为哈希键通常是不同的。

Catcache、relcache和快照失效是事务性的，因此在提交时被发送到其他后端。在生成后端内部，
它们也在CommandCounterIncrement中进行处理，以便同一事务中的后续命令可以看到新状态。
生成后端还必须在中止时处理它们，以清除从不再有效的条目加载的任何缓存状态。

SMGR和关系映射表失效是非事务性的：它们在底层文件发生更改时立即发送。