ECROs: Building Global Scale Systems from Sequential Code
summary
ECROs derive correct hybrid replicated data types from a sequential Scala implementation plus a distributed specification, with the static analyzer Ordana producing commutativity info, safe reorderings, or fine-grained locks. Runtime keeps a DAG of operations and topologically sorts it to converge. Implemented ECRO portfolio includes counters, maps, stacks and the RUBiS auction data type. Results show parity with CRDTs on commutative ops, a 10% latency drop for fine-grained locking cases, and up to 3 orders of magnitude lower latency for placeBid/closeAuction by local reordering.
AI-written summary · about
chapters (7)
- 0:00ECROs research intro
- 1:34Strong vs eventual consistency
- 3:51ECROs hybrid solution
- 7:10Ordana static analysis
- 9:07Execution graph & conflicts
- 12:11ECROs evaluation results
- 14:02Conclusion & future
related talks
48mCRDTs: From sequential to concurrent executions
36mConflict-Free Replicated Datatypes (CRDT)
01h 30mImplementing, verifying and debugging distributed event-based systems
29mAbout Combining Functional Reactive Programming and Replicated Data Types
40mPractical Demystification of CRDT
39mEventually Consistent Data Structures
30mCONSCIOUS CONSISTENCY WITH AKKA CLUSTER, CRDTS AND DISTRIBUTED DATA
15mSelectiveEC: Selective Reconstruction in Erasure-coded Storage Systems