Declarative, Convergent Edge Computation
summary
Claim: a programming model lets edge devices operate offline and still converge without global coordination. It composes CRDTs into a restricted dataflow language called Lasp and runs on an Erlang-based Anna runtime using LevelDB/RocksDB for persistence. Prototype handles up to 1,024 nodes (stable at ~512) and powers a Rovio ad counter that increments offline impression counters and disables ads at a monotonic threshold without coordination. Current limits: no recursion and folds must be commutative, idempotent and invertible.
AI-written summary · about
chapters (11)
- 0:00Introduction and motivation
- 1:25The problem of non-determinism
- 3:35IoT and edge computing challenges
- 8:07Mutable state and concurrency
- 10:40Rethinking distributed design
- 14:12Strong eventual consistency
- 18:02CRDTs: A foundation for data
- 22:06Programming language abstractions
- 29:11Runtime systems and efficiency
- 34:31Case study and application
- 37:33Conclusion and takeaways
related talks
43mAn Approach For The Internet Of Things
01h 03mOffline first computing in an online world
01mEdge Computing
01h 11mA Programmable Cloud: CALM Foundations and Open Challenges
48mCRDTs: From sequential to concurrent executions
17mKeynote: Connecting the Dots on All Things Great and Small
28mReasoning about Distributed Reconfigurable Systems
33mProgramming Support for Local-First Software