TU Darmstadt / ULB / TUbiblio

ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming

Köhler, Mirko ; Eskandani, Nafise ; Margara, Alessandro ; Salvaneschi, Guido (2020)
ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming.
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity. virtual Conference (23.07.2020)
doi: 10.1145/3427761.3428346
Conference or Workshop Item, Bibliographie

Abstract

Data replication is essential in scenarios like geo-distributed datacenters, but poses challenges for data consistency. Developers adopt Strong consistency at the cost of performance or embrace Weak consistency and face a higher programming complexity. We argue that languages should associate consistency to data types. We present , a programming language and middleware that provides abstractions to specify consistency types, enabling mixing different consistency levels in the same application. Such mechanism is fully integrated with object-oriented programming and type system guarantees that different levels can only be mixed correctly.

Item Type: Conference or Workshop Item
Erschienen: 2020
Creators: Köhler, Mirko ; Eskandani, Nafise ; Margara, Alessandro ; Salvaneschi, Guido
Type of entry: Bibliographie
Title: ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming
Language: English
Date: 16 November 2020
Publisher: ACM
Book Title: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
Event Title: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity
Event Location: virtual Conference
Event Dates: 23.07.2020
DOI: 10.1145/3427761.3428346
Abstract:

Data replication is essential in scenarios like geo-distributed datacenters, but poses challenges for data consistency. Developers adopt Strong consistency at the cost of performance or embrace Weak consistency and face a higher programming complexity. We argue that languages should associate consistency to data types. We present , a programming language and middleware that provides abstractions to specify consistency types, enabling mixing different consistency levels in the same application. Such mechanism is fully integrated with object-oriented programming and type system guarantees that different levels can only be mixed correctly.

Uncontrolled Keywords: emergenCITY_INF, emergenCITY
Divisions: LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > emergenCITY
Date Deposited: 09 Mar 2023 08:32
Last Modified: 04 Jul 2023 09:57
PPN: 509262155
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