MAINTENANCE EN COURS / SITE UNDER MAINTENANCE

Une opération de maintenance est en cours: les résultats de recherches et les exportations peuvent être incohérent.
Site under maintenance: search & exportation results could be inconsistent.
 

Sparkle: speculative deterministic concurrency control for partially replicated transactional stores

Li, Zhongmiao;Romano, Paolo;Van Roy, Peter
(2019) 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) — Location: Portland, OR, USA (2019.June.24AD)

Files

DSN_Sparkle_cr.pdf
  • Open Access
  • Adobe PDF
  • 635.99 KB

Details

Authors
  • Li, ZhongmiaoLisbon University
    Author
  • Romano, PaoloLisbon University
    Author
  • Author
Abstract
Modern transactional platforms strive to jointly ensure ACID consistency and high scalability. In order to pursue these antagonistic goals, several recent systems have revisited the classical State Machine Replication (SMR) approach in order to support sharding of application state across multiple data partitions and partial replication. By promoting and exploiting locality principles, these systems, which we call Partially Replicated State Machines (PRSMs), can achieve scalability levels unparalleled by classic SMR. Yet, existing PRSM systems suffer from two major limitations: 1) they rely on a single thread to execute or serialize transactions within a partition, thus failing to fully untap the parallelism of multi-core architectures, and/or 2) they rely on the ability to accurately predict the data items to be accessed by transactions, which is non-Trivial for complex applications. This paper proposes Sparkle, an innovative deterministic concurrency control that enhances the throughput of state of the art PRSM systems by more than one order of magnitude under high contention, through the joint use of speculative transaction processing and scheduling techniques. On the one hand, speculation allows Sparkle to take full advantage of modern multi-core micro-processors, while avoiding any assumption on the a-priori knowledge of the transactions' access patterns, which increases its generality and widens the scope of its scalability. Transaction scheduling techniques, on the other hand, are aimed to maximize the efficiency of speculative processing.
Affiliations

Citations

Li, Z., Romano, P., & Van Roy, P. (2019). Sparkle: speculative deterministic concurrency control for partially replicated transactional stores. In International Federation for Information Processing (ed.), Proceedings, 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks : 24-27 June 2019, Portland, Oreg (p. p. 164 - 175). IEEE Computer Society. https://doi.org/10.1109/dsn.2019.00029