PGSimCity 把 PostgreSQL 内部机制做成可探索 3D 模型
讲清 shared buffers、WAL、checkpointer 和 autovacuum 之间的关系,一直是培训里最难的部分。PGSimCity 把这些部件做成一座可以走进去的 3D 城市,缓冲命中、刷盘与垃圾回收以流量呈现。作者 Nikolay Samokhvalov 把版本定在 0.x,明确它不运行 PostgreSQL 源码,数值经过缩放。它适合建立排障的心智模型,不能用来验证某个版本的行为或性能。
保留原始来源与发布日期的新闻、博客和活动。
讲清 shared buffers、WAL、checkpointer 和 autovacuum 之间的关系,一直是培训里最难的部分。PGSimCity 把这些部件做成一座可以走进去的 3D 城市,缓冲命中、刷盘与垃圾回收以流量呈现。作者 Nikolay Samokhvalov 把版本定在 0.x,明确它不运行 PostgreSQL 源码,数值经过缩放。它适合建立排障的心智模型,不能用来验证某个版本的行为或性能。
PostgreSQL 的发布说明里,性能与运维条目常盖过 SQL 层的变化。Dimitri Fontaine 按版本挑出各大版本的语法增强:11 的窗口帧 GROUPS 模式,12 的 CTE 物化提示与生成列,14 的多范围类型与 JSONB 下标,15 的 MERGE,17 的 JSON_TABLE(),18 的虚拟生成列与 uuidv7()。他的结论是这些改动多在补规范缺口,能省掉应用层的绕行写法。
共识库的正确性通常靠协议规范和多年生产年限背书。故障注入测试厂商 Antithesis 说,它测过的每一个 Raft 实现都出现过违反 state-machine safety 的情况,涉及 HashiCorp Raft、Aeron Cluster、OpenRaft 等,问题均已上报上游。文章强调发现的是实现层缺陷而非否定 Raft,影响范围仍要等维护方公告。可照做的是清点依赖的共识库版本,在预发环境跑分区、崩溃重启与成员变更。
多区域部署了副本,不等于故障时能无缝切换。CNCF 的一篇实践文章用三套 GKE 集群演示 Linkerd 同时启用 gateway、flat 与 federated 三种跨集群连接,并验证 federated frontend 在一套集群下线后由其余副本继续承接请求。文中明确 flat 与 federated 要求 pod 间可直接路由。照搬前要先验证跨集群 DNS、mTLS trust domain、出口费用与写入一致性。
Masahiko Sawada 推送该修复,覆盖 v16 及以上全部受支持分支。
Tomas Vondra 把外键约束纳入过滤器选择性估算,并按选择性排序以稳定执行计划。
Dean Rasheed 推送修复,剩余行改用 NOTICE 提示,Paul A Jungwirth 审阅通过。
Debian 与 Fedora 默认只有 8192 KB,而 Linux 6.14 起每个 io_uring 实例占用更多锁定内存。
项目仍处早期,公开讨论极少,宜当作雷达条目,不要与生产可用扩展混同。
可集中限制插件来源、marketplace 白名单、审批绕过与默认模型,App 策略默认开启。
高风险情境下动态加压验证并自动隔离,目前只有内部早期部署,不是可采购的标准。
用真实 type checker 静态化,无法静态化的依赖可经 --dynamic 嵌入 QuickJS 或被拒绝。
个人实验,没有给出可推广的成功率,产出仍需 proof checker、测试与人工审阅把关。
第三方观察指出 CI、后续 PR 与人工投入未计入,合并的代码量不等于可发布性。