Consensus-List
Distributed Consistency
- 2004-Consensus on Transaction Commit: The distributed transaction commit problem requires reaching agreement on whether a transaction is committed or aborted.
- 2021-The Problem of Distributed Consensus: In the past, it’s been difficult to analyze the more general setup where there is no rigid notion of either space or time. But this is exactly the setup in our new Physics Project, and so there’s now the potential to use its formalism and results (as well as intuition imported from physics) to make further progress.
Consistency & CAP
- 2011-Consistency, Availability, and Convergence #Paper#: We examine the limits of consistency in fault-tolerant distributed storage systems.
- 不懂点 CAP 理论，你好意思说你是做分布式的吗？: CAP 理论，被戏称为[帽子理论]。CAP 理论由 Eric Brewer 在 ACM 研讨会上提出，而后 CAP 被奉为分布式领域的重要理论。
- 2016-腾讯金融级分布式数据库 TDSQL 的前世今生: TDSQL(Tencent Distributed MySQL，腾讯分布式 MySQL)是由腾讯技术工程事业群计费平台部针对金融联机交易场景开发的高一致性数据库集群产品。
Eventually Consistency
- 2020-Limitations of Highly-Available Eventually-Consistent Data Stores #Paper#: Modern replicated data stores aim to provide high availability, by immediately responding to client requests, often by implementing objects that expose concurrency.
Consensus Algorithms
OpenSource
- 2021-Stateright #Project#: Correctly implementing distributed algorithms such as the Paxos and Raft consensus protocols is notoriously difficult due to inherent nondetermism such as message reordering by network devices. Stateright is a Rust actor library that aims to solve this problem by providing an embedded model checker, a UI for exploring system behavior (demo), and a lightweight actor runtime. It also features a linearizability tester that can be run within the model checker for more exhaustive test coverage than similar solutions such as Jepsen.
Last modified 4mo ago