perf(workspace): 流式处理重命名与删除恢复快照

2026-09-09 06:10:49 +08:00
parent b15e7a10a2
commit bd6ccc4237
3 changed files with 165 additions and 10 deletions
@@ -605,3 +605,13 @@ Core 的独立数据目录目前不等于已授权 Vault。Python 旧笔记写
 - 新增实际文件在 open_verified 后被同长度修改的复制测试，要求 copy_verified 返回 SYNC_SPOOL_CORRUPT，调用者仅在复制校验成功时发布临时文件。该证据针对复制内容校验，不代表所有重解析点/目录替换攻击均已覆盖。
 - rename/delete 的 file_ops payload 恢复、冲突保留/解决、外部变更扫描及部分 API 仍有整块读取；因此完整大附件低内存与全崩溃边界验收继续未完成。
 - 最终 desktop 全目标 133 通过、12 ignored（库 118、Host 8、其余集成 7），包括真实 Sync 服务有序推送/重复提交及故障恢复集成；日志 `.build/sync-stream-journal-full.log`。desktop 全目标 Clippy -D warnings 通过，日志 `.build/sync-stream-journal-clippy.log`。ignored 长时沙箱验收本轮未重跑，完整生产化目标保持未完成。
+
+
+## 增量：重命名与删除的流式快照和恢复
+
+- 新增 store_payload_file：以有界摘要校验源文件，通过同一已校验句柄将快照流式写入 spool 临时文件，复制时复核摘要与长度，fsync/无覆盖发布后才登记 payload 引用。已有 spool 仍做有界校验；源文件超出 100 MiB 或内容不符合预期时不接受该快照。
+- prepare_file_op 的源摘要和 payload 保存不再使用整块 Vec。apply_file_op 保持旧 inline 日志迁移兼容，随后只使用摘要/长度引用与已校验文件句柄；源/目标 CAS 检查改为有界 hash_file，目标不存在时按 64 KiB 缓冲复制并复核内容，再按原顺序发布目标、删除源文件、提交身份/观察索引/outbox/回执事务。持久化引用摘要必须与 file_ops 的预期摘要一致。
+- 原有 Workspace 测试 10 项通过，日志 `.build/file-ops-stream-tests.log`。新增实际 100 MiB 文件测试，以分块写入建立源文件，依次模拟重命名前目标不存在、目标已复制且源仍在、目标已复制且源已删除；每次重开后核验摘要、原 file_id、已提交回执及仅一条 outbox，再次重开 revision 不递增。删除场景在源已删除后从 payload 恢复 trash，最后验证准备删除后发生的外部修改保持原样并进入 conflict，不产生额外 outbox。
+- 大文件测试通过，耗时 4.36 秒，日志 `.build/file-ops-stream-large.log`。该测试覆盖人工构造的持久化恢复阶段，不等于完整强杀/断电矩阵，也不是 RSS 测量；文件系统路径替换与全部持久化保证仍按原验收要求继续验证。
+- 冲突保留/解决、外部变更发现和部分记录/API 仍有整块内容读取；大附件端到端内存验收和整个生产化目标仍未完成。
+- desktop 全目标累计 134 通过、12 ignored（库 119、Host 8、其余集成 7），包括真实 Sync 服务及故障恢复集成，日志 `.build/file-ops-stream-full.log`。Clippy 首次指出流式改造后 workspace.rs 的 Write 导入仅供测试使用，已收为 cfg(test)；desktop 全目标 Clippy -D warnings 随后通过，日志 `.build/file-ops-stream-clippy.log`。未把这组结果当作全部大附件 RSS、断电或完整生产化验收通过。