defradb
defradb copied to clipboard
Float64 PnCounter does not always eventually reach consistency when overflowing
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