Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation
(2015) Workshop on Planetary-Scale Distributed Systems (W-PSDS 2015, colocated with SRDS 2015) — Location: Montreal, Quebec (28.September.2015)
Files
wpsds-2015.pdf
Open Access - Adobe PDF
- 576.58 KB
Details
- Authors
- Abstract
- We present a new programming model for largescale mobile and “Internet of Things” style distributed applications. The model consists of two layers: a language layer based on the Lasp language with a runtime layer based on epidemic broadcast. The Lasp layer provides deterministic coordinationfree computation primitives based on conflict-free replicated data types (CRDTs). The epidemic broadcast layer is based on the Plumtree protocol. It provides a communication framework where clients may only have a partial view of membership and may not want to participate in or have knowledge of all active computations. We motivate the new model with a nontrivial mobile application, a distributed ad counter, and we give the model’s formal semantics.
- Affiliations
Citations
Meiklejohn, C., & Van Roy, P. (2015). Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation. Workshop on Planetary-Scale Distributed Systems (W-PSDS 2015, colocated with SRDS 2015), Montreal, Quebec. https://hdl.handle.net/2078.5/227563