随笔分类 - 分布式系统
摘要:Paxos 存在的问题 Paxos 算法的描述偏学术化,缺失了很多细节,无法直接应用于工程领域。实际工程应用中的分布式算法大多是 Paxos 的变种,验证这些算法的正确性也成为了一个难题。 举个例子:上一篇文章的 最后 介绍了一个应用 Paxos 算法的工程模型,这个模型存在明显的写性能瓶颈: 使用
阅读全文
摘要:可用性与一致性 为了向用户提供更好的服务体验,现代软件架构越来越注重系统的可用性availability。 正是在这种趋势的驱动下,微服务与容器化技术才能在今天大行其道。 而高可用架构的前提是冗余: 一个高可用服务必然由多个进程组成,这些进程互为备份,部分进程失效不会导致整个服务不可用。 如果服务是
阅读全文
摘要:副本一致性 现代的数据库系统来说,几乎都具备了复制机制replication,这种设计方式至少能对系统带来两个好处: 多副本容灾:只要存在一个可用数据副本,数据就能够恢复 读性能水平扩展:通过分布到不同的机器上,同一份数据能够在多个节点上同时供外部访问 保证多副本的数据一致性consistency是
阅读全文