PostgreSQL 博览 2026-08-02 RSS 订阅

数据库测试慢，多半慢在每个用例都重放一遍迁移。Brandur Leach 介绍 pgtestdb 的做法：先把迁移跑进一个模板数据库，之后每个测试用 CREATE DATABASE ... TEMPLATE 直接克隆一份，跑完即销毁，把 schema 初始化从应用层循环挪进服务端的复制路径。收益随库大小、连接池和并发变化，未必线性。要注意的是模板库不能有残留连接，也不该被普通客户端写入，扩展、角色、权限和大对象的行为都要单独验证。

索引扫描漏行是最难察觉的一类缺陷，因为查询照常返回结果。Peter Geoghegan 报告 GiST 在 multirange 上的索引扫描会漏返匹配行，并附上回归测试。Andrey Borodin 确认根因是 multirange_gist_consistent() 检查过严，处理并集范围时产生假阴性，建议改走内部多范围的一致性函数。Alexander Korotkov 又把内部判断精确成并集包含并集。

上传加图片变体是很多 SaaS 默认开放的入口。CVE-2026-66066 让默认使用 libvips 的 Active Storage 应用被未认证攻击者借构造上传读取进程可访问的任意文件，进而拿到环境里的密钥，可升级为会话伪造乃至远程代码执行。修复版本是 activestorage 7.2.3.2、8.0.5.1 和 8.1.3.1，libvips 至少 8.13。仅升级不够，可被进程读到的密钥和凭据都应轮换。

这是操作系统的大版本，不是例行补丁。NetBSD 11.0 在稳定版里首次支持 64 位 RISC-V，新增面向极速启动的 x86 MICROVM 内核、Linux 兼容系统调用和 Snapdragon X Elite 的初步支持，会直接改动平台支持矩阵和交叉构建。项目还罕见地公开列出三个仍待回补的安全问题及其默认配置和规避条件，计划在 11.1 收口。启用了 PF 或 IPFilter、暴露音频设备节点的部署应先按公告采取规避。

依赖形式化证明的系统把「内核拒绝非法项」当作信任根。Lean 官方复盘称，一份 AI 辅助生成、没有 sorry 的反 Collatz 证明利用了嵌套归纳类型参数缺检查的实现缺陷，因而能构造出 False。问题在报告后约一小时修复并发布补丁，只能经元编程直接向内核提交构造来触发。值得注意的是旧版独立检查器 nanoda 另有缺陷，说明多一个检查器并不等于可以不升级，关键证明应在两端重新校验。