Robustness against Consistency Models with Atomic Visibility
| Autor: | Bernardi, Giovanni, Gotsman, Alexey |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
060201 languages & linguistics
000 Computer science knowledge general works 0602 languages and literature Computer Science 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 06 humanities and the arts 02 engineering and technology |
| DOI: | 10.4230/lipics.concur.2016.7 |
| Popis: | To achieve scalability, modern Internet services often rely on distributed databases with consistency models for transactions weaker than serializability. At present, application programmers often lack techniques to ensure that the weakness of these consistency models does not violate application correctness. We present criteria to check whether applications that rely on a database providing only weak consistency are robust, i.e., behave as if they used a database providing serializability. When this is the case, the application programmer can reap the scalability benefits of weak consistency while being able to easily check the desired correctness properties. Our results handle systematically and uniformly several recently proposed weak consistency models, as well as a mechanism for strengthening consistency in parts of an application. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|