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-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-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 |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum