Peepco: Batch-Based Consistency Optimization
Ivan Kuraj, John K. Feser, Nadia Polikarpova, Armando Solar-Lezama
摘要
We present batch-based consistency, a new approach for consistency optimization that allows programmers to specialize consistency with application-level integrity properties. We implement the approach with a two-step process: we statically infer optimal consistency requirements for executions of bounded sets of operations, and then, use the inferred requirements to parameterize a new distributed protocol to relax operation reordering at run time when it is safe to do so. Our approach supports standard notions of consistency. We implement batch-based consistency in Peepco , demonstrate its expressiveness for partial data replication, and examine Peepco’s run-time performance impact in different settings.
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper,每个回答都会注明依据哪几篇。
相关 Paper
- Epoch-based Commit and Replication in Distributed OLTP DatabasesYi Lu, Xiangyao Yu, Lei Cao, Samuel MaddenVLDB 2021 · 被引用 52 次
- HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence ProtocolsNicolai Oswald, Vijay Nagarajan, Daniel J. Sorin, Vasilis Gavrielatos 等HPCA 2022 · 被引用 15 次
- Optimizing Distributed Protocols with Query RewritesDavid C. Y. Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky E. Katahanas 等SIGMOD 2024 · 被引用 6 次
- Frashokereti: Non-aborting Optimistically Replicated ObjectsEric Man Chan, Javad Saberlatibari, Mohsen LesaniOOPSLA 2026
- Hampa: Solver-Aided Recency-Aware ReplicationXiao Li, Farzin Houshmand, Mohsen LesaniCAV 2020 · 被引用 6 次
