final class PNCounter extends DeltaReplicatedData with ReplicatedDelta with ReplicatedDataSerialization with RemovedNodePruning
Implements a 'Increment/Decrement Counter' CRDT, also called a 'PN-Counter'.
It is described in the paper A comprehensive study of Convergent and Commutative Replicated Data Types.
PN-Counters allow the counter to be incremented by tracking the increments (P) separate from the decrements (N). Both P and N are represented as two internal GCounters. Merge is handled by merging the internal P and N counters. The value of the counter is the value of the P counter minus the value of the N counter.
This class is immutable, i.e. "modifying" methods return a new instance.
- Annotations
- @SerialVersionUID()
- Source
- PNCounter.scala
- Alphabetic
- By Inheritance
- PNCounter
- RemovedNodePruning
- ReplicatedDataSerialization
- Serializable
- ReplicatedDelta
- DeltaReplicatedData
- ReplicatedData
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Type Members
- type D = PNCounter
The type of the delta.
The type of the delta. To be specified by subclass. It may be the same type as
T
or a different type if needed. For exampleGSet
uses the same type andORSet
uses different types.- Definition Classes
- PNCounter → DeltaReplicatedData
- type T = PNCounter
The type of the concrete implementation, e.g.
The type of the concrete implementation, e.g.
GSet[A]
. To be specified by subclass.- Definition Classes
- PNCounter → ReplicatedData
Value Members
- def :+(n: BigInt)(implicit node: SelfUniqueAddress): PNCounter
Increment the counter with the delta
n
specified.Increment the counter with the delta
n
specified. If the delta is negative then it will decrement instead of increment. - def :+(n: Long)(implicit node: SelfUniqueAddress): PNCounter
Increment the counter with the delta
n
specified.Increment the counter with the delta
n
specified. If the delta is negative then it will decrement instead of increment. - def decrement(node: SelfUniqueAddress, n: BigInteger): PNCounter
Java API: Decrement the counter with the delta
n
specified.Java API: Decrement the counter with the delta
n
specified. If the deltan
is negative then it will increment instead of decrement. - def decrement(node: SelfUniqueAddress, n: BigInt): PNCounter
Scala API: Decrement the counter with the delta
n
specified.Scala API: Decrement the counter with the delta
n
specified. If the deltan
is negative then it will increment instead of decrement. - def decrement(node: SelfUniqueAddress, n: Long): PNCounter
Decrement the counter with the delta
n
specified.Decrement the counter with the delta
n
specified. If the deltan
is negative then it will increment instead of decrement. - def decrement(n: BigInt)(implicit node: SelfUniqueAddress): PNCounter
Decrement the counter with the delta
n
specified.Decrement the counter with the delta
n
specified. If the delta is negative then it will increment instead of decrement. - def decrement(n: Long)(implicit node: SelfUniqueAddress): PNCounter
Decrement the counter with the delta
n
specified.Decrement the counter with the delta
n
specified. If the delta is negative then it will increment instead of decrement. - def delta: Option[PNCounter]
The accumulated delta of mutator operations since previous #resetDelta.
The accumulated delta of mutator operations since previous #resetDelta. When the
Replicator
invokes themodify
function of theUpdate
message and the user code is invoking one or more mutator operations the data is collecting the delta of the operations and makes it available for theReplicator
with the #delta accessor. Themodify
function shall still return the full state in the same way asReplicatedData
without support for deltas.- Definition Classes
- PNCounter → DeltaReplicatedData
- def equals(o: Any): Boolean
- Definition Classes
- PNCounter → AnyRef → Any
- def getValue: BigInteger
Java API: Current total value of the counter.
- def hashCode(): Int
- Definition Classes
- PNCounter → AnyRef → Any
- def increment(node: SelfUniqueAddress, n: Long): PNCounter
Java API: Increment the counter with the delta
n
specified.Java API: Increment the counter with the delta
n
specified. If the delta is negative then it will decrement instead of increment. - def increment(node: SelfUniqueAddress, n: BigInteger): PNCounter
Java API: Increment the counter with the delta
n
specified.Java API: Increment the counter with the delta
n
specified. If the delta is negative then it will decrement instead of increment. - def increment(n: BigInt)(implicit node: SelfUniqueAddress): PNCounter
Increment the counter with the delta
n
specified.Increment the counter with the delta
n
specified. If the delta is negative then it will decrement instead of increment. - def increment(n: Long)(implicit node: SelfUniqueAddress): PNCounter
Scala API: Increment the counter with the delta
n
specified.Scala API: Increment the counter with the delta
n
specified. If the delta is negative then it will decrement instead of increment. - def merge(that: PNCounter): PNCounter
Monotonic merge function.
Monotonic merge function.
- Definition Classes
- PNCounter → ReplicatedData
- def mergeDelta(thatDelta: PNCounter): PNCounter
When delta is merged into the full state this method is used.
When delta is merged into the full state this method is used. When the type
D
of the delta is of the same type as the full stateT
this method can be implemented by delegating tomerge
.- Definition Classes
- PNCounter → DeltaReplicatedData
- def modifiedByNodes: Set[UniqueAddress]
The nodes that have changed the state for this data and would need pruning when such node is no longer part of the cluster.
The nodes that have changed the state for this data and would need pruning when such node is no longer part of the cluster.
- Definition Classes
- PNCounter → RemovedNodePruning
- def needPruningFrom(removedNode: UniqueAddress): Boolean
Does it have any state changes from a specific node, which has been removed from the cluster.
Does it have any state changes from a specific node, which has been removed from the cluster.
- Definition Classes
- PNCounter → RemovedNodePruning
- def prune(removedNode: UniqueAddress, collapseInto: UniqueAddress): PNCounter
When the
removed
node has been removed from the cluster the state changes from that node will be pruned by collapsing the data entries to another node.When the
removed
node has been removed from the cluster the state changes from that node will be pruned by collapsing the data entries to another node.- Definition Classes
- PNCounter → RemovedNodePruning
- def pruningCleanup(removedNode: UniqueAddress): PNCounter
Remove data entries from a node that has been removed from the cluster and already been pruned.
Remove data entries from a node that has been removed from the cluster and already been pruned.
- Definition Classes
- PNCounter → RemovedNodePruning
- def resetDelta: PNCounter
Reset collection of deltas from mutator operations.
Reset collection of deltas from mutator operations. When the
Replicator
invokes themodify
function of theUpdate
message the delta is always "reset" and when the user code is invoking one or more mutator operations the data is collecting the delta of the operations and makes it available for theReplicator
with the #delta accessor. When theReplicator
has grabbed thedelta
it will invoke this method to get a clean data instance without the delta.- Definition Classes
- PNCounter → DeltaReplicatedData
- def toString(): String
- Definition Classes
- PNCounter → AnyRef → Any
- def value: BigInt
Scala API: Current total value of the counter.
- def zero: PNCounter
The empty full state.
The empty full state. This is used when a delta is received and no existing full state exists on the receiving side. Then the delta is merged into the
zero
to create the initial full state.- Definition Classes
- PNCounter → ReplicatedDelta