TU Darmstadt / ULB / TUbiblio

Rethinking Safe Consistency in Distributed Object-Oriented Programming

Köhler, Mirko ; Eskandani, Nafise ; Weisenburger, Pascal ; Margara, Alessandro ; Salvaneschi, Guido (2020):
Rethinking Safe Consistency in Distributed Object-Oriented Programming.
In: Proceedings of the ACM on Programming Languages, 4 (OOPSLA), ACM, ISSN 2475-1421,
DOI: 10.1145/3428256,
[Article]

Abstract

Large scale distributed systems require to embrace the trade off between consistency and availability, accepting lower levels of consistency to guarantee higher availability. Existing programming languages are, however, agnostic to this compromise, resulting in consistency guarantees that are the same for the whole application and are implicitly adopted from the middleware or hardcoded in configuration files. In this paper, we propose to integrate availability in the design of an object-oriented language, allowing developers to specify different consistency and isolation constraints in the same application at the granularity of single objects. We investigate how availability levels interact with object structure and define a type system that preserves correct program behavior. Our evaluation shows that our solution performs efficiently and improves the design of distributed applications.

Item Type: Article
Erschienen: 2020
Creators: Köhler, Mirko ; Eskandani, Nafise ; Weisenburger, Pascal ; Margara, Alessandro ; Salvaneschi, Guido
Title: Rethinking Safe Consistency in Distributed Object-Oriented Programming
Language: English
Abstract:

Large scale distributed systems require to embrace the trade off between consistency and availability, accepting lower levels of consistency to guarantee higher availability. Existing programming languages are, however, agnostic to this compromise, resulting in consistency guarantees that are the same for the whole application and are implicitly adopted from the middleware or hardcoded in configuration files. In this paper, we propose to integrate availability in the design of an object-oriented language, allowing developers to specify different consistency and isolation constraints in the same application at the granularity of single objects. We investigate how availability levels interact with object structure and define a type system that preserves correct program behavior. Our evaluation shows that our solution performs efficiently and improves the design of distributed applications.

Journal or Publication Title: Proceedings of the ACM on Programming Languages
Journal volume: 4
Number: OOPSLA
Publisher: ACM
Uncontrolled Keywords: type systems, consistency, replication, Java, INF, emergenCITY_INF
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
20 Department of Computer Science > Software Technology
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > emergenCITY
TU-Projects: HMWK|III L6-519/03/05.001-(0016)|emergenCity TP Bock
Date Deposited: 22 Mar 2021 09:04
DOI: 10.1145/3428256
Additional Information:

Art.No.: 188

Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details