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 |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum