45
CRDTͰͷRead
• ॱ൪͕ೖΕସΘͬͯ݁Ռ͕มΘΒͳ͍ܕ
• update(w1, update(w2, Data0) =
update(w2, update(w1, Data0) = Data
w1
w1
w1
w2
w2
w2
Actor 0
Actor 1
Actor 2
w1(w2(Data0)) => Data
w1(w2(Data0)) => Data
w2(w1(Data0)) => Data
Slide 46
Slide 46 text
ACID vs BASE
ACID
BASE
߹͍ͯ͠ͳͯ͘
ৗʹσʔλʹΞΫη
εͰ͖Δ
Basically Avaiable
Atomicity
ෳͷૢ࡞ͷޭɾ
ࣦഊΛ·ͱΊΔ
Consistency
Խ͞Εͨσʔλ
ෳͷϦϨʔγϣ
ϯ͕ৗʹ߹͍ͯ͠
Δ
࠷ऴతʹ߹ͨ͠ঢ়
ଶʹͳΔ͜ͱ͕อূ
͞Ε͍ͯΕΑ͍
Eventually Consistent
Isolation
ฒߦཧͯ͠ߋ৽్
தͷঢ়ଶΛݟͤͳ͍
Durability
σʔλΛӬଓԽͯ͠
ࣦΘͳ͍
ϨϓϦΧܾఆత
Ͱͳ͘ɺ֬తͰ
͋ͬͨΓɺάϩʔό
ϧʹҰ؏͍ͯ͠ͳ͘
ͯΑ͍
Soft-state
46