WireLwwRegister<V> class
A last-writer-wins register liveness cell (per-pid alive, owner lease).
Keyed by WireStamp ((wallTime, logical, peer) total order): the highest
stamp wins, so an OS process-exit write (alive = false at a fresh stamp)
dominates a stale re-assert. join is the stamp-max, a semilattice.
Constructors
- WireLwwRegister(WireStamp _stamp, V _value)
- A register holding value written at stamp.
Properties
Methods
-
join(
WireLwwRegister< V> other) → void - Join another replica's register (keep the higher stamp).
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
set(
WireStamp stamp, V value) → void -
Write
valueatstampiff it dominates the current stamp. -
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
override