databendlabs / openraft / 28212023607

87%

main: 87%

Build Type

push

github

Committed by drmingdrmer

Commit Message

fix: keep VecProgress sorted above quorum

# Summary

Restore the VecProgress ordering invariant whenever a voter advances above `quorum_accepted`, preventing the quorum scan from committing a value that no actual quorum reached.

# Details

`move_up()` now runs for every voter update whose new value is above `quorum_accepted`, while quorum recalculation remains limited to values that cross the previous quorum boundary. This keeps the optimized scan's prefix assumption valid without adding unnecessary `is_quorum()` calls for already-above voters.

The regression test covers the five-voter sequence from #1802 where a stale prefix order previously advanced `quorum_accepted` to 6 even though only two voters had reached it.

Fixes #1802

Coverage Stats

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

3 existing lines in 1 file now uncovered.

16863 of 19397 relevant lines covered (86.94%)

161638.43 hits per line