SlideShare a Scribd company logo
1 of 27
Download to read offline
replikativ
Building services without network API
(CRDT와 OTP를 중심으로)
re-frame
app-db components Hiccup Reagent VDOM React DOM
f1 f2 f3
eventhandler
re-frame
app-db components Hiccup Reagent VDOM React DOM
f1 f2 f3
eventhandler
Server
re-frame
app-db components Hiccup Reagent VDOM React DOM
f1 f2 f3
eventhandler
Server
● send/receive
● serialization/deserialization
● packing/unpacking
● error/exception handling
● routing
re-frame
app-db components Hiccup Reagent VDOM React DOM
f1 f2 f3
eventhandler
Server
● send/receive
● serialization/deserialization
● packing/unpacking
● error/exception handling
● routing
Compelexity!
re-frame
app-db components Hiccup Reagent VDOM React DOM
f1 f2 f3
eventhandler
Server
● send/receive
● serialization/deserialization
● packing/unpacking
● error/exception handling
● routing
Compelexity!Not Reactive
wanted
app-db components Hiccup Reagent VDOM React DOM
f1 f2 f3
eventhandler
Server
Reactive
Simple
wanted
app-dbServer
● 내가 데이타를 app-db에 쓰면 저절로 Server에 전달되었으면…
● Server에서 필요한 데이타가 저절로 app-db로 전달되어 있으면…
the problem is the networking
ClientServer
reactive c/s programming
ClientServer
Server
ServerServer
Server
Server
Client
Client
Client
Client
the reactivity of the distributed system
the problem is the networking
Hard Disk
Sector
File
Memory
Data,Time
Data FlowConceptial Layer
Implementation Layer
Physical Layer
Reactive
Programming
Imperative
Programming
Abstraction
Message,
Network API
???
One Machine Distributed System
Lan Electronic
Wiring
the problem is the networking
Leslie Lamport,
2013 Turing
Award Winner
● 논문 : Time, Clocks, and the Ordering of Events in a
Distributed System, 1978
● “Most people view concurrency as a programming
problem or a language problem. I regard it as a
physics problem” - Interviewed by Erik Meijer
● Yes, the problem is the networking.
● But it is not a programming or a language problem
but a physics problem.
the problem is the networking
the transition of problem domain
● handled by mathematics
○ game
○ AI
○ Algorithms
○ CSP
● how does the network problem be handled by math?
the problem is the networking
the physics problems
Marc Shapiro
● 논문 : Conflict-Free Replicated Data Types, 2011
● a data structure which can be updated independently
and concurrently without coordination between the
replicas
● use
○ Riak : NoSQL
○ Roshi : SoundCloud
○ Game : Angry Birds, Leage of Legends
○ TomTom : navigation data sync
○ akka distributed data
CRDT
The messages is
● Delayed
● Dropped
● Delivered out-of-order
● Duplicated
이것은 프로그래밍 기술로 풀 문제가 아니다.
CRDT
The messages is
● Delayed ⇒ Associative
● Dropped
● Delivered out-of-order ⇒ Commutative
● Duplicated ⇒ Idempotent
CRDT
● Associative
(A ● B) ● C = A ● (B ● C)
메세지를 어떻게 묶든 결과는 같다.
● Commutative
A ● B = B ● A
메세지가 순서가 바뀌어도 결과는 같다.
● Idempoent
A ● A = A
메세지가 중복되어도 결과는 같다.
CRDT
● 수학의 한 분과인 순서론(Order Theory)중
부분순서집합인 Semilattice를 이용하여 CRDT의 존재를
증명.
● 메세지가 전달되는 순서에 관한 문제를 하나의 추상적
물리현상으로 보고 수학적으로 분석.
● 위상학(Topology)와 범주론(Category Theory)과 관련
CRDT
● Counter
○ G-Counter
○ PN-Counter
● Register
○ LWW-Register
○ MV-Register
● Set
○ G-Set
○ 2P-Set
○ LWW-Set
○ PN-Set
○ OR-Set
● Map
○ ORMap
● Graph
○ DAG
● Array
○ RGA
CRDTs
● OTP(Open Telecom Platform)
○ written in Erlang
○ used by Erlang
○ 미들웨어
● Erlang
○ nine-nineth의 고가용성의 concurrent, functional,
dynamically typed, and immutable language
○ Fault-tolerent
● Lightweight Process
○ 얼랭 프로그램을 구성하는 단위.
○ 프로그램은 얼랭 VM에서 관리
○ OS process도 thread도 아님
○ 어떤 자원도 서로 공유하지 않음.
○ 다만 메세지만 주고 받음.
○ Actor Model
OTP
● Erlang’s Let It Crash Philosophy
● No Defensive Programming
○ Using exceptions and 'error handling'
adds complexity
● Supervisor/Worker
● 에러 발생하면 해당 process를 죽이고
재시작.
● Robust System
OTP
Supervisor
Worker
Hard Disk
Sector
File
Memory
Data,Time
Data FlowConceptial Layer
Implementation Layer
Physical Layer
Reactive
Programming
Imperative
Programming
Abstraction
Message,
Network API
CRDT,
OTP
One Machine Distributed System
Lan Electronic
Wiring
the problem is the networking
● an open, scalable and distributive infrastructure for a
data-driven community of applications
● written in clojure.
● CRDT based.
● subprojects
○ kabel
■ pluggable, asynchronous nerwork IO
■ pub/sub architecture
○ konserve
■ pluggable, asynchronous storage IO
■ backend : CouchDB, Riak, LevelDB
○ superv.async
■ expand core.async
■ Erlang/OTP supervisor
■ Let It Crash
● 단 2명이 5년에 걸쳐 만듦
○ 완성도는 좋으나 아직은 실험적인 듯...
replikativ
replikativ
Demo

More Related Content

What's hot

Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...
Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...
Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...Lviv Data Science Summer School
 
OS Process Synchronization, semaphore and Monitors
OS Process Synchronization, semaphore and MonitorsOS Process Synchronization, semaphore and Monitors
OS Process Synchronization, semaphore and Monitorssgpraju
 
Critical Section Problem - Ramakrishna Reddy Bijjam
Critical Section Problem - Ramakrishna Reddy BijjamCritical Section Problem - Ramakrishna Reddy Bijjam
Critical Section Problem - Ramakrishna Reddy BijjamRamakrishna Reddy Bijjam
 
Ch7 Process Synchronization galvin
Ch7 Process Synchronization galvinCh7 Process Synchronization galvin
Ch7 Process Synchronization galvinShubham Singh
 
Dbms ii mca-ch9-transaction-processing-2013
Dbms ii mca-ch9-transaction-processing-2013Dbms ii mca-ch9-transaction-processing-2013
Dbms ii mca-ch9-transaction-processing-2013Prosanta Ghosh
 
The paxos commit algorithm
The paxos commit algorithmThe paxos commit algorithm
The paxos commit algorithmahmed hamza
 
Chapter 6 - Process Synchronization
Chapter 6 - Process SynchronizationChapter 6 - Process Synchronization
Chapter 6 - Process SynchronizationWayne Jones Jnr
 
DBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency ControlDBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency ControlMukesh Tekwani
 
Tensorflow User Group Toronto - Ehsan Amjadian - TF Gager
Tensorflow User Group Toronto - Ehsan Amjadian - TF GagerTensorflow User Group Toronto - Ehsan Amjadian - TF Gager
Tensorflow User Group Toronto - Ehsan Amjadian - TF GagerDevatanu Banerjee
 
Unit II - 3 - Operating System - Process Synchronization
Unit II - 3 - Operating System - Process SynchronizationUnit II - 3 - Operating System - Process Synchronization
Unit II - 3 - Operating System - Process Synchronizationcscarcas
 

What's hot (12)

Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...
Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...
Master defence 2020 - Oleksandr Smyrnov - A Multifactorial Optimization of Pe...
 
OS Process Synchronization, semaphore and Monitors
OS Process Synchronization, semaphore and MonitorsOS Process Synchronization, semaphore and Monitors
OS Process Synchronization, semaphore and Monitors
 
Typing Concerns
Typing ConcernsTyping Concerns
Typing Concerns
 
Critical Section Problem - Ramakrishna Reddy Bijjam
Critical Section Problem - Ramakrishna Reddy BijjamCritical Section Problem - Ramakrishna Reddy Bijjam
Critical Section Problem - Ramakrishna Reddy Bijjam
 
Ch7 Process Synchronization galvin
Ch7 Process Synchronization galvinCh7 Process Synchronization galvin
Ch7 Process Synchronization galvin
 
Dbms ii mca-ch9-transaction-processing-2013
Dbms ii mca-ch9-transaction-processing-2013Dbms ii mca-ch9-transaction-processing-2013
Dbms ii mca-ch9-transaction-processing-2013
 
The paxos commit algorithm
The paxos commit algorithmThe paxos commit algorithm
The paxos commit algorithm
 
Chapter 6 - Process Synchronization
Chapter 6 - Process SynchronizationChapter 6 - Process Synchronization
Chapter 6 - Process Synchronization
 
Concurrency
ConcurrencyConcurrency
Concurrency
 
DBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency ControlDBMS-chap 2-Concurrency Control
DBMS-chap 2-Concurrency Control
 
Tensorflow User Group Toronto - Ehsan Amjadian - TF Gager
Tensorflow User Group Toronto - Ehsan Amjadian - TF GagerTensorflow User Group Toronto - Ehsan Amjadian - TF Gager
Tensorflow User Group Toronto - Ehsan Amjadian - TF Gager
 
Unit II - 3 - Operating System - Process Synchronization
Unit II - 3 - Operating System - Process SynchronizationUnit II - 3 - Operating System - Process Synchronization
Unit II - 3 - Operating System - Process Synchronization
 

Similar to Replikativ

TiDB for Big Data
TiDB for Big DataTiDB for Big Data
TiDB for Big DataPingCAP
 
Cadence: The Only Workflow Platform You'll Ever Need
Cadence: The Only Workflow Platform You'll Ever NeedCadence: The Only Workflow Platform You'll Ever Need
Cadence: The Only Workflow Platform You'll Ever NeedMaxim Fateev
 
Scale Relational Database with NewSQL
Scale Relational Database with NewSQLScale Relational Database with NewSQL
Scale Relational Database with NewSQLPingCAP
 
Big Data processing with Apache Spark
Big Data processing with Apache SparkBig Data processing with Apache Spark
Big Data processing with Apache SparkLucian Neghina
 
How to build TiDB
How to build TiDBHow to build TiDB
How to build TiDBPingCAP
 
On component interface
On component interfaceOn component interface
On component interfaceLaurence Chen
 
Gluster dev session #6 understanding gluster's network communication layer
Gluster dev session #6  understanding gluster's network   communication layerGluster dev session #6  understanding gluster's network   communication layer
Gluster dev session #6 understanding gluster's network communication layerPranith Karampuri
 
Greenplum Overview for Postgres Hackers - Greenplum Summit 2018
Greenplum Overview for Postgres Hackers - Greenplum Summit 2018Greenplum Overview for Postgres Hackers - Greenplum Summit 2018
Greenplum Overview for Postgres Hackers - Greenplum Summit 2018VMware Tanzu
 
Voldemort : Prototype to Production
Voldemort : Prototype to ProductionVoldemort : Prototype to Production
Voldemort : Prototype to ProductionVinoth Chandar
 
Container Orchestration from Theory to Practice
Container Orchestration from Theory to PracticeContainer Orchestration from Theory to Practice
Container Orchestration from Theory to PracticeDocker, Inc.
 
Titan and Cassandra at WellAware
Titan and Cassandra at WellAwareTitan and Cassandra at WellAware
Titan and Cassandra at WellAwaretwilmes
 
Writing mruby Debugger
Writing mruby DebuggerWriting mruby Debugger
Writing mruby Debuggeryamanekko
 
Avoiding Catastrophic Performance Loss
Avoiding Catastrophic Performance LossAvoiding Catastrophic Performance Loss
Avoiding Catastrophic Performance Lossbasisspace
 
Oracle Drivers configuration for High Availability, is it a developer's job?
Oracle Drivers configuration for High Availability, is it a developer's job?Oracle Drivers configuration for High Availability, is it a developer's job?
Oracle Drivers configuration for High Availability, is it a developer's job?Ludovico Caldara
 
Rust in TiKV
Rust in TiKVRust in TiKV
Rust in TiKVPingCAP
 
How to provide enterprise high availability with MariaDB Platform
How to provide enterprise high availability with MariaDB PlatformHow to provide enterprise high availability with MariaDB Platform
How to provide enterprise high availability with MariaDB Platformssuser2fa8b4
 
Slicing of Object-Oriented Programs
Slicing of Object-Oriented ProgramsSlicing of Object-Oriented Programs
Slicing of Object-Oriented ProgramsPraveen Penumathsa
 
Sweet Streams (Are made of this)
Sweet Streams (Are made of this)Sweet Streams (Are made of this)
Sweet Streams (Are made of this)Corneil du Plessis
 
Optimized Multi-agent Box-pushing - 2017-10-24
Optimized Multi-agent Box-pushing - 2017-10-24Optimized Multi-agent Box-pushing - 2017-10-24
Optimized Multi-agent Box-pushing - 2017-10-24Aritra Sarkar
 

Similar to Replikativ (20)

TiDB for Big Data
TiDB for Big DataTiDB for Big Data
TiDB for Big Data
 
Cadence: The Only Workflow Platform You'll Ever Need
Cadence: The Only Workflow Platform You'll Ever NeedCadence: The Only Workflow Platform You'll Ever Need
Cadence: The Only Workflow Platform You'll Ever Need
 
Scale Relational Database with NewSQL
Scale Relational Database with NewSQLScale Relational Database with NewSQL
Scale Relational Database with NewSQL
 
Big Data processing with Apache Spark
Big Data processing with Apache SparkBig Data processing with Apache Spark
Big Data processing with Apache Spark
 
How to build TiDB
How to build TiDBHow to build TiDB
How to build TiDB
 
On component interface
On component interfaceOn component interface
On component interface
 
05-Debug.pdf
05-Debug.pdf05-Debug.pdf
05-Debug.pdf
 
Gluster dev session #6 understanding gluster's network communication layer
Gluster dev session #6  understanding gluster's network   communication layerGluster dev session #6  understanding gluster's network   communication layer
Gluster dev session #6 understanding gluster's network communication layer
 
Greenplum Overview for Postgres Hackers - Greenplum Summit 2018
Greenplum Overview for Postgres Hackers - Greenplum Summit 2018Greenplum Overview for Postgres Hackers - Greenplum Summit 2018
Greenplum Overview for Postgres Hackers - Greenplum Summit 2018
 
Voldemort : Prototype to Production
Voldemort : Prototype to ProductionVoldemort : Prototype to Production
Voldemort : Prototype to Production
 
Container Orchestration from Theory to Practice
Container Orchestration from Theory to PracticeContainer Orchestration from Theory to Practice
Container Orchestration from Theory to Practice
 
Titan and Cassandra at WellAware
Titan and Cassandra at WellAwareTitan and Cassandra at WellAware
Titan and Cassandra at WellAware
 
Writing mruby Debugger
Writing mruby DebuggerWriting mruby Debugger
Writing mruby Debugger
 
Avoiding Catastrophic Performance Loss
Avoiding Catastrophic Performance LossAvoiding Catastrophic Performance Loss
Avoiding Catastrophic Performance Loss
 
Oracle Drivers configuration for High Availability, is it a developer's job?
Oracle Drivers configuration for High Availability, is it a developer's job?Oracle Drivers configuration for High Availability, is it a developer's job?
Oracle Drivers configuration for High Availability, is it a developer's job?
 
Rust in TiKV
Rust in TiKVRust in TiKV
Rust in TiKV
 
How to provide enterprise high availability with MariaDB Platform
How to provide enterprise high availability with MariaDB PlatformHow to provide enterprise high availability with MariaDB Platform
How to provide enterprise high availability with MariaDB Platform
 
Slicing of Object-Oriented Programs
Slicing of Object-Oriented ProgramsSlicing of Object-Oriented Programs
Slicing of Object-Oriented Programs
 
Sweet Streams (Are made of this)
Sweet Streams (Are made of this)Sweet Streams (Are made of this)
Sweet Streams (Are made of this)
 
Optimized Multi-agent Box-pushing - 2017-10-24
Optimized Multi-agent Box-pushing - 2017-10-24Optimized Multi-agent Box-pushing - 2017-10-24
Optimized Multi-agent Box-pushing - 2017-10-24
 

Recently uploaded

What is Binary Language? Computer Number Systems
What is Binary Language?  Computer Number SystemsWhat is Binary Language?  Computer Number Systems
What is Binary Language? Computer Number SystemsJheuzeDellosa
 
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...harshavardhanraghave
 
chapter--4-software-project-planning.ppt
chapter--4-software-project-planning.pptchapter--4-software-project-planning.ppt
chapter--4-software-project-planning.pptkotipi9215
 
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataAdobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataBradBedford3
 
TECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service providerTECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service providermohitmore19
 
Unveiling the Tech Salsa of LAMs with Janus in Real-Time Applications
Unveiling the Tech Salsa of LAMs with Janus in Real-Time ApplicationsUnveiling the Tech Salsa of LAMs with Janus in Real-Time Applications
Unveiling the Tech Salsa of LAMs with Janus in Real-Time ApplicationsAlberto González Trastoy
 
Unit 1.1 Excite Part 1, class 9, cbse...
Unit 1.1 Excite Part 1, class 9, cbse...Unit 1.1 Excite Part 1, class 9, cbse...
Unit 1.1 Excite Part 1, class 9, cbse...aditisharan08
 
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...stazi3110
 
Salesforce Certified Field Service Consultant
Salesforce Certified Field Service ConsultantSalesforce Certified Field Service Consultant
Salesforce Certified Field Service ConsultantAxelRicardoTrocheRiq
 
DNT_Corporate presentation know about us
DNT_Corporate presentation know about usDNT_Corporate presentation know about us
DNT_Corporate presentation know about usDynamic Netsoft
 
why an Opensea Clone Script might be your perfect match.pdf
why an Opensea Clone Script might be your perfect match.pdfwhy an Opensea Clone Script might be your perfect match.pdf
why an Opensea Clone Script might be your perfect match.pdfjoe51371421
 
Building Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop SlideBuilding Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop SlideChristina Lin
 
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...soniya singh
 
Engage Usergroup 2024 - The Good The Bad_The Ugly
Engage Usergroup 2024 - The Good The Bad_The UglyEngage Usergroup 2024 - The Good The Bad_The Ugly
Engage Usergroup 2024 - The Good The Bad_The UglyFrank van der Linden
 
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...MyIntelliSource, Inc.
 
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEBATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEOrtus Solutions, Corp
 
The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...
The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...
The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...ICS
 
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...MyIntelliSource, Inc.
 
HR Software Buyers Guide in 2024 - HRSoftware.com
HR Software Buyers Guide in 2024 - HRSoftware.comHR Software Buyers Guide in 2024 - HRSoftware.com
HR Software Buyers Guide in 2024 - HRSoftware.comFatema Valibhai
 

Recently uploaded (20)

What is Binary Language? Computer Number Systems
What is Binary Language?  Computer Number SystemsWhat is Binary Language?  Computer Number Systems
What is Binary Language? Computer Number Systems
 
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
Reassessing the Bedrock of Clinical Function Models: An Examination of Large ...
 
chapter--4-software-project-planning.ppt
chapter--4-software-project-planning.pptchapter--4-software-project-planning.ppt
chapter--4-software-project-planning.ppt
 
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataAdobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
 
TECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service providerTECUNIQUE: Success Stories: IT Service provider
TECUNIQUE: Success Stories: IT Service provider
 
Unveiling the Tech Salsa of LAMs with Janus in Real-Time Applications
Unveiling the Tech Salsa of LAMs with Janus in Real-Time ApplicationsUnveiling the Tech Salsa of LAMs with Janus in Real-Time Applications
Unveiling the Tech Salsa of LAMs with Janus in Real-Time Applications
 
Call Girls In Mukherjee Nagar 📱 9999965857 🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SE...
Call Girls In Mukherjee Nagar 📱  9999965857  🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SE...Call Girls In Mukherjee Nagar 📱  9999965857  🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SE...
Call Girls In Mukherjee Nagar 📱 9999965857 🤩 Delhi 🫦 HOT AND SEXY VVIP 🍎 SE...
 
Unit 1.1 Excite Part 1, class 9, cbse...
Unit 1.1 Excite Part 1, class 9, cbse...Unit 1.1 Excite Part 1, class 9, cbse...
Unit 1.1 Excite Part 1, class 9, cbse...
 
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
Building a General PDE Solving Framework with Symbolic-Numeric Scientific Mac...
 
Salesforce Certified Field Service Consultant
Salesforce Certified Field Service ConsultantSalesforce Certified Field Service Consultant
Salesforce Certified Field Service Consultant
 
DNT_Corporate presentation know about us
DNT_Corporate presentation know about usDNT_Corporate presentation know about us
DNT_Corporate presentation know about us
 
why an Opensea Clone Script might be your perfect match.pdf
why an Opensea Clone Script might be your perfect match.pdfwhy an Opensea Clone Script might be your perfect match.pdf
why an Opensea Clone Script might be your perfect match.pdf
 
Building Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop SlideBuilding Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
Building Real-Time Data Pipelines: Stream & Batch Processing workshop Slide
 
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
Russian Call Girls in Karol Bagh Aasnvi ➡️ 8264348440 💋📞 Independent Escort S...
 
Engage Usergroup 2024 - The Good The Bad_The Ugly
Engage Usergroup 2024 - The Good The Bad_The UglyEngage Usergroup 2024 - The Good The Bad_The Ugly
Engage Usergroup 2024 - The Good The Bad_The Ugly
 
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
Steps To Getting Up And Running Quickly With MyTimeClock Employee Scheduling ...
 
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEBATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
 
The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...
The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...
The Real-World Challenges of Medical Device Cybersecurity- Mitigating Vulnera...
 
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
Try MyIntelliAccount Cloud Accounting Software As A Service Solution Risk Fre...
 
HR Software Buyers Guide in 2024 - HRSoftware.com
HR Software Buyers Guide in 2024 - HRSoftware.comHR Software Buyers Guide in 2024 - HRSoftware.com
HR Software Buyers Guide in 2024 - HRSoftware.com
 

Replikativ

  • 1. replikativ Building services without network API (CRDT와 OTP를 중심으로)
  • 2. re-frame app-db components Hiccup Reagent VDOM React DOM f1 f2 f3 eventhandler
  • 3. re-frame app-db components Hiccup Reagent VDOM React DOM f1 f2 f3 eventhandler Server
  • 4. re-frame app-db components Hiccup Reagent VDOM React DOM f1 f2 f3 eventhandler Server ● send/receive ● serialization/deserialization ● packing/unpacking ● error/exception handling ● routing
  • 5. re-frame app-db components Hiccup Reagent VDOM React DOM f1 f2 f3 eventhandler Server ● send/receive ● serialization/deserialization ● packing/unpacking ● error/exception handling ● routing Compelexity!
  • 6. re-frame app-db components Hiccup Reagent VDOM React DOM f1 f2 f3 eventhandler Server ● send/receive ● serialization/deserialization ● packing/unpacking ● error/exception handling ● routing Compelexity!Not Reactive
  • 7. wanted app-db components Hiccup Reagent VDOM React DOM f1 f2 f3 eventhandler Server Reactive Simple
  • 8. wanted app-dbServer ● 내가 데이타를 app-db에 쓰면 저절로 Server에 전달되었으면… ● Server에서 필요한 데이타가 저절로 app-db로 전달되어 있으면…
  • 9. the problem is the networking ClientServer reactive c/s programming
  • 11. Hard Disk Sector File Memory Data,Time Data FlowConceptial Layer Implementation Layer Physical Layer Reactive Programming Imperative Programming Abstraction Message, Network API ??? One Machine Distributed System Lan Electronic Wiring the problem is the networking
  • 12. Leslie Lamport, 2013 Turing Award Winner ● 논문 : Time, Clocks, and the Ordering of Events in a Distributed System, 1978 ● “Most people view concurrency as a programming problem or a language problem. I regard it as a physics problem” - Interviewed by Erik Meijer ● Yes, the problem is the networking. ● But it is not a programming or a language problem but a physics problem. the problem is the networking the transition of problem domain
  • 13. ● handled by mathematics ○ game ○ AI ○ Algorithms ○ CSP ● how does the network problem be handled by math? the problem is the networking the physics problems
  • 14. Marc Shapiro ● 논문 : Conflict-Free Replicated Data Types, 2011 ● a data structure which can be updated independently and concurrently without coordination between the replicas ● use ○ Riak : NoSQL ○ Roshi : SoundCloud ○ Game : Angry Birds, Leage of Legends ○ TomTom : navigation data sync ○ akka distributed data CRDT
  • 15. The messages is ● Delayed ● Dropped ● Delivered out-of-order ● Duplicated 이것은 프로그래밍 기술로 풀 문제가 아니다. CRDT
  • 16. The messages is ● Delayed ⇒ Associative ● Dropped ● Delivered out-of-order ⇒ Commutative ● Duplicated ⇒ Idempotent CRDT
  • 17. ● Associative (A ● B) ● C = A ● (B ● C) 메세지를 어떻게 묶든 결과는 같다. ● Commutative A ● B = B ● A 메세지가 순서가 바뀌어도 결과는 같다. ● Idempoent A ● A = A 메세지가 중복되어도 결과는 같다. CRDT
  • 18. ● 수학의 한 분과인 순서론(Order Theory)중 부분순서집합인 Semilattice를 이용하여 CRDT의 존재를 증명. ● 메세지가 전달되는 순서에 관한 문제를 하나의 추상적 물리현상으로 보고 수학적으로 분석. ● 위상학(Topology)와 범주론(Category Theory)과 관련 CRDT
  • 19.
  • 20. ● Counter ○ G-Counter ○ PN-Counter ● Register ○ LWW-Register ○ MV-Register ● Set ○ G-Set ○ 2P-Set ○ LWW-Set ○ PN-Set ○ OR-Set ● Map ○ ORMap ● Graph ○ DAG ● Array ○ RGA CRDTs
  • 21. ● OTP(Open Telecom Platform) ○ written in Erlang ○ used by Erlang ○ 미들웨어 ● Erlang ○ nine-nineth의 고가용성의 concurrent, functional, dynamically typed, and immutable language ○ Fault-tolerent ● Lightweight Process ○ 얼랭 프로그램을 구성하는 단위. ○ 프로그램은 얼랭 VM에서 관리 ○ OS process도 thread도 아님 ○ 어떤 자원도 서로 공유하지 않음. ○ 다만 메세지만 주고 받음. ○ Actor Model OTP
  • 22. ● Erlang’s Let It Crash Philosophy ● No Defensive Programming ○ Using exceptions and 'error handling' adds complexity ● Supervisor/Worker ● 에러 발생하면 해당 process를 죽이고 재시작. ● Robust System OTP Supervisor Worker
  • 23. Hard Disk Sector File Memory Data,Time Data FlowConceptial Layer Implementation Layer Physical Layer Reactive Programming Imperative Programming Abstraction Message, Network API CRDT, OTP One Machine Distributed System Lan Electronic Wiring the problem is the networking
  • 24. ● an open, scalable and distributive infrastructure for a data-driven community of applications ● written in clojure. ● CRDT based. ● subprojects ○ kabel ■ pluggable, asynchronous nerwork IO ■ pub/sub architecture ○ konserve ■ pluggable, asynchronous storage IO ■ backend : CouchDB, Riak, LevelDB ○ superv.async ■ expand core.async ■ Erlang/OTP supervisor ■ Let It Crash ● 단 2명이 5년에 걸쳐 만듦 ○ 완성도는 좋으나 아직은 실험적인 듯... replikativ
  • 25.
  • 27. Demo