mr253727942的专栏

Paxos一致性算法——分布式系统中的经典算法，论文本身也有一段有趣的故事。一致性问题是分布式系统的根本问题之一，在论文中，作者一步步的加强最初一致性问题（2.1节提出的问题）的约束条件，最终导出了一个可实现的一致性模型。当前Paxos算法的研究越来越多，相关实现也不少，而原论文依然是最不可少的资料。论文通篇没有一个数学公式，这是大牛的坚持！【】中的是我个人的注释。先解释文中几个关键词

分布式系统中，人们为了保障多个节点在进行全局事务操作的一致性，提出了很多分布式算法，其中比较著名的有二阶提交协议（Two Phase Commitment Protocol）、三阶提交协议（Three Phase Commitment Protocol）和Paxos算法，本文主要讲述2pc和3pc算法，paxos算法会留到下一篇博客中。

一、简介前面的博文介绍了2pc、3pc以及paxos，到了具体的工程实现中，分布式协议的实现并没有那么简单，很多时候需要做出一些取舍，下面介绍zookeeper的分布式一致性协议ZAB（ZooKeeper Atomic Broadcast ZooKeeper原子消息广播协议）。ZAB的核心处理方式所有事务请求必须由一个全局唯一的服务器来协调处理，这个服务器成为leader，其他称为follower,

序言在来阿里实习之前，就对消息队列非常感兴趣，当时就翻看了RocketMQ的使用指南并在本地搭建环境跑了些demo。如今项目压力不太大，就准备趁着实习期间来细看RocketMQ的原理和源码实现.NameServer作用nameServer顾名思义，在系统中肯定是做命名服务，服务治理方面的工作，功能应该是和zookeeper差不多，据我了解，RocketMq的早期版本确实是使用的zookeeper,后