Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
(UA) CRDT (Conflict-free Replicated Data Types)...
Search
Volodymyr Hryhoriev
September 25, 2021
Programming
0
34
(UA) CRDT (Conflict-free Replicated Data Types) usage as a solution for data synchronization problem in distributed systems (iOS client)
Slides of graduate work of master's degree in V. N. Karazin Kharkiv National University
Volodymyr Hryhoriev
September 25, 2021
Tweet
Share
More Decks by Volodymyr Hryhoriev
See All by Volodymyr Hryhoriev
Easy pay with 🍏 Pay
specialfor
0
74
(RU) PDD - Playground Driven Development
specialfor
0
44
(UA) Development of iOS mobile application using MVVM architecture and reactive programming
specialfor
0
14
Lecture for NURE students - "Must-know Frameworks and Common Problems"
specialfor
0
14
(RU) Lecture for NURE students - "Analytics in mobile apps"
specialfor
0
10
(RU) Lecture for NURE students - "Automative Testing Technologies in iOS apps"
specialfor
0
11
Other Decks in Programming
See All in Programming
AIプログラマーDevinは PHPerの夢を見るか?
shinyasaita
1
120
Team topologies and the microservice architecture: a synergistic relationship
cer
PRO
0
1k
DroidKnights 2025 - 다양한 스크롤 뷰에서의 영상 재생
gaeun5744
3
320
なぜ適用するか、移行して理解するClean Architecture 〜構造を超えて設計を継承する〜 / Why Apply, Migrate and Understand Clean Architecture - Inherit Design Beyond Structure
seike460
PRO
1
690
20250628_非エンジニアがバイブコーディングしてみた
ponponmikankan
0
410
0626 Findy Product Manager LT Night_高田スライド_speaker deck用
mana_takada
0
100
今ならAmazon ECSのサービス間通信をどう選ぶか / Selection of ECS Interservice Communication 2025
tkikuc
19
3.5k
Elixir で IoT 開発、 Nerves なら簡単にできる!?
pojiro
1
150
datadog dash 2025 LLM observability for reliability and stability
ivry_presentationmaterials
0
110
Kotlin エンジニアへ送る:Swift 案件に参加させられる日に備えて~似てるけど色々違う Swift の仕様 / from Kotlin to Swift
lovee
1
250
Beyond Portability: Live Migration for Evolving WebAssembly Workloads
chikuwait
0
390
「Cursor/Devin全社導入の理想と現実」のその後
saitoryc
0
150
Featured
See All Featured
Being A Developer After 40
akosma
90
590k
Code Reviewing Like a Champion
maltzj
524
40k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.5k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
stephaniewalter
281
13k
Into the Great Unknown - MozCon
thekraken
39
1.9k
How to train your dragon (web standard)
notwaldorf
93
6.1k
Build your cross-platform service in a week with App Engine
jlugia
231
18k
How GitHub (no longer) Works
holman
314
140k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
5.9k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
7
700
Gamification - CAS2011
davidbonilla
81
5.3k
Intergalactic Javascript Robots from Outer Space
tanoku
271
27k
Transcript
Використання CRDT (Conflict-free Replicated Data Types) для рішення проблеми синхронізації
даних в розподілених системах (iOS клієнті) Виконав студент групи МФ-61 Григор’єв В. В. Міністерство освіти і науки України Харківський національний університет імені В.Н. Каразіна Науковий керівник: Медведюк Д. І. Кваліфікаційна робота магістра
Постановка задачі 1. Ознайомитися з проблемою синхронізації даних 2. Дослідити
переваги й недоліки CRDT 3. Створити власну реалізацію CRDT 4. Продемонструвати результати практичного застосування CRDT
None
Розподілена система
Синхронізація даних ускладнюється якщо: • Виникають проблеми з мережею (сегментація
мережі, офлайн режим роботи) • Відбуваються одночасні зміни даних (колоборативний режим роботи)
Синхронізація даних
CAP Теорема
Узгодженість в кінцевому випадку (Eventual Consistency) говорить про те, що
як тільки всі вузли отримали всі операції, то через деякий час система прийде в узгоджений стан
Сильна узгодженість в кінцевому випадку - система відразу прийде в
узгоджений стан
Ціль - розробити рішення, що не залежить від: • Бази
даних • Транспорту (HTTP, WebSockets) • Інфраструктури серверної частини
• Асинхронну реплікацію • Оптимістичний UI А також підтримує:
CRDT - це загальна назва структур даних, що автоматично розв’язують
конфлікти під час об’ єднання реплік.
CRDT - це напіврешітка • ≤ - операція часткового порядку
• ⊔ - операція об’єднання ◦ комутативність: A ⊔ B = B ⊔ A ◦ асоціативність: (A⊔B)⊔C=A⊔(B⊔C) ◦ ідемпотентність: A ⊔ A = A • sup(L, K) = M = L ⊔ K
Приклад решітки - впорядкування за включенням
Види CRDT • На основі стану - CvRDT • На
основі операцій - CmRDT
СvRDT - State-based CRDT
Переваги: • Незалежність від транспорту Недоліки: • Великий обсяг повідомлень
CvRDT
СmRDT - Op-based CRDT
Переваги: • Маленький розмір повідомлень Недоліки: • Обмеження на транспорт
(вимагає причинної доставки) CmRDT
Причинна доставка
Базові приклади CRDT • Лічильники: GCounter, PNCounter • Регістри: LWWRegister,
MVRegister • Множини: LWWSet, GSet, 2PSet, ORSet, AWSet, RWSet • Словники: ORMap, AWMap, RWMap • Прапорці: EWFlag, DWFlag
Специфікація GCounter
Вектор версій
Специфікація GCounter
Специфікація GSet
specialfor/CRDT
Мобільний застосунок як розподілена система
TodoMVC
Діаграма прецедентів
Специфікація моделі
Demo: додавання завдання
Demo: вирішення конфлікту з назвою завдання
Діаграма діяльності: створення конфлікту назви
UI блок-схема: очищення локального сховища
API
Діаграма послідовності: POST /todos
Swagger Documentation
Клієнт: • iOS • Swift • CRDT • UserDefaults (Plist
~ XML) Сервер: • Vapor • Swift • CRDT • SQLite • Swagger Технології
Переваги: • Автоматичне розв’ язання конфліктів • CRDT математично доведені
• Незалежність від транспорту та БД Недоліки: • Великий обсяг повідомлень для CvRDT • Ускладнення прошарку моделі Висновок
specialfor/CRDT
Дякую за увагу!