Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency
The consistency level of operations over replicated data is an important parameter in distributed applications. It impacts correctness, performance, and availability. It is now common to find single applications using many different consistency levels at the same time; however, current commercial frameworks do not provide high-level abstractions for specifying or reasoning about different consistency properties of an application. Research frameworks that do tend to require a substantial effort from developers to specify operation dependencies, orderings and invariants to be preserved. We propose an approach for specifying consistency properties based on the observation that correctness criteria and invariants are a property of data, not operations. Hence, it is reasonable to define the consistency properties required to enforce various data invariants on the data itself rather than on the operations. The result is a system that is simpler to describe and reason about. In this paper, we outline an abstract model of programming language constructs and a static checker for data-centric consistency control, and demonstrate this model through a simple prototype programming language implementation.
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | |||
16:00 30m | The Consistency Babel PMLDC Rodrigo Rodrigues Instituto Superior Técnico, University of Lisboa & INESC-ID | ||
16:30 30m | Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency PMLDC Nosheen Zaza Università della Svizzera italiana, Nate Nystrom Universita della Svizzera italiana (USI) Link to publication DOI Pre-print | ||
17:00 30m | On the Potential of Event Sourcing for Retroactive Actor-based Programming PMLDC Link to publication DOI |