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
76
(RU) PDD - Playground Driven Development
specialfor
0
49
(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
意外と簡単!?フロントエンドでパスキー認証を実現する WebAuthn
teamlab
PRO
2
750
Compose Multiplatform × AI で作る、次世代アプリ開発支援ツールの設計と実装
thagikura
0
160
ユーザーも開発者も悩ませない TV アプリ開発 ~Compose の内部実装から学ぶフォーカス制御~
taked137
0
180
Processing Gem ベースの、2D レトロゲームエンジンの開発
tokujiros
2
130
私の後悔をAWS DMSで解決した話
hiramax
4
210
The Past, Present, and Future of Enterprise Java with ASF in the Middle
ivargrimstad
0
110
テストカバレッジ100%を10年続けて得られた学びと品質
mottyzzz
2
600
Namespace and Its Future
tagomoris
6
700
Oracle Database Technology Night 92 Database Connection control FAN-AC
oracle4engineer
PRO
1
440
はじめてのMaterial3 Expressive
ym223
2
400
Azure SRE Agentで運用は楽になるのか?
kkamegawa
0
2.3k
ProxyによるWindow間RPC機構の構築
syumai
3
1.2k
Featured
See All Featured
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
126
53k
BBQ
matthewcrist
89
9.8k
Large-scale JavaScript Application Architecture
addyosmani
512
110k
Fireside Chat
paigeccino
39
3.6k
Context Engineering - Making Every Token Count
addyosmani
3
44
Why Our Code Smells
bkeepers
PRO
339
57k
Building a Scalable Design System with Sketch
lauravandoore
462
33k
A Tale of Four Properties
chriscoyier
160
23k
The Pragmatic Product Professional
lauravandoore
36
6.9k
Embracing the Ebb and Flow
colly
87
4.8k
Facilitating Awesome Meetings
lara
55
6.5k
Code Review Best Practice
trishagee
70
19k
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
Дякую за увагу!