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) usage as a solution for data synchronization problem in distributed systems (iOS client)
Search
Volodymyr Hryhoriev
September 25, 2021
Programming
0
19
(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
49
(RU) PDD - Playground Driven Development
specialfor
0
21
(UA) Development of iOS mobile application using MVVM architecture and reactive programming
specialfor
0
11
Lecture for NURE students - "Must-know Frameworks and Common Problems"
specialfor
0
6
(RU) Lecture for NURE students - "Analytics in mobile apps"
specialfor
0
5
(RU) Lecture for NURE students - "Automative Testing Technologies in iOS apps"
specialfor
0
8
Other Decks in Programming
See All in Programming
Building a Smaller App Binary
kateinoigakukun
2
200
PHPでOfficeファイルを取り扱う! PHP Officeライブラリを プロダクトに組み込んだ話
hirobe1999
0
840
LLMチャットボットのアプリケーション設計Tips
os1ma
4
660
【KMC春合宿2024】実装視点で見るNeural Radiance Fields
runningoutrate
0
150
どうしてこうなった命名集 ~🔥編~ / OOC 2024 LT
pictiny
4
2.8k
実践!RDRAを活用した既存システムの仕様変更 / Specification Changes in Existing Systems Utilizing RDRA
imamotohikaru
0
2.5k
document.write再考
brn
5
2.5k
WinUI 3デモ - "CommunityToolkit.Mvvm"NuGetパッケージ編
andrewkeepcoding
0
130
プロンプトエンジニアリング入門
tomokusaba
2
970
Material 3で Material 2ぽい見た目にする
numeroanddev
2
250
導入から5年が経って見えた Datadog APM 運用の課題
bgpat
2
540
RubyVM を PHP で実装する 〜Hello World を出力するまで〜
memory1994
PRO
1
490
Featured
See All Featured
Java REST API Framework Comparison - PWX 2021
mraible
PRO
18
6.8k
Scaling GitHub
holman
456
140k
Producing Creativity
orderedlist
PRO
335
39k
[RailsConf 2023] Rails as a piece of cake
palkan
21
3.8k
The Psychology of Web Performance [Beyond Tellerrand 2023]
tammyeverts
5
1.4k
Building Adaptive Systems
keathley
29
1.8k
Making Projects Easy
brettharned
106
5.4k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
58
14k
Faster Mobile Websites
deanohume
296
30k
The Cost Of JavaScript in 2023
addyosmani
13
3.7k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
113
18k
What the flash - Photography Introduction
edds
64
11k
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
Дякую за увагу!