Expand description
Read-write quorum systems and strategies.
A QuorumSystem pairs a read expression with a write expression such
that every read quorum intersects every write quorum. A Strategy is a
probability distribution over read quorums and over write quorums; it
determines per-node load, capacity, network cost, and latency.
Structs§
- Quorum
System - A read-write quorum system.
- Strategy
- A probability distribution over read quorums and over write quorums.
- Strategy
Limits - Optional upper bounds for strategy optimization.
Enums§
- Objective
- Optimization objective for strategy computation.
Type Aliases§
- Quorum
- A quorum as a sorted, de-duplicated list of node identifiers.