分布式系统与一致性

分布式系统与一致性读书笔记模板01思维导图读书笔记作者介绍内容摘要目录分析精彩摘录目录0305020406思维导图分布式系统一致性技术角度一致性内容隔离一致性参考文献第章架构算法实现接口原子应用分布式系统核心本书关键字分析思维导图内容摘要内容摘要一致性是非常重要的分布式技术。众所周知，分布式系统有很多特性，如可用性、可靠性等，这些特性多多少少会与一致性产生关系，受到一致性的影响。要全面研究、掌握分布式技术，一致性是绕不开的一个话题，也是最难解决的一个问题。本书主要介绍GFS、HDFS、BigTable、MongoDB、RabbitMQ、ZooKeeper、Spanner、CockroachDB系统与一致性有关的实现细节，以及非常重要的Paxos、Raft、Zab分布式算法；本书还介绍了事务一致性与隔离级别、顺序一致性、线性一致性与强一致性相关内容，以及架构设计中的权衡等。从分布式技术的角度来说，本书讲解了分布式领域比较高阶的内容，但是从分布式一致性的角度来说，本书仍然是一致性的入门书。读书笔记读书笔记感觉有点虎头蛇尾。目录分析第1部分开篇第1章分布式系统的核心特性：一致性1.1拆分是解决大规模应用问题的本质1.2分布式技术是大规模应用的最后一个考验1.3一致性是这个考验的核心第2章Google的文件系统第3章开源的文件系统HDFS第4章Google的BigTable系统第5章文档数据库MongoDB第2部分系统案例第6章消息系统RabbitMQ第7章协调服务ZooKeeper第8章Google的Spanner数据库第9章分布式数据库CockroachDB第2部分系统案例第2章Google的文件系统2.1GFS的外部接口和架构2.2GFS的写流程细节2.3GFS的原子性2.4GFS的松弛一致性参考文献第3章开源的文件系统HDFS3.1HDFS的外部接口和架构3.2HDFS的写流程细节3.3HDFS的错误处理参考文献第4章Google的BigTable系统4.1BigTable的外部接口和架构4.2BigTable的实现参考文献第5章文档数据库MongoDB5.1MongoDB的外部接口和架构5.2MongoDB的standalone模式5.3MongoDB的replicaset模式第6章消息系统RabbitMQ6.1RabbitMQ简述6.2RabbitMQ的基本实现6.3master切换及RabbitMQ的异常处理6.4确认机制第7章协调服务ZooKeeper7.1协调服务的应用场景7.2ZooKeeper简述7.3ZooKeeper的实现细节参考文献第8章Google的Spanner数据库8.1Spanner的数据模型8.2Spanner的架构8.3Spanner的实现8.4TrueTime的作用参考文献第9章分布式数据库CockroachDB9.1CockroachDB的接口和数据模型9.2CockroachDB的架构9.3元数据存储的实现9.4多副本存储的实现9.5事务的实现参考文献第10章共识算法Paxos第12章原子广播算法Zab第11章复制日志算法Raft第3部分分布式算法第10章共识算法Paxos10.1Paxos的历史10.2ConsensusvsPaxos10.3BasicPaxos算法10.4MultiPaxos算法10.5复制状态机10.6Paxos算法与复制状态机10.7原子广播10.8Paxos算法与原子广播参考文献第11章复制日志算法Raft11.1Raft是复制日志的算法11.2Raft算法的组成11.3复制过程11.4选举过程11.5异常处理参考文献第12章原子广播算法Zab12.1Zab算法简述12.2各版本Zab算法的共有部分12.3设计的Zab算法12.4ZabPre1.0算法12.5Zab1.0算法参考文献第13章事务一致性与隔离级别第14章顺序一致性第15章线性一致性与强一致性第16章架构设计中的权衡第4部分一致性第13章事务一致性与隔离级别13.1ANSI的隔离级别13.2SI和SSI隔离级别参考文献第14章顺序一致性14.1顺序一致性的正式定义14.2理解顺序一致性14.3顺序一致性的其他描述14.4顺序一致性的作用参考文献第15章线性一致性与强一致性15.1什么是线性一致性15.2判断系统是否满足线性一致性15.3对线性一致性的理解与强一致性15.4ZooKeeper的一致性分析参考文献第16章架构设计中的权衡16.1什么是CAP定理16.2关于CAP定理的错误理解16.3CAP中的权衡16.4进一步权衡：H