Exploring the spectrum of strongly-consistent transactional protocols

Abstract : We explore the spectrum of strong consistency transactional protocols, using both formal properties and performance, in a common framework (based on Deferred-Update Replication) called G-DUR. In G-DUR, a high-performance transactional protocol can be implemented by mixing-and-matching appropriate plug-ins, corresponding to formal properties, in a few hundred lines of code. Therefore, G-DUR enables an apples-to-apples empirical comparison of protocols, and enables studying their limitations and possible extensions, by substituting plug-ins. In this way, we identify four important performance properties. Finally, we describe NMSI, a protocol that satisfies all four properties, and we show that NMSI has the best scalability and performance among strongly-consistent protocols, matching that of a weakly-consistent protocol.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-01109740
Contributor : Marc Shapiro <>
Submitted on : Monday, January 26, 2015 - 6:56:14 PM
Last modification on : Thursday, March 21, 2019 - 2:19:28 PM

Identifiers

  • HAL Id : hal-01109740, version 1

Citation

Marc Shapiro, Masoud Saeida Ardekani, Pierre Sutra. Exploring the spectrum of strongly-consistent transactional protocols. Workshop on Large-Scale Distributed Systems and Middleware (LADIS), Oct 2014, Cambridge, United Kingdom. ⟨hal-01109740⟩

Share

Metrics

Record views

249