Update phase 2 ("downstream").
Default CRDT instance.
Must return true
if CRDT checks preconditions.
Must return true
if CRDT checks preconditions. Should be overridden to return
false
if CRDT does not check preconditions, as this will significantly increase
write throughput.
Update phase 1 ("atSource").
Update phase 1 ("atSource"). Prepares an operation for phase 2.
This mechanism allows to discard stable operations, not only timestamps, if they have no impact on the semantics of the data type.
This mechanism allows to discard stable operations, not only timestamps, if they have no impact on the semantics of the data type. For some data types like RWSet some operations become useless once other future operations become stable"
a crdt
the TCStable delivered by the TCSB middleware
the crdt after being applied causal stabilization. By default it returns the same crdt unmodified
Returns the CRDT value (for example, the entries of an OR-Set)
Typeclass to be implemented by CRDTs if they shall be managed by CRDTService
CRDT type
CRDT value type