databendlabs / openraft / 28737095728

87%

Build Type

push

github

Committed by drmingdrmer

Commit Message

refactor: reshape VecProgress around entries

# Summary

Refactor VecProgress to store typed entries, separate progress updates from
application data updates, and make log-reversion resets preserve tracker
ordering without withdrawing quorum-accepted progress.

# Details

VecProgress now works over a VecProgressEntry plus a QuorumSet. Entry types own
their ID and progress value, while optional entry data is exposed only through
VecProgressEntryData for callers that need data-only mutation.

Replication progress uses explicit update paths: monotonic updates go through
entry updates, data-only changes cannot touch progress, and allowed log
reversion uses a reset path that moves lowered voter entries down while keeping
the recorded quorum-accepted value monotonic.

The progress tests now cover random quorum upgrades, resets, edge cases, stats,
and a custom quorum set. The quorum and mutable-entry invariants are documented
so future changes preserve the assumptions used by the optimized prefix scan.

Coverage Stats

428 of 434 new or added lines in 14 files covered. (98.62%)

13 existing lines in 6 files now uncovered.

17415 of 19968 relevant lines covered (87.21%)

157215.83 hits per line