defradb icon indicating copy to clipboard operation
defradb copied to clipboard

Float64 PnCounter does not always eventually reach consistency when overflowing

Open AndrewSisley opened this issue 9 months ago • 0 comments

Float64 PnCounter does not always eventually reach consistency when overflowing. Because floats 'overflow' to infinity, and adding/subtracting to/from infinity results in infinity, the order of operations is important and is not accounted for by the crdt.

This is documented by TestP2PUpdate_WithPNCounterSimultaneousOverflowIncrement_DoesNotReachConsitency and TestP2PUpdate_WithPNCounterSimultaneousOverflowDecrement_DoesNotReachConsitency

AndrewSisley avatar Apr 29 '24 18:04 AndrewSisley