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
75
(RU) PDD - Playground Driven Development
specialfor
0
47
(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
12
Other Decks in Programming
See All in Programming
Flutterで備える!Accessibility Nutrition Labels完全ガイド
yuukiw00w
0
160
PHPでWebSocketサーバーを実装しよう2025
kubotak
0
290
High-Level Programming Languages in AI Era -Human Thought and Mind-
hayat01sh1da
PRO
0
780
Webの外へ飛び出せ NativePHPが切り拓くPHPの未来
takuyakatsusa
2
560
Modern Angular with Signals and Signal Store:New Rules for Your Architecture @enterJS Advanced Angular Day 2025
manfredsteyer
PRO
0
220
A full stack side project webapp all in Kotlin (KotlinConf 2025)
dankim
0
120
システム成長を止めない!本番無停止テーブル移行の全貌
sakawe_ee
1
210
効率的な開発手段として VRTを活用する
ishkawa
0
140
git worktree × Claude Code × MCP ~生成AI時代の並列開発フロー~
hisuzuya
1
580
Deep Dive into ~/.claude/projects
hiragram
14
2.6k
テスト駆動Kaggle
isax1015
0
300
型で語るカタ
irof
0
130
Featured
See All Featured
Speed Design
sergeychernyshev
32
1k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
7
740
The Cult of Friendly URLs
andyhume
79
6.5k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
34
3.1k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
31
1.3k
The Art of Programming - Codeland 2020
erikaheidi
54
13k
How STYLIGHT went responsive
nonsquared
100
5.6k
Making the Leap to Tech Lead
cromwellryan
134
9.4k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.5k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
181
54k
Stop Working from a Prison Cell
hatefulcrawdad
271
21k
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
eileencodes
35
2.4k
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
Дякую за увагу!