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
はじめてのMaterial3 Expressive
ym223
2
900
「待たせ上手」なスケルトンスクリーン、 そのUXの裏側
teamlab
PRO
0
570
Azure SRE Agentで運用は楽になるのか?
kkamegawa
0
2.5k
JSONataを使ってみよう Step Functionsが楽しくなる実践テクニック #devio2025
dafujii
1
640
アプリの "かわいい" を支えるアニメーションツールRiveについて
uetyo
0
280
ファインディ株式会社におけるMCP活用とサービス開発
starfish719
0
2k
知っているようで知らない"rails new"の世界 / The World of "rails new" You Think You Know but Don't
luccafort
PRO
1
190
AIを活用し、今後に備えるための技術知識 / Basic Knowledge to Utilize AI
kishida
22
5.9k
為你自己學 Python - 冷知識篇
eddie
1
350
AI Agents: How Do They Work and How to Build Them @ Shift 2025
slobodan
0
100
Namespace and Its Future
tagomoris
6
710
AIでLINEスタンプを作ってみた
eycjur
1
230
Featured
See All Featured
Git: the NoSQL Database
bkeepers
PRO
431
66k
Balancing Empowerment & Direction
lara
3
620
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
Building Applications with DynamoDB
mza
96
6.6k
Raft: Consensus for Rubyists
vanstee
140
7.1k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
131
19k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
30
9.7k
What's in a price? How to price your products and services
michaelherold
246
12k
4 Signs Your Business is Dying
shpigford
184
22k
Practical Orchestrator
shlominoach
190
11k
The Language of Interfaces
destraynor
161
25k
The Myth of the Modular Monolith - Day 2 Keynote - Rails World 2024
eileencodes
26
3k
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
Дякую за увагу!