Replicering av data under Eventuell överensstämmelse (EC) gör det möjligt att acceptera uppdateringar utan fjärrsynkronisering. Detta säkerställer prestanda och skalbarhet i stora distribuerade system (t.ex. moln). De offentliggjorda EG-metoderna är emellertid ad hoc- och felbenägna. Enligt en formell modell för stark händelsekonsistens (SEC) studerar vi tillräckliga förutsättningar för konvergens. En datatyp som uppfyller dessa villkor kallas en konfliktfri replikerad datatyp (CRDT). Repliker av alla CRDT är garanterade att konvergera på ett självstabiliserande sätt, trots ett antal misslyckanden. I detta dokument formaliseras två populära metoder (stats- och operationsbaserade) och deras relevanta tillräckliga villkor. Vi studerar ett antal användbara CRDTs, såsom uppsättningar med ren semantik, stödja både lägga till och ta bort operationer, och överväga på djupet den mer komplexa Graph data typ. CRDT-typer kan komponeras för att utveckla storskaliga distribuerade applikationer och ha intressanta teoretiska egenskaper.
Shapiro m.fl. nyligen föreslagit konfliktfria replikerade datatyper (CRDT), en principiell metod för utformningen av löst konsekventa datavärden REF.
Conflict-Free Replicated Data Types
{'venue': 'Stabilization, Safety, and Security of Distributed Systems', 'journal': 'Stabilization, Safety, and Security of Distributed Systems', 'mag_field_of_study': ['Computer Science']}