Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136268312> ?p ?o ?g. }
- W3136268312 endingPage "318" @default.
- W3136268312 startingPage "301" @default.
- W3136268312 abstract "Atomic Commit Problem (ACP) is a single-shot agreement problem similar to consensus, meant to model the properties of transaction commit protocols in fault-prone distributed systems. We argue that ACP is too restrictive to capture the complexities of modern transactional data stores, where commit protocols are integrated with concurrency control, and their executions for different transactions are interdependent. As an alternative, we introduce Transaction Certification Service (TCS), a new formal problem that captures safety guarantees of multi-shot transaction commit protocols with integrated concurrency control. TCS is parameterized by a certification function that can be instantiated to support common isolation levels, such as serializability and snapshot isolation. We then derive a provably correct crash-resilient protocol for implementing TCS through successive refinement. Our protocol achieves a better time complexity than mainstream approaches that layer two-phase commit on top of Paxos-style replication." @default.
- W3136268312 created "2021-03-29" @default.
- W3136268312 creator A5003484759 @default.
- W3136268312 creator A5068242118 @default.
- W3136268312 date "2021-03-24" @default.
- W3136268312 modified "2023-09-24" @default.
- W3136268312 title "Multi-shot distributed transaction commit" @default.
- W3136268312 cites W1599874886 @default.
- W3136268312 cites W179448490 @default.
- W3136268312 cites W1928843336 @default.
- W3136268312 cites W1969925795 @default.
- W3136268312 cites W1993945033 @default.
- W3136268312 cites W1996153819 @default.
- W3136268312 cites W1999610418 @default.
- W3136268312 cites W2000832815 @default.
- W3136268312 cites W2003214215 @default.
- W3136268312 cites W2004499850 @default.
- W3136268312 cites W2007888220 @default.
- W3136268312 cites W2011645887 @default.
- W3136268312 cites W2027569465 @default.
- W3136268312 cites W2050790551 @default.
- W3136268312 cites W2060440895 @default.
- W3136268312 cites W2070941848 @default.
- W3136268312 cites W2072052006 @default.
- W3136268312 cites W2075854425 @default.
- W3136268312 cites W2077240273 @default.
- W3136268312 cites W2085422792 @default.
- W3136268312 cites W2096095354 @default.
- W3136268312 cites W2096572191 @default.
- W3136268312 cites W2101712143 @default.
- W3136268312 cites W2101939036 @default.
- W3136268312 cites W2106887953 @default.
- W3136268312 cites W2109213558 @default.
- W3136268312 cites W2114407468 @default.
- W3136268312 cites W2117917070 @default.
- W3136268312 cites W2130264930 @default.
- W3136268312 cites W2130454859 @default.
- W3136268312 cites W2139533136 @default.
- W3136268312 cites W2149623556 @default.
- W3136268312 cites W2152465173 @default.
- W3136268312 cites W2154188783 @default.
- W3136268312 cites W2344549745 @default.
- W3136268312 cites W2594387811 @default.
- W3136268312 cites W2751381802 @default.
- W3136268312 cites W2917701660 @default.
- W3136268312 cites W2969534424 @default.
- W3136268312 cites W3098119051 @default.
- W3136268312 cites W3144614056 @default.
- W3136268312 doi "https://doi.org/10.1007/s00446-021-00389-4" @default.
- W3136268312 hasPublicationYear "2021" @default.
- W3136268312 type Work @default.
- W3136268312 sameAs 3136268312 @default.
- W3136268312 citedByCount "1" @default.
- W3136268312 countsByYear W31362683122021 @default.
- W3136268312 crossrefType "journal-article" @default.
- W3136268312 hasAuthorship W3136268312A5003484759 @default.
- W3136268312 hasAuthorship W3136268312A5068242118 @default.
- W3136268312 hasBestOaLocation W31362683122 @default.
- W3136268312 hasConcept C111009948 @default.
- W3136268312 hasConcept C120314980 @default.
- W3136268312 hasConcept C153180980 @default.
- W3136268312 hasConcept C155951066 @default.
- W3136268312 hasConcept C191558696 @default.
- W3136268312 hasConcept C25185021 @default.
- W3136268312 hasConcept C2775941552 @default.
- W3136268312 hasConcept C41008148 @default.
- W3136268312 hasConcept C72108876 @default.
- W3136268312 hasConcept C75949130 @default.
- W3136268312 hasConcept C77088390 @default.
- W3136268312 hasConcept C84511453 @default.
- W3136268312 hasConcept C86803240 @default.
- W3136268312 hasConcept C89423630 @default.
- W3136268312 hasConceptScore W3136268312C111009948 @default.
- W3136268312 hasConceptScore W3136268312C120314980 @default.
- W3136268312 hasConceptScore W3136268312C153180980 @default.
- W3136268312 hasConceptScore W3136268312C155951066 @default.
- W3136268312 hasConceptScore W3136268312C191558696 @default.
- W3136268312 hasConceptScore W3136268312C25185021 @default.
- W3136268312 hasConceptScore W3136268312C2775941552 @default.
- W3136268312 hasConceptScore W3136268312C41008148 @default.
- W3136268312 hasConceptScore W3136268312C72108876 @default.
- W3136268312 hasConceptScore W3136268312C75949130 @default.
- W3136268312 hasConceptScore W3136268312C77088390 @default.
- W3136268312 hasConceptScore W3136268312C84511453 @default.
- W3136268312 hasConceptScore W3136268312C86803240 @default.
- W3136268312 hasConceptScore W3136268312C89423630 @default.
- W3136268312 hasFunder F4320338335 @default.
- W3136268312 hasIssue "4" @default.
- W3136268312 hasLocation W31362683121 @default.
- W3136268312 hasLocation W31362683122 @default.
- W3136268312 hasLocation W31362683123 @default.
- W3136268312 hasOpenAccess W3136268312 @default.
- W3136268312 hasPrimaryLocation W31362683121 @default.
- W3136268312 hasRelatedWork W1486594064 @default.
- W3136268312 hasRelatedWork W1565132773 @default.
- W3136268312 hasRelatedWork W2053888684 @default.
- W3136268312 hasRelatedWork W2115969132 @default.
- W3136268312 hasRelatedWork W2125239195 @default.