Towards language support for distributed systems
summary
Survey of recent work showing concrete language and system artifacts: compositional CRDTs implemented in functional languages and adopted in Akka and databases; correctables from EPFL offering incremental consistency with invoke_weak / invoke_strong / invoke(level) APIs and a working prototype; a PLDI system that statically prevents unsafe mixes of strong and weak consistency; practical session types implementations (Rust, Scala LChannels, Scribble Java, Erlang/Python multiparty); runtime microservice contracts (Whip) and a Scala implementation of a function-passing distributed model with JFP paper.
AI-written summary · about
chapters (11)
- 0:00Start
- 4:37Session Types
- 5:17Consistency
- 8:26The Cap Theorem
- 18:30Session Types
- 20:52Smt Protocol
- 25:28A Contract System for Micro Services
- 26:36Design Constraints
- 27:47Unison
- 28:34Syndicate
- 28:50Data Spaces
related talks
01h 30mImplementing, verifying and debugging distributed event-based systems
45mTaming Distribution: Formal Protocols for Akka Typed
43mWhat We Talk About When We Talk About Distributed Systems
30mCONSCIOUS CONSISTENCY WITH AKKA CLUSTER, CRDTS AND DISTRIBUTED DATA
15mRethinking Safe Consistency in Distributed Object-Oriented Programming
29mAbout Combining Functional Reactive Programming and Replicated Data Types
41mProgramming Distributed Systems
14mBolt-On Strong Consistency: Specification, Implementation, and Verification