Delta data types #109

balegas · 2014-11-19T22:24:39Z

Added a simple delta od flag crdt.
The delta of enable operation creates a new "Flag" list with a dot and the current clock updated with that dot.
The disable operation removes any dot in the "Flag" field, (Clock,[]) > (Clock,Dots) as before.
Merge behaves just the same.

Supports update and delta update operations.
Does not accept context on update
Didn't run dialyzer
Alternatively we can build the same data-type without the clock in the delta, but adding tombstones on disable operations.
- Tombstones could be garbage collected during the merge
- Reduces the size of the deltas, when the number of dots in the "Flag" field is smaller than the total number of clients.

TODO: deferred operations, embedded behaviour (takes dot), eqc postconditions

If we only return values that are covered by the contiguous set of events summarised by the clock, then we maintain causal ordering over delta operations.

…m original ORSet.

The problem its not with not using deferred operations, but the map/delta must be fixed before moving on.

…WOT. Map has some problems with field removes --- check comments.

Added get_deferred operation for all data-types

ifdef in orddict for map structures under eqc test for easier reading fix delta update to read from values but merge/write to delta values

…nto delta_data_types

Fix accumulator in delta remove all

…a_data_types Conflicts: src/riak_dt_delta_orswot.erl

…nto delta_data_types

Removed debug message from map. took changes in ORSWOT.

russelldb and others added 30 commits June 18, 2014 16:33

Draft delta_mutator ORSWOT

8970f87

TODO: deferred operations, embedded behaviour (takes dot), eqc postconditions

Subtract non-contiguous dots from common elements too

167685d

Added delta_od_flag CRDT

c5549fb

Removed deferred operations from delta flag.

c8a5ac3

Add causal visibility to delta orswot

2a78e78

If we only return values that are covered by the contiguous set of events summarised by the clock, then we maintain causal ordering over delta operations.

G and PN counters with deltas... WIP

5a462df

Merge branch 'feature/rdb/delta-orswot' into delta_data_types

1903e03

Added draft implementation of deferred operations on ORSet

e222d7a

Delta ORSet: Improved interface; Simplified Merge; Imported tests fro…

40d6106

…m original ORSet.

New implementations of the flag CRDT and ORSWOT

39193cd

Removed unnecessary Deferred field

7fd3dfd

Irrelevant missing changes.

8ea964e

Fixed bug in method call.

8365209

Added deferred operations to the flag again.

ad6d8b8

The problem its not with not using deferred operations, but the map/delta must be fixed before moving on.

Map passing tests for the flag

360f8b5

Implementation of the Delta Map CRDT and corrections to the Delta ORS…

9d9b5e1

…WOT. Map has some problems with field removes --- check comments.

More tests for the delta map

c4ebdcf

Removed redundant cases from clear tombstones function

cc9892a

Automatic formatting

3a25471

Delta LWW Register

22db021

Removed useless Flag without tombstones.

4d8b735

Dialyzer for all CRDTs.

089fbe5

Added get_deferred operation for all data-types

Tests for delta map

5c94391

Fixed error found with QuickCheck

ee22de3

A few changes received from the map CRDT.

65c1064

Wrong match on remove all.

58e2677

Add a delta embedded counter

9a2a369

ifdef in orddict for map structures under eqc test for easier reading fix delta update to read from values but merge/write to delta values

Remove io:format debugging

f7d1e65

Make actor easier to read

92c64a9

Merge branch 'delta_data_types' of https://github.com/basho/riak_dt i…

ab5ae66

…nto delta_data_types

russelldb and others added 8 commits March 5, 2015 15:27

Add to/from_binary for delta set

69bfe97

Fix accumulator in delta remove all

Fix delta accumulator in delta remove all without context

d8da08d

Merge branch 'delta_data_types' of github.com:basho/riak_dt into delt…

a6d9150

…a_data_types Conflicts: src/riak_dt_delta_orswot.erl

Simpler delta map

f9fe6da

Merge branch 'delta_data_types' of https://github.com/basho/riak_dt i…

0771036

…nto delta_data_types

ORSWOT with result {Update, Delta} -- only for put operations.

9176098

Delta ORSWOT with mixed update/delta.

7e414a7

Removed debug message from map. took changes in ORSWOT.

orddict->dict

63a9d7e

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Delta data types #109

Delta data types #109

balegas commented Nov 19, 2014

Delta data types #109

Are you sure you want to change the base?

Delta data types #109

Conversation

balegas commented Nov 19, 2014