atitit 信息存储理论专题 目录 1.1. ACID 1 1.2. 一致性相关的理论 CAP(CA、CP、AP 的相关算法) 1 1.3. BASE 理论。 1 1.4. FLP不可能原理 1
atitit 信息存储理论专题
目录
1.2. 一致性相关的理论 CAP(CA、CP、AP 的相关算法) 1
1.5. 实践:二阶段、三阶段。2PC、3PC 的优缺点和限制 2
1.6. 公式算法的基础:leader 选举和 quorum 算法, 2
实际上告诉人们,不要浪费时间去为异步分布式系统设计在任意场景下都能实现共识的算法。
理解这一原理的一个不严谨的例子是:
三个人在不同房间,进行投票(投票结果是0或者1)。三个人彼此可以通过电话进行沟通,但经常会有人时不时地睡着。比如某个时候,A投票0,B投票1,C收到了两人的投票,然后C睡着了。A和B则永远无法在有限时间内获知最终的结果。如果可以重新投票,则类似情形每次在取得结果前发生:FLP原理实际上说明对于允许节点失效情况下,纯粹异步系统无法确保一致性在有限时间内完成。
上面例子中描述的最坏情形,总会发生的概率并没有那么大。工程实现上多试几次,很大可能就成功了。
,XA 协议的介绍和实践方案,以及最终一致性实践:TCC 模型和实践方案;
1 绪论
1.1 信息存储面临的挑战
1.2 信息存储系统与技术发展趋势
2 网络存储系统讨论
3.2 安全存储体系结构与方法
3.3 数据备份及数据恢复
4 新型存储系统结构