Skip to Main content Skip to Navigation
Conference papers

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 metadata
Contributor : Marc Shapiro Connect in order to contact the contributor
Submitted on : Monday, January 26, 2015 - 6:56:14 PM
Last modification on : Friday, January 8, 2021 - 5:46:03 PM


  • HAL Id : hal-01109740, version 1


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⟩



Record views