Exploring the spectrum of strongly-consistent transactional protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Exploring the spectrum of strongly-consistent transactional protocols


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.


Other [cs.OH]
No file

Dates and versions

hal-01109740 , version 1 (26-01-2015)


  • 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⟩
127 View
0 Download


Gmail Facebook Twitter LinkedIn More