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
Konferenzveröffentlichung, Bibliographie

Kurzbeschreibung (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.

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2020
Autor(en): Köhler, Mirko ; Eskandani, Nafise ; Margara, Alessandro ; Salvaneschi, Guido
Art des Eintrags: Bibliographie
Titel: ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming
Sprache: Englisch
Publikationsjahr: 16 November 2020
Verlag: ACM
Buchtitel: FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
Veranstaltungstitel: SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity
Veranstaltungsort: virtual Conference
Veranstaltungsdatum: 23.07.2020
DOI: 10.1145/3427761.3428346
Kurzbeschreibung (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.

Freie Schlagworte: emergenCITY_INF, emergenCITY
Fachbereich(e)/-gebiet(e): LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > emergenCITY
Hinterlegungsdatum: 09 Mär 2023 08:32
Letzte Änderung: 04 Jul 2023 09:57
PPN: 509262155
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen