Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 16:30 - 17:00 at Montale - Session 3: 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 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Session 3: ConsistencyPMLDC at Montale
The Consistency Babel
Rodrigo Rodrigues Instituto Superior Técnico, University of Lisboa & INESC-ID
Data-centric Consistency Policies: A Programming Model for Distributed Applications with Tunable Consistency
Nosheen Zaza Università della Svizzera italiana, Nate Nystrom Universita della Svizzera italiana (USI)
Link to publication DOI Pre-print
On the Potential of Event Sourcing for Retroactive Actor-based Programming
Benjamin Erb Ulm University, Germany , Gerhard Habiger , Franz J. Hauck
Link to publication DOI