hesela.devBounded counter
A bounded counter is a replicated counter that distributes update rights to preserve a numeric bound.
Local rights: Decrements consume rights; transfers move them between replicas. Monotonically increasing accounting entries merge by componentwise maximum, so merging the same state twice does not duplicate rights. [1]
Execution: Operations on each local counter must be serializable. If local rights are insufficient, a request can fail although rights remain elsewhere. Transfers across a partition cannot complete until communication permits. [1]
Relations
Citations
Sources & caveats
- Review of arXiv:1503.09052v1; middleware assumes sufficient redundancy within a data center to retain its state. No prototype performance result is reproduced.