Where the version vector lives. bump records a write and returns the new cursor; diff is every tag changed after a cursor. Implementations must keep the cursor monotonic across restarts, or workers holding a higher cursor are told to reset.
bump
diff
Where the version vector lives.
bumprecords a write and returns the new cursor;diffis every tag changed after a cursor. Implementations must keep the cursor monotonic across restarts, or workers holding a higher cursor are told to reset.