databendlabs / openraft / 27189898500

87%

Build Type

push

github

Committed by drmingdrmer

Commit Message

refactor: quorum: replace Joint wrapper with Vec<BTreeSet<NID>>

# Summary

A joint quorum set is now represented directly as `Vec<BTreeSet<NID>>`
rather than wrapped in the `Joint<ID, QS, D>` type. The `QuorumSet`,
`Coherent`, and `FindCoherent` impls move onto the concrete vector type and
the `Joint` wrapper is deleted.

# Details

- `Vec<BTreeSet<NID>>` now impls `QuorumSet` as a joint set (a quorum is a
  majority in every config). The blanket `impl QuorumSet for Vec<ID>`
  (single majority) is removed because it overlaps the new joint impl, so a
  bare `Vec<node-id>` is no longer a quorum set on its own.
- `Coherent`/`FindCoherent` are implemented on `Vec<BTreeSet<NID>>`.
  Coherence stays the Joint-vs-Joint relation (two joints are coherent iff
  they share a config); `find_coherent` keeps a uniform `BTreeSet<NID>`
  target, matching the goal `Membership::change` derives.
- `EffectiveMembership` drops its cached `Joint` field and delegates
  `QuorumSet` to its `Membership`. Public API: `get_joint_config` now
  returns `&Vec<BTreeSet<NID>>` instead of `&Vec<Vec<NID>>`.
- The `Joint` wrapper and its `From`/`QuorumSet` impls are deleted.

Coverage Stats

69 of 72 new or added lines in 8 files covered. (95.83%)

17 existing lines in 4 files now uncovered.

16339 of 18895 relevant lines covered (86.47%)

146962.8 hits per line