Paper Info
Title
Selective Hearing: An Approach to Distributed, Eventually Consistent Edge Computation
Abstract
We present a new programming model for large-scale 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 coordination-free 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.
Year
DOI
Venue
2015
10.1109/SRDSW.2015.9
SRDS Workshop
Keywords
Field
DocType
selective hearing,distributed computation,consistent edge computation,programming model,mobile style distributed application,Internet of Things style distributed application,language layer,Lasp language,runtime layer,deterministic coordination-free computation primitives,conflict-free replicated data types,CRDTs,epidemic broadcast layer,Plumtree protocol,communication framework,nontrivial mobile application,formal semantics
Broadcasting,Synchronization,Programming paradigm,Computer science,Internet of Things,Real-time computing,Theoretical computer science,Data type,Selective auditory attention,Distributed computing,Computation,Semantics of logic
Conference
ISSN
Citations 
PageRank 
1060-9857
4
0.46
References 
Authors
6
2
Name
Order
Citations
PageRank
Christopher Meiklejohn1436.73
Peter Van Roy261767.19