CRDT - Çakışmaları Merkezi Hakem Olmadan Çözmek
CRDT yapıların eventual consistency altında conflict çözümünü nasıl matematiksel olarak garanti ettiğine bakıyoruz.
Hakan E. · · Akademi
Conflict-free Replicated Data Type, birden fazla node aynı veriyi bağımsız değiştirirken sonucun merkezi bir koordinatör olmadan birleşebilmesini sağlayan veri yapıları ailesidir. Temel fikir merge operasyonunun belirli cebirsel özelliklere sahip olmasıdır. Özellikle commutative, associative ve idempotent davranışlar sayesinde update'lerin farklı sırada ulaşması sonucu bozmaz.
G-Counter gibi basit örneklerde her replica kendi sayacını artırır ve merge sırasında component-wise maximum alınır. OR-Set gibi daha karmaşık yapılarda ekleme ve silme işlemlerinin kimliği takip edilir. Bu nedenle CRDT, last-write-wins yaklaşımından daha zengin conflict semantiği sunabilir. Tabii veri tipiniz büyüdükçe metadata da sizinle birlikte kişisel gelişime başlar.