prisma-risk / tsoracle / 26323924729

95%

push

github

fix(paxos-toolkit): preserve absolute log index after full RocksDB compaction (#188)

`RocksdbStorage::next_log_idx` derived the next absolute write index by
reverse-iterating surviving `L/<u64>` keys and fell back to `Ok(0)` when
the log was physically empty. A snapshot that trims every key followed
by `set_compacted_idx(n)` would then make the next `append_entry` land
at `L/0` instead of `L/n`, leaving the entry unreachable via
`get_suffix(n)`/`get_entries(n, n+1)` and silently corrupting the
replicated log across crash recovery — a Paxos-safety break, not just an
availability issue.

Enforce `next >= compacted_idx` so the invariant survives full
compaction, and share a `compacted_idx_inner` helper with
`get_compacted_idx` to keep the metadata read in one place. Add
regression tests covering both the post-full-trim append and the
crash-recovery round-trip.

Closes #186.

70 of 70 new or added lines in 1 file covered. (100.0%)

9553 of 10032 relevant lines covered (95.23%)

473174.91 hits per line