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和关系映射表失效是非事务性的:它们在底层文件发生更改时立即发送。