增量写入

约 1674 字大约 6 分钟

UInk 的增量写入是可选的当前画布崩溃保护。它只向既有对象流末尾追加完整 MessagePack 对象，不替代正常关闭、显式保存或结构变化时的完整保存；软件可以完全不实现增量写入。

本文将“重建全部有效对象、写入临时文件并替换目标文件”的保存方式统一称为完整保存。

可以追加的内容

目标 Workspace 与 Device 已由 Header Extension 显式注册，或者文件按 Header Extension 规则使用隐式单例时，可以追加：

文件末尾最后一个 Canvas 中已经完整结束的 Ink、Shape、Media 或 Clear；
引用既有 Workspace 与 Device 的新 Canvas，随后逐个追加完整 Ink/Shape/Media/Clear；新 Canvas 为 layerIndex = 0 时可以保存最终 viewport，其他图层必须省略 viewport。

尚未完成的轨迹不得写入；写入器不得只写入 MessagePack Map 的一部分后等待补齐。只有文件末尾最后一个 Canvas 可以继续追加内容。写入器不得在文件末尾重复既有 Canvas，以模拟对旧页、旧图层或既有 viewport 的补丁。

增量写入不得原地更新 Header。Header 的 deviceNum、workspaceNum、pageNum 和 time 保持最近一次完整保存的值，读取器从实际有效对象流重算当前逻辑状态。

追加新页面后，Header.pageNum 可以暂时小于实际页数；该差异不是文件损坏。只有完整保存才重新计算 Header 快照。

顺序要求

新内容的 contentId 承接当前 Canvas 的 Ink/Shape/Media/Clear 共享序列。
undoId 不得小于此前内容的 undoId；追加 Clear 时必须使用新的、更大的 undoId，使它独占一个撤回组。
新 Canvas 的 (workspaceKey, deviceKey, pageGuid, layerIndex) 不得与既有 Canvas 重复；两个 Key 分别表示显式 GUID 或文件内对应的隐式单例。
追加同一逻辑页在另一 Device 上的 Canvas 时复用 pageGuid 和 pageIndex；逻辑页数不变，Header 快照也不更新。
如果目标不是文件末尾最后一个 Canvas，则必须执行完整保存。

崩溃恢复

读取器逐个解析顶层 MessagePack 对象：

EOF 恰好位于对象边界时，文件正常结束。
EOF 位于最后一个对象内部时，丢弃该不完整对象并保留此前所有完整对象。
解析某个非末尾对象或对象间字节时出现解码错误，保留失败对象或字节段开始之前的完整对象，并停止读取余下字节；不尝试搜索后续对象边界。
能完整解码但字段无效的对象按对应块的容错规则跳过，并继续读取下一对象。

恢复读取并不自动修改源文件。软件准备再次追加时，必须执行以下步骤：

确定安全追加边界：不完整尾块取该对象的起始偏移；中间解码错误取读取器开始尝试解析失败对象或字节段时的偏移；末尾连续的完整但无效已知块取第一个无效尾块的起始偏移。
把文件截断到安全追加边界。
检查截断后的最后一个有效 Canvas。该 Canvas 没有内容时，新内容从 contentId = 0、undoId = 0 开始；存在内容时，新内容使用前一块 contentId + 1，且 undoId 不得小于前一块的值。
如果完整但无效的块位于后续有效块之前，改为执行完整保存；不得在文件中间截断后直接追加。

必须完整保存的情况

新增、删除或修改 Device/Workspace 注册项；
修改 Workspace 宿主绑定、父子关系或当前页；
撤回或重做；
返回旧页、旧图层或更早 Canvas 修改；
普通板擦切断已经保存的旧 Ink/Shape；
修改、移动或删除既有 Ink、Shape、Media 或 Clear；
切换既有 PDF 的 pageIndex；
修改既有页面的 Canvas viewport；
改变页面、图层、pageIndex 或 pageGuid 结构；
任何无法保证追加结果与当前画面一致的情况。

新增 Workspace 时，必须在同一次完整保存中注册 Workspace，并写入该 Workspace 的至少一个 Canvas。

完整保存只移除真正已经撤回的块。带 renderOnlyWhenLatest = true、当前被修正结果隐藏但尚未撤回的 Ink/Shape，以及被后续 Clear 隐藏但仍可通过 Undo 恢复的旧区间，都是有效内容，必须保留。写入器必须重新整理各 Canvas 的 contentId 与 undoId，并重新计算 Header 快照。完整保存不得改变文件永久 Header.guid、既有 Workspace/Device GUID 或既有页面 pageGuid。

完整保存只在同页同 Device 的 layerIndex = 0 Canvas 保存最终 viewport。viewport 不产生 contentId 或 undoId，也不属于 Ink/Shape/Media/Clear 的撤回历史。软件在撤回内容或 Clear 时是否调整 viewport 由软件决定。复制页面时，新页面继承源页面 viewport。

完整保存提交顺序

完整保存必须使用临时文件，并按以下顺序准备和提交：

确定完整对象流以及新主文件将引用的资源集合。
存在资源时，先生成并校验临时 .uink.extra。该资源包必须暂时包含旧主文件仍引用的资源与新主文件将引用的资源的并集。
生成并校验临时 .uink 主文件，但尚不替换目标主文件。
如果生成了临时资源包，先用它替换目标资源包；然后原子替换 .uink 主文件。主文件必须最后提交，以保证提交前的旧主文件仍能找到所需资源。
.uink 是当前有效内容的权威来源。主文件提交成功后，才可以删除不再引用的 ZIP 条目或整个无用资源包；崩溃产生的多余资源允许延后清理，缺失资源按 Media 缺失规则加载。

一次完整保存不得直接在原主文件上边解析边覆盖，以免失败时同时失去旧文件和新文件。

两种擦除模式

Erase Ink 是新的完整 Ink，可以直接追加；会切断既有 Ink/Shape 的普通板擦必须执行完整保存。Erase 不作用于 Media。