论文笔记:[CONCUR'15] A Framework for Transactional Consistency Models with Atomic Visibility
本文介绍一篇事务一致性模型论文的形式化框架,并解释原子可见性等概念的直观含义。
标签
查看归入当前术语的文章。
本文介绍一篇事务一致性模型论文的形式化框架,并解释原子可见性等概念的直观含义。
本文从 CAP 理论与 ACID 性质出发,讨论分布式存储系统中一致性、可用性与事务设计的取舍。
本文介绍 Raft 的选主与日志复制机制,并对其与 Paxos 在理解和实现上的差异做了讨论。
本文概述 Paxos 的核心 safety 性质、提议流程,以及单条法案共识问题的基本推导。