'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems

Cited 56 time in webofscience Cited 0 time in scopus
  • Hit : 359
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorGotsman, Alexeyko
dc.contributor.authorYang, Hongseokko
dc.contributor.authorFerreira, Carlako
dc.contributor.authorNajafzadeh, Mahsako
dc.contributor.authorShapiro, Marcko
dc.date.accessioned2017-08-08T06:54:04Z-
dc.date.available2017-08-08T06:54:04Z-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.created2017-08-02-
dc.date.issued2016-01-
dc.identifier.citationACM SIGPLAN NOTICES, v.51, no.1, pp.371 - 384-
dc.identifier.issn0362-1340-
dc.identifier.urihttp://hdl.handle.net/10203/225267-
dc.description.abstractLarge-scale distributed systems often rely on replicated databases that allow a programmer to request different data consistency guarantees for different operations, and thereby control their performance. Using such databases is far from trivial: requesting stronger consistency in too many places may hurt performance, and requesting it in too few places may violate correctness. To help programmers in this task, we propose the first proof rule for establishing that a particular choice of consistency guarantees for various operations on a replicated database is enough to ensure the preservation of a given data integrity invariant. Our rule is modular: it allows reasoning about the behaviour of every operation separately under some assumption on the behaviour of other operations. This leads to simple reasoning, which we have automated in an SMT-based tool. We present a nontrivial proof of soundness of our rule and illustrate its use on several examples.-
dc.languageEnglish-
dc.publisherASSOC COMPUTING MACHINERY-
dc.title'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems-
dc.typeArticle-
dc.identifier.wosid000374053600031-
dc.identifier.scopusid2-s2.0-84965005789-
dc.type.rimsART-
dc.citation.volume51-
dc.citation.issue1-
dc.citation.beginningpage371-
dc.citation.endingpage384-
dc.citation.publicationnameACM SIGPLAN NOTICES-
dc.identifier.doi10.1145/2837614.2837625-
dc.contributor.localauthorYang, Hongseok-
dc.contributor.nonIdAuthorGotsman, Alexey-
dc.contributor.nonIdAuthorFerreira, Carla-
dc.contributor.nonIdAuthorNajafzadeh, Mahsa-
dc.contributor.nonIdAuthorShapiro, Marc-
dc.description.isOpenAccessN-
dc.type.journalArticleArticle; Proceedings Paper-
dc.subject.keywordAuthorReplication-
dc.subject.keywordAuthorcausal consistency-
dc.subject.keywordAuthorintegrity invariants-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 56 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0