EagleBear2002 的博客

CMU 数据库系统-分布式数据库导论

发表于 2022-04-23 更新于 2024-09-16 分类于数据库研究，隔离级别
本文字数： 2.1k 阅读时长 ≈ 2 分钟

分布式 DBMS

可以使用单节点 DBMS 的构建块来支持分布式环境中的事务处理和查询执行。设计分布式 DBMS 的一个重要目标是使其具有容错性（即，避免单个节点故障导致整个系统瘫痪）。

并发数据库：

节点在物理上彼此靠近。
节点通过高速 LAN（快速、可靠的通信结构）连接。
假设节点之间的通信成本很小。因此，在设计内部协议时无需担心节点崩溃或数据包丢失。

分布式数据库：

阅读全文 »

DC'21-Multi-shot Distributed Transaction Commit

发表于 2022-04-19 更新于 2024-09-16 分类于数据库研究，分布式系统共识
本文字数： 11k 阅读时长 ≈ 10 分钟

\[ \def\ABORT{\mathsf{ABORT}} \def\ACCEPT{\mathsf{ACCEPT}} \def\ACCEPTACK{\mathsf{ACCEPT\_ACK}} \def\act{\mathsf{act}} \def\ballot{\mathsf{ballot}} \def\certify{\mathsf{certify}} \def\client{\mathsf{client}} \def\COMMIT{\mathsf{COMMIT}} \def\committed{\mathsf{committed}} \def\coord{\mathsf{coord}} \def\dec{\mathsf{dec}} \def\DECIDED{\mathsf{DECIDED}} \def\decide{\mathsf{decide}} \def\DECISION{\mathsf{DECISION}} \def\decision{\mathsf{decision}} \def\FOLLOWER{\mathsf{FOLLOWER}} \def\follower{\mathsf{follower}} \def\l{\mathcal{l}} \def\LEADER{\mathsf{LEADER}} \def\leader{\mathsf{leader}} \def\D{\mathcal{D}} \def\next{\mathsf{next}} \def\Obj{\mathsf{Obj}} \def\P{\mathcal{P}} \def\phase{\mathsf{phase}} \def\PREPARE{\mathsf{PREPARE}} \def\PREPARED{\mathsf{PREPARED}} \def\PREPAREACK{\mathsf{PREPARE\_ACK}} \def\proc{\mathsf{proc}} \def\RECOVERING{\mathsf{RECOVERING}} \def\S{\mathcal{S}} \def\shards{\mathsf{shards}} \def\START{\mathsf{START}} \def\status{\mathsf{status}} \def\T{\mathcal{T}} \def\txn{\mathsf{txn}} \def\Val{\mathsf{Val}} \def\Ver{\mathsf{Ver}} \def\vote{\mathsf{vote}} \]

摘要

原子事务提交（ACP）是一个和一致性相似的单次协议问题，旨在模拟易出错的分布式系统的事务提交协议属性。我们认为，ACP 限制太多以至于不能捕获现代事务数据存储的复杂性，其中提交协议和并发控制集成，并且他们对不同事务的执行是相互依赖的。作为替代方案，我们引入了传输认证服务（TCS），一个新的正式问题，它通过集成的并发控制来捕获多发事务提交协议的安全保证。TCS 由可实例化的认证函数参数化，以支持常见的隔离级别，如可串行化和快照隔离。然后，我们推导出一个可证明正确性的弹性崩溃协议，用于通过连续改进来实现 TCS。我们的协议比主流方法实现了更好的时间复杂度，主流方法在 Paxos 风格的复制之上分两阶段提交。