Container & Set

The code is described in the accompanying blog post: http://zmythleo.github.com/rust.html

Building

CommitLogger checkpoint 轮换

CommitLogger 的事务登记和物理 WAL 文件必须保持同一 checkpoint 身份。轮换可写文件前， logger 会先在 checkpoint 映射锁内把非空 current 块完整提交到旧 writable，再执行 split 并 发布新 checkpoint；事务已经 append、但延迟 flush 尚未执行时，其 WAL 仍落入登记时的旧文件。

LogFile::append 返回的合法日志句柄从 1 开始。句柄 0 只供 crate 内部表示“强制提交调用时的 current 块”，调用方不得自行构造。公开 LogFile::commit/delay_commit 的签名和自动分裂语义 不变；delay_commit 成功只表示 WAL 块写入并唤醒 waiter，不保证自动 split 已经完成。需要 观察物理文件拓扑的维护方必须等待显式 split 或 append_check_point 返回。

确认扫描会把零长度只读 checkpoint 视为无需事务确认，但 .bak 只按队首连续前缀推进。因此 零长度中间文件不会永久阻塞后继文件，也不能让后继非空已确认 WAL 越过更早的非空未确认 WAL。

该修复不改变 WAL 编码、文件命名、replay、确认计数或公开 API。非空 checkpoint 轮换会等待 一次原本必须完成的 WAL sync；普通 append/flush 热路径只增加已提交句柄的 relaxed 原子快路。 tests/commit_logger_checkpoint_rotation.rs 使用真实 1/4-worker runtime、真实文件系统验证空、 已 flush、pending、已有延迟 owner 和零长度中间 checkpoint；commit_logger 局部测试同时保护 物理大小阈值只分裂一次及公开 LogFile 的兼容行为。

Licence

This code is free for you to use under the MIT licence.