<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Consistency Theory</title><link>https://blog.shuaizhang.cc/zh-hans/tags/consistency-theory/</link><description>查看归入当前术语的文章。</description><generator>Hugo</generator><language>zh-Hans</language><lastBuildDate>Sun, 26 May 2019 23:38:22 +0000</lastBuildDate><atom:link href="https://blog.shuaizhang.cc/zh-hans/tags/consistency-theory/index.xml" rel="self" type="application/rss+xml"/><item><title>论文笔记：[CONCUR'15] A Framework for Transactional Consistency Models with Atomic Visibility</title><link>https://blog.shuaizhang.cc/zh-hans/posts/transactional-consistency-models/</link><pubDate>Sun, 26 May 2019 00:00:00 +0000</pubDate><guid>https://blog.shuaizhang.cc/zh-hans/posts/transactional-consistency-models/</guid><description>本文介绍一篇事务一致性模型论文的形式化框架，并解释原子可见性等概念的直观含义。</description></item><item><title>CAP，ACID，我们能做什么</title><link>https://blog.shuaizhang.cc/zh-hans/posts/cap-acid-what-can-we-do/</link><pubDate>Sun, 20 May 2018 00:00:00 +0000</pubDate><guid>https://blog.shuaizhang.cc/zh-hans/posts/cap-acid-what-can-we-do/</guid><description>本文从 CAP 理论与 ACID 性质出发，讨论分布式存储系统中一致性、可用性与事务设计的取舍。</description></item><item><title>论文笔记：[USENIX ATC'14] In Search of an Understandable Consensus Algorithm (Raft)</title><link>https://blog.shuaizhang.cc/zh-hans/posts/raft/</link><pubDate>Thu, 29 Mar 2018 00:00:00 +0000</pubDate><guid>https://blog.shuaizhang.cc/zh-hans/posts/raft/</guid><description>本文介绍 Raft 的选主与日志复制机制，并对其与 Paxos 在理解和实现上的差异做了讨论。</description></item><item><title>论文笔记：Paxos Made Simple</title><link>https://blog.shuaizhang.cc/zh-hans/posts/paxos-made-simple/</link><pubDate>Fri, 16 Mar 2018 00:00:00 +0000</pubDate><guid>https://blog.shuaizhang.cc/zh-hans/posts/paxos-made-simple/</guid><description>本文概述 Paxos 的核心 safety 性质、提议流程，以及单条法案共识问题的基本推导。</description></item></channel></rss>