Logical Monoticity
•σʔλʹର͢ΔՄͳૢ࡞ͷΈΛڐ͢ʂ
Data = update(w2, update(w1, Data0))
= update(w1, update(w2, Data0))
Data = merge(update(w2, Data0), Data)
Slide 16
Slide 16 text
͑: CRDT
•ʮෳՄೳͳՄσʔλܕʯ
•Conflict-Free Replicated Data Types
•Commutative Replicated Data Types
•…
•(Going to be included in Riak 2.0)
) CRDTͷ࡞ऀLogical Monotinicy ͱ͍͏ݴ༿͍ͬͯͳ͍
Slide 17
Slide 17 text
CRDT in Riak 2.0
•KVSͷVʹʮܕʯΛ࣋ͨͤͯɺܕʹΑͬͯ
UpdateͱMergeͷϩδοΫΛܾΊΔ
•Read࣌ʹMerge͕αʔόʔଆͰࣗಈతʹ࣮
ߦ͞ΕΔ
•ΞϓϦέʔγϣϯܕΛࢦఆ͢Δ͚ͩͰΑ͘ɺ
ෳόʔδϣϯͷϋϯυϦϯά͕ෆཁʹͳΔ
Slide 18
Slide 18 text
CRDT example
•PN-Counter
•Set
•OR-sets
•LWW-register
•Graph…