Work

Declarative, Secure, Convergent Edge Computation

Year: 2015
Type: preprint
Abstract: Eventual consistency is a more natural model than strong consistency for a distributed system, since it is closer to the underlying physical reality. Therefore, we propose that it is important to find a programming model that is both congenial to developers and supports eventual consistency. In particular, we consider that a crucial test for such a model is that it should support edge computation in a both natural and secure way. We present a preliminary work report with an initial solution, called Lasp, which resembles a concurrent functional language while naturally supporting an eventually consistent coordination-free distribution model.
Author: Meiklejohn, Christopher
Language: English
Open Access status: green
OpenAlex ID: W2255596869
Cites: 14
Cited by:
Related to: 20